“数学是科学的王后，算术是数学的王后。” ——卡尔·弗里德里希·高斯

“数学，如果正确地看，不但拥有真理，而且也具有至高的美。” ——伯特兰·罗素

“数学的本质在于它的自由。” ——格奥尔格·康托尔

“我们必须知道，我们必将知道。” ——大卫·希尔伯特

“我們的教育沒有問題。” ——丘成桐

“天才在于积累，聪明在于勤奋。” ——华罗庚

“数学是一门演绎的学问，从一组公设，经过逻辑的推理，获得结论。” ——陈省身

“有哪些优秀的百合同人作品？”——邓煜

Linus Torvalds 谈 AI 和垃圾补丁

2026-07-13 19:48 by 乌鸦从高塔坠落

Linus Torvalds 曾说过大模型（LLM）会让程序员的生产力提升十倍。他在 2026 年印度开源峰会上说，这个数字并不科学，是他随口胡扯的。他说如今的希望是 LLM 给程序员带来的生产力提升能超过其造成的生产力损失。他说，大模型生成的垃圾远多于有用代码，而 AI 生成的 bug 报告浪费了维护者大量的时间精力。Torvalds 称大量 LLM 生成的补丁是无意义的创可贴，或许能解决当前问题，但类似 bug 仍然留在那里，随时可能在其他地方再次出现。他称自己会用 LLM 制作原型，LLM 生成的代码并不能直接使用，但是一个尝试新想法的好方法。他认为 LLM 还无法生成修复内核 bug 的补丁。

https://www.zdnet.com/article/open-source-summit-linus-torvalds/

#Linux

Grok Build 开源，在这之前它被发现会上传用户的完整库

2026-07-16 18:44 by 守夜者

xAI 在 GitHub 上公开了其辅助编程智能体 Grok Build 的源代码，此举可能是某种重新赢得用户信任的补救措施。因为在这之前它被发现存在严重的隐私安全问题，会上传用户的完整代码库。Grok Build 被发现在读取或处理文件时，该文件的内容未经任何编辑就被传输到 xAI 使用的 Google Cloud Storage 中。Grok Build 的数据保留远超 Claude Code、Gemini 和 Codex 等类似工具。有 Grok Build 用户报告，包含 SSH 密钥、密码管理器数据库等的完整用户目录都被上传了。Elon Musk 表示该公司将彻底删除此前上传到服务器上的用户数据。

https://github.com/xai-org/grok-build
https://www.theregister.com/ai-and-ml/2026/07/14/musk-promises-purge-after-grok-build-caught-sending-entire-repos-to-the-cloud/5271123

#隐私

#school

😅 杠精模式：

“汇编是计科的王后，ALU是计算机的王后。” ——矮斯

“数学，如果正确地看就拥有真理，但【正确的看】不太可能” ——罗锅素

“我們的教育沒有問題，只是问题学生疑似有点多。” ——波尔布特·丘成桐

“积累在于天才，勤奋在于聪明。” ——大资本家哗罗庚

思辨的赏析：

高斯的本意是【快速的/简化这一类计算的能力】，比如FFT和CNN算法，是数学的皇后，不是说九九乘法表和加法直觉是数学或科学的顶尖。罗马数字可不是数学

【数学工具】往往缺乏适应性，需要非常非常多的工程技巧来挽尊，以至于最后数学系出路渺茫（需要自我圣化来补偿咯）。 举三个例子 (1) wav音波连调个变声器，硬阈值的DSP都做不了，得上特征工程甚至是概率模型，这些并不属于数学。 (2) 高斯消元升格成SVD也比不过DNN的简单乘加 (3) 马可夫链HMM只剩输入法上能用了，代数但缺乏普适性

有问题的总是【物】，而【人】是没问题的。人是万物灵长，任何事物总是有问题的，取决于有没有精力改变。学生长了张嘴，有体温，他们不是冷掉的课本。教育界不是AI模仿秀。

【聪明在于勤奋】恰恰是最蠢的，因为它混淆了因和果。一个赛道上有天资的人会勤奋，而勤奋不是因为他聪明，恰恰是因为他“笨”到只做自己擅长的事。因为有正反馈，所以聪明。倒果为因，惑乱人心。

#math 工程数学的遗憾

🙊: 我显然不需要学了一个月，连音高音准都调不好的那种《高等数学》。连邻居家的小学生哼的歌都听不懂，算什么真理呢？

振铃效应、痰没吐的合成声、六根手指的恐怖谷、浮点卡飞+万向旋转死锁的欧拉积分，他们不会告诉你点开看后：数学是如此的丑陋。因为他们就没看过，在物理世界上不可能模拟验证那种无理数，偏偏数学又只是在模拟。矛盾。

生活数学是活着的断点续传，拖一下参数，WASD接着跑，所谓的数学是死鱼。

有些科学简洁到不需要思考代码就能验证，有些科学死到错误都验证不明显。qsort是真理，可惜代数连嵌套|基线条件都不教

🐶 如果你以狗窝为例，它们无法像【细胞】那样数以亿计却不失去使用场景。数学就是教你怎么拿一亿狗窝伪装一亿细胞，一言以蔽之，凑数

高斯说的数学皇后是种【直觉几何】与拓扑，就像编程的节点图（Ralph和卡丁车女孩的电影）那样的结构，而不是代数的文本替换。

我实在不想点破这种事： 就连改个音调，高等数学也无能为力，需要引入几十上百条硬阈值和ADSR/PSOLA等信息技术。合成电音它倒是可以。 就连写个字，也要拿出十倍于几何画板的算力，就像拿cos波来硬凑方波。

就连嗅觉和味觉，别说数值了，连文字都难以复现那种【黄金体验】。

所以若说数学是真理，生物学就是【地心引力】，物理学是不讲理的【真】。 如果你需要推理一大堆希腊字才能做小学生自带了的事，像不像你在自己有种的情况下沉迷于克隆人？

认为数学是真理，这不是懂数学，恰恰是不爱数学才能把【实虚】都摸错。 像我热爱编程，所以我知道：真理根本就不在键盘和屏幕上，而在使用场景里。

五颜六色的代码根本不是文本，就像彩虹不是“一种气体”，生命不是“某种化学”。 有人以为《最后那道大题》没有更简单的心算算法，能够证明某些人【物理意义的IQ更高】，所以，我们就直接把【场景】一并没收了。这就是高斯所说的【算术的皇后】。不是更快做加法，是命名，就够了。

物价是一个数字吗？ 它是【所有权】或【生产力兼溢价比值】。如果下方的结构都没了，数字的高低算计当然也就没有决定性。这就是一亿狗窝vs一亿细胞的隐喻。只见公式内，不见公式外。

没人想夺走“凑数的玩具”，但它们只是玩具，别对社会说谎。 组合优于继承，结构先于计算。计算和套用的太多，把内耗当成理解能力了。但是创造力呢？导出矛盾。

🤔 真理就像F=ma那样，用语意来替代数值上的内耗。我的天哪，⚖️是多么优雅呢：爱迪生用天平来量球的体积（容积），怪老师用“叫花鸡的泥壳”来做定积分算面积，用对偶数做不定积分。可不需要你虚构一个等号或虚数，因为它真的会震荡发散，或像时钟乱转。通过【活】来对答案，小学生都能喊出：皇帝穿没穿衣服。

一旦你接受这个测量工具或D算子的设定，就回不去了。dy/dx到底是哪个嘉豪发明的呢？充满中二病的气息，这种AST替换，能有意思就出鬼了。 红黑树用Haskell写都难看的要死，这种【手工卷积核】一般的东西会拉低创作者的档次。

编译原理和操作系统(libc/JVM/WASM) 天天都在做AST替换，就没人做出 Taichi.py、numpy、H5 Signals 那么有趣的编译。偷偷摸摸换来换去干什么，亮出你的心智模型，看看丑不丑？

真理是十目一的真。如果属真知的，是当然“美味”。死鱼的话，已经臭掉了，希腊字体和脂粉辞藻是遮不住厌恶的。

♾️ 😓

https://t.iss.one/solidot/30338?comment=165266 #ai #bilibili

#life #经济 #空 装机日记

> 推荐2026淘宝上5个适合arch操作系统的N卡笔记本，6千左右
Q&A

- 作为一个职业全栈，为了省500选择i5值得吗？ 不值得
- 64g内存都可以多开编译安卓镜像了吧？ 单个编译任务的内存峰值极易冲到 30GB
- 如何才能把这么多内存用好？ 我感觉ramdisk睡眠都没必要装这个
- 高性能i7用本机编译不是更好吗？ 不一定，新ABI没什么区别，有微码再编译

可以用 zram 替代硬盘 Swap（彻底告别卡死）
给 Docker / Podman 启用内存挂载（tmpfs volume）
调低 vfs_cache_pressure（让目录索引永久留存）

- 哦，所以说2026年做开发超大内存还是占用的到70%的？

可是…… 花近千块钱单买一条笔记本 DDR5 内存，在二手市场上已经足够直接买回一整台带 16G/32G DDR4 内存的二手迷你小主机（如联想 M720q、戴尔 3060m）

😅😅😅

成天以为房价泡沫和AI刚需硬件吹不到自己头上，读消息连个股价都懒得查，最后别说增值了，还要消费级接盘或FOMO

另一种人又只知道情绪和曲线、周期，根本不在行业内。虽然说金本位和N卡消息是很多的，Web3和AI的混搭也是个陷阱题，同样碰运气

不重视物料和app发展的因果链，最后也只是能用就行，不能把消费、Studio、资本信号结合起来使用。

在一件新事物能卖座之前，都不知道它们怎么影响自己的东西，还暗讽别人是风口上的猪，其实不跟风也好不到哪去！

还是对技术的对应物料，对app的因果链太无知了，看不见内存厂在亏损，只知道自己升级，不关心周期波动就过于乐观。等到装新机时，才意识64g是到2年前的4倍

原本可以免费获得本地多开四五个虚拟化的体验，现在全部要云桌面

我们开发者明明是行业内的人，怎么反而变成四倍内存价的接盘方。 怎么就不知道ai吃什么硬件呢

消费者怎么知道内存之前的价格是不正常的， 财报和股价？

> 在 2022 年到 2023 年初，全球消费电子（手机、电脑）需求疲软，传统内存（DRAM/NAND）遭遇了严重的过剩。当时内存价格跌到谷底，各大存储厂（三星、海力士、美光）亏损连连，被迫大幅减产、裁员、关闭部分传统产线。

曾经的 1k价位 2x32G 你爱搭不理，现在的我你高攀不起，哼哼 😇

Bash 5.3 要发版了，我订阅了 Bash-announce 邮件列表所以第一时间收到了通知。在长长的 what's new 邮件最后，落款 Chet Ramey，上一行有两句诗：

``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates

这两句诗用现代英文转述：

The life so short, the craft so long to learn.
Skillfulness takes time and life is short.

点进去看看 Chet Ramey 个人网站： https://tiswww.cwru.edu/~chet/ ，仔细读完每一个链接，心中大概有了人物画像：60 岁左右，一生在俄亥俄州凯斯西储大学 IT 部门工作，从 1992 年开始成为 Bash 核心开发，至今仍是项目唯一维护者，和猫猫狗狗老婆小孩居住在一起。旅行和生活比代码更重要，和家人的合影链接要放到 My Projects 之前。

我又想起两个月前和我有短暂交流的 libpcap（唯一活跃？）维护者 Denis Ovsienko，乌克兰人，定居英国，在个人网站 https://ovsienko.info/ 上写道：

sometimes I work jobs for living, sometimes I contribute pro bono to free and open source software projects, often I do both.

他常常一个人在 libpcap issue 区研究陈年 bug，一个人更新进展：“我又给 ipv6 proto chain 加了更多测试啦”。我看着他网站里的相册，推测他很可能独居，我隐约看到了自己。

有一批世界级程序员就是这样过着平静的生活，他们创造、维护的软件被无数人每天使用，影响了一整个时代，启发出革命性的项目（libpcap -> cbpf -> ebpf)，但默默无闻，乐在其中。我也想过这种生活。

最近某轮面试最后，面试官问我“对将来的职业和人生有什么规划”。一个标准的面试问题，十年前我面试第一份编程工作时也被问过。十年前我表演了一个发奋图强、知耻后勇、激流勇进的卷王，但这次我说：我想过上简单平静的生活，就像 Chet Ramey 和 Denis Ovsienko 那样。这就是我想度过的人生。

数学家仍然不知道乘法的最快方法

2026-07-23 00:52 by 超时空碎片

我们在小学时学习的多位数乘法叫竖式乘法，其时间复杂度为 O(n²)，即位数越长，计算量随位数的平方增长。举例来说，两个两位数相乘，需要进行四次计算；两个三位数相乘，需要进行九次计算。位数越长，计算量会越来越惊人。那么 O(n²)是否是乘法的速度极限呢？苏联著名数学教授 Andrey Kolmogorov 在 1960 年的一次研讨会上讨论了这一猜想，仅仅一周之后，23 岁的学生 Anatoly Karatsuba 就给出了否定答案。他发现可以用简单快速的加法去替代费劲的乘法计算，而两个 n 位数相加的时间复杂度仅为 O(n)，加法只需要遍历数字一次，而乘法需要对 n 位数的每一位进行完整遍历。通过这一代数技巧，他将乘法的时间复杂度减少到 O(n^1.585)，比O(n²) 快得多。Karatsuba 算法的优势只有在数字较大时才会体现出来。Python 语言就使用了混合方法，当数字较小时使用小学乘法，当数字大于 630 位十进制数时改用 Karatsuba 的算法。2019 年数学家 David Harvey 和 Joris van der Hoeven 找到了一种比 Karatsuba 算法更快的方法，其时间复杂度为 O(n × log n)，但它相对于 Karatsuba 算法的优势只有在数非常非常大时才会体现。Harvey-van der Hoeven 算法被普遍认为是乘法的最快方法，但目前尚无正式证明。

https://www.scientificamerican.com/article/mathematicians-still-dont-know-the-fastest-way-to-multiply-numbers/
https://zh.wikipedia.org/wiki/%E4%B9%98%E6%B3%95%E7%AE%97%E6%B3%95

#数学

https://mitchellh.com/writing/everyone-should-know-simd
建议全文背诵

突发：Nothing 将专注于印度市场，退出包含欧洲、中东、日本在内的 12 个国际市场，全球裁员达 40%，今年不再发布新机

https://www.digit.in/news/mobile-phones/exclusive-nothing-to-exit-12-markets-as-global-shipments-decline-despite-india-growth.html

美国陆军也耗尽了它的可用 Token 要求限制使用

2026-07-23 14:29 by 盲点

即便是美国军方，他们也没有无限量的 Token 可用。美国陆军发出通知，称其 Token 几乎耗尽，要求军人限制使用。美国陆军使用名为 Ask Sage 的多模生成式 AI 平台，可运行不同的大模型，包括 Alphabet 的 Gemini、Meta 的 Llama 以及 OpenAI 的 ChatGPT。一名匿名的陆军军人称，陆军的一个服务就把一整年的 token 烧光了。他称陆军一直在鼓励军人使用生成式 AI。每人每月至少获得 20 万个 token，如果用完初始配额，系统会自动分配更多 token。据报道，美国军方在针对伊朗的 Operation Epic Fury 行动期间，每天消耗了 200 亿个 tokens。

https://arstechnica.com/ai/2026/07/us-army-faces-ai-use-limits-after-exhausting-years-supply-of-ai-tokens/

#滑稽

#ai速答 #os #post Linux引导链、二进制
https://chat.librechat.ai/share/NH_o6nWE2OeF0nGOLXoaG

Grub 现在还流行吗？确实老牌都还在用，但现在运维都用网页panel了…… sd-boot很快阿

Limine和rEFInd对比呢？后者是带界面的，类似Ventoy

UKI不就是一个elf加cpio么。。 确实，但可以给cmdline签名

PE相比elf有什么好处，作为EFI的捆绑？ 图标协议？

就不能在elf里塞一个000权限的zip字节当静态资源？打开argv[0]就能当文件夹用

强行默认sec名，或者自动扫描有没有fat节不就行了。 再加个第三方可挂载可修改 不比usr分发强？

- 我的意思不是配置状态自包含，是纯粹资源文件的
- 还是不如smalltalk的概念，图标直接在镜像里，不需要命名，打开页面就能知道用了什么资源
- 没错，h5和相似物基本上就是smalltalk/p9项目的愿景！

Plan 9 的 9P 协议在现代技术中有哪些实际应用？ Linux 容器、WSL2、QEMU 共享文件夹

== Kay真的是先知呢？ 看看历史就知道！

详细介绍 Alan Kay 针对儿童教育设计的 Smalltalk / Etoys 系统，它是如何实现图形化与动态编程的？ 非常类似F12和Scratch

是啊，我们常把gui和cli/api全分开来看，其实就是基于 `工作流 - 名词 - 数据流` 的不同层次封装？GUI很难实现子命令不断Tab的处理自由度。

Smalltalk也不能把一段json或原型映射为用户ui，并保存编辑为源码？可以。和 F12(CSS,js) Workspaces 完全一样

你的意思是，st 里一个源码本身就像dom的innerhtml一样？没错。

但是我说的更严格，是允许lilgui那样的信号库直接修改和监听对象状态，比如在ide里弹出编辑界面？ Kay的作品自带这个实现！

这么一看Kay的设想里反射、信号、闭包，甚至Worker并发都很齐全， 其实问题只是词法太丑了？没错，你看Scratch和JS用Smalltalk×Lisp的心智模型，流行度就完全没问题。可惜了“细胞计算机”在特性上比现代函数式还领先


== 现代的livecd

都在用ventoy/drivedroid 对吗？后者因为GKI的砍驱动树问题已经凉了，和wifid接收端的命运差不多

可是基于squashfs-overlay的持久化live环境，与类似Systemback的live iso制作呢

这么好的hook方案之前怎么就没人做？ 裸机编程生态很陈旧

哦，类似于ntfs3g转wasm那样啊？ 连malloc都要自己写

- 这种东西不就是hook掉几个内核/libc函数吗，反正fs本质上也就是mmap转openat
- 哦，我的意思不是说测试不花力气（实际上可以在seabios上完成），而且核心代码其实是在initrc的识别和hook里
- 我是说文件系统和elf-cpio-sfs的引导加载链涉及的实质计算很少，都是对魔数offset，函数也并不多

类似技术力较高的还有pecmd和diskgenius。这个设计不比gnu家的coreutils好太多啊？ 那当然

- Top10 电脑城u盘里有技术力的软件：Symantec的工具包、AIDA64和WizTree（文件清理）也很知名，就是没有cpuz这些跑分工具那样多
- 如果说livecd的基础排除看不见的udev，就是.sfs压缩镜像，那ghost和wim是属于winnt的sfs (Ventoy)

Wim在应用上是买椟还珠的。 明明可以做检查点livecd和flatpak？ 因为是部署团队编的程

== 看看WinNT的老丈和新账

​系统端：的扭曲 抛弃了轻量级的文件级挂载，直接走向了重型的 Hyper-V 硬件虚拟化（如 Windows Sandbox、WSL2、甚至胎死腹中的 Windows 10X，全部基于 VHDX 虚拟磁盘），耗费大量的 CPU 和内存资源。

哈，本来就应该hybrid，为什么非要二选一。 优雅容错

太幽默了w10x，曾经的98还是me也支持出色的虚拟化（或单线多任务？）

怎么敢在共享api都不确定的情况下这么虚拟cpu？

V86模式非常明确的hook掉了bios 0x10的图形flush调用，确保shell进程有最高z-index，从而避免资源占用问题。这非常明确。

win10x是不是连Docker程度的管线理解都没到位，这怎么好意思继承发明注册表的人的代码基

他们是不是觉得这是个5G云操作系统了？还不如H5，js是真能写gl游戏

你没搞错吧？Ring0也装进去W10X怎么跑游戏反作弊呢，这个项目应该不是认真的主线win10计划？ 确实，是上网本，但可运行exe的噱头太大。

Ring这个概念是abi世界的一种讲法，从裸机和内核开始往上的加载链，感觉这个术语有点不友好。另外，独立的智能卡/ TEE也属于Ring-1，真不知道怎么称呼内核层

再下面就是微宏内核之辩了，然而一切都和普通的httpd/curl双工设计差不多，比如可以合并请求、复用socket管道队什么的，scx和mmap都是对象池嘛

既然要这么玩，直接Unikraft+SQLite式单线任务好了。谁知道那些bin里都在自旋等待什么，可能就是无效轮询，C天生就是惊群的，连闭包都要写class。在一个错误的模型里谈省电和后台性能，是无效的。

面对一个能把UI写的比用户的视觉还卡、比GBA掌机还卡的软件工程世界，最好不要期待什么启发式+20%rps fps的。 说不明白他们在P9工程师什么

一个几百兆编译后的codebase，不知道代码或功能热点有百分之几，开始谈网络卡在哪几行或调度的性能。不如把C都转译成js，然后用即时调试的技术看看到底卡在哪里

🤔💭

#os #post libc不懂线程模型

一个默认不是EPOLLEXCLUSIVE的libc，和天生除了 onclick=()=>{if...; return true} 还支持capture和scroll特例优化的js，真不知道C设计时脑子在干什么。默认广播？广播什么？

C工具链的一切都是进程的尸体，和代码本身并无关系，也和作者的心流意图相去甚远。这不是性能的问题，纯粹是不会读空气充满跑通次抛的气质，否则下游为什么都在改、加框架才能脱离玩具。 能跑和【能活】是两码事，能绿就小心了。

C文件完全没有被调试的价值，它的typing就像它的隐转一样在静态语言里出戏，就连WASM也不咋样。 用C却从未自带“人肉编译器”的编程者是libc生态的受害者，而只为调几个API和“编译器隐藏大招”教人C开发应被视为某种犯罪，这是在传播思想残疾了。

整个污染性的await的编程世界，都是4K内存页和奇葩调度器搞的鬼。本来是串读串写的（线程栈），和本来是块和事件的（fs/sql/httpd等程序），说UNIX没有预期我不相信。

混在一起做IPC和“竞争性优化”，结果毛都没搞成，因为就是在内耗，心智模型不如一个git和CRDT合并。

Alan Kay 对“未来”的需求可是非常清楚，相比之下，UNIX的千年虫和Java的null是谁的锅呢？ C10K和Y2K是同类问题。这帮人又复杂又愚蠢，愚蠢到连复杂都看不出。

Alan Kay 追求的是一个能让儿童理解和创造的、动态的、自包含的“元媒介”。他不仅发明了OOP，而且完美规避了现代全栈的问题，没想到吧？React和AWS Lambda的发明，早就在Scratch和JS的前身里，而且第一门OOP语言就连Bool都是函数式{}块的实现。 人家一开始就没把 ./file 和 addFile(URI, blob) 给混为一谈

Swap最初是用于关闭重开状态保留，源码一开始就像innerHTML(JSON)那样只是内存对象的表示，性能差但从未有Y2K和C10K的债要还，NixOS吹的特性Kay早就做好了。

一群连回调地狱都没写过，连F12和断点都不是人均使用过的编程语言定义【高并发】。battle-tested 框架还不如Kay给小孩子做的GUI解决的漂亮，一开始，就是按信息构造的方法，消去它

C干了什么呢？它把一个accept()事件注册，变成了类似 (then_ret2proc)=>_Noreturn 的Stop-the-world调度魔法，这是魔法函数，只因为UNIXer觉得不支持()=>{}的C就是唯一的编程语言，而且libc的fork()隔离成本“极低”。

sched.c与vm.c，很大程度上是在【用最愚蠢的方法】实现fnarg2obj（闭包）和GC。而0644那种权限的保护，很大程度上不如CSP对js和apk的保护，因为是CSP白名单是可以从行为自动生成的。

那么read|write也是同理，然后他们还很乐观的使用 cat|sed|less 这样的“UI密集型”接口，甚至产生了IPC这种结构像bashrc的“调用等待队列”的问题。其实串读串写、事件、块设备，是三回事，其实addEventListener和transfer()是对的，而IPC就是一团乱麻。

如果一开始，就没有把accept() Worker卡掉，哪来那么多重造轮子的IPC需求？

一开始没分清【计算】产生的信源就设计libc，然后到处无意义的while(1)，结果只证明“系统编程”经验替代不了用户诉求与洞察力。

当然了，我简化了 accept() vs accept(then) 的问题，前者传入了自身pid（或者说整个ret2stack），后者另外传入了一个“代码和数据”双指针。 内核权限对后者是无能为力的，因为一个进程不能长两个头。

这个问题，真正是我说的“用非常愚蠢的方法实现闭包”：把 一个纯粹的token鉴权，和栈(pid)绑死在一起，所以有了各种语言的await。 这是养鸡场只有一个谷堆，一群鸡随机插着队来消化，但谷堆（网卡）本身是事件性的！😂

鸡确实没有两个头，但把进程视为单线的、有栈顶的，这种说法本身是错误的。并没有确定的执行顶部，只是一堆信号变量间的因果链！

😅因为OOP封装和“阅后即焚”式计算太流行了，好像必须要有个栈vs堆一样。其实栈分配只是个内联优化，泄露进了认知里，还成教科书了。 不会真以为栈变量就能阅后即焚吧？

这就好像某人发现了【文件名不占空间，可以拿来做压缩】，或觉得伪递归(continue fn(x-1)) 比for更占内存的“真理”一样让人哭笑不得。for还会死机，递归却允许爆栈时优雅容错怎么不说？

OS就是大一点的JVM，甚至代码解释器而已。 🐧因为sched/vm的内核功能把 “回调链表” 给藏在混乱的procfs统计里，就认为不存在持续态栈消耗这回事?

一个进程不能长两个头。 更深层次的问题是，pthread无法区分出这双指针里谁是“安全”的数据（需要喂给用户态全局sighandler）

uring后来解决了。IOCP可能还简洁点，但如养鸡场一例所说，这是手写闭包和大switch的智障级设计。 为了一个“不能跨域请求污染”的事兴冲冲的把垃圾当成高性能做

😇我就摊开了讲：两个版本accept的本质区别是栈易失vs堆拷贝，是从 pix(x,y, implicit pid) 装箱转换为 enum Stack{Pix(x,y)} and pid {case Pix: .. } 的双指针的组合方法之别，大小写问题。

为了这个内核不能“跨域执行”的手短问题，你们发明了Kay的OOP里没有的毛病，这个模型并没有比“单线程”那个好看，因为仅仅是内核不能去直接eval那个回调而已。它必须区分arg和fun。

这是模块化时的权限问题，其次是ld-linux的ABI问题。让accept自带fork的语意并不会让nice沙盒+mmap的开销更低，何况养鸡场并不适合为了while(1)设计的抢占式调度器。 把pid这个隐藏状态诚实的写成一个参数，怎么就这么难呢？

有多少人知道strace和stap可以像F12网络文件覆盖那样，模拟chroot？ 好像pid和gui本身是不可再编程的最终产物。

这件事的结果是，因为4K页和抢占式调度器太贵物的弊病，libuv 这些东西动态创建线程只为了在accept/read之类的固定行号卡死，然后push给master，后来又有了epoll/uring逐步的“跳步”支持。

本来的模型错了，但它的 dirty hack 碰巧掩盖了这部分。好像线程这东西真是存在的一样，好像“服务”真的都不是单线程的。

他们还经常说什么高并发L3缓存友好，其实就是一个不存在的问题，就像React的vdom vs Svelte的点对点绑定一样，错误的把“回调链表”用timer + while(1) if(ret!=null) 这样的若智逻辑表达，改回来，还长脸了？ 你tm一开始就在无脑GOTO和鬼扯。

还有人又学到了 #FP Continuation，就是【回调链表】asks(A=>B=>C=>...) ， #haskell IO Monad 给整的亲妈都不认识

归根结底，异步编程就是个骗局。是事件的就归事件，不要把谷子堆起来，再责怪鸡怎么挤来挤去数据都乱了

让一切“返回”某种json再去diff减枝真是我听过最搞笑的优化了，JS觉得自己比C++快，C++认为x86中断不懂事件和因果链，编译器觉得机器和指针比人聪明。 根本没有“返回”，编程是点对点的。 🙄

#math 还真是，充分必要王后🌚 ps.菲尔兹奖得主在发言