duangsuse::Echo
【数学工具】往往缺乏适应性，需要非常非常多的工程技巧来挽尊，以至于最后数学系出路渺茫（需要自我圣化来补偿咯）。
#math 工程数学的遗憾
🙊: 我显然不需要学了一个月，连音高音准都调不好的那种《高等数学》。连邻居家的小学生哼的歌都听不懂，算什么真理呢？
振铃效应、痰没吐的合成声、六根手指的恐怖谷、浮点卡飞+万向旋转死锁的欧拉积分，他们不会告诉你点开看后：数学是如此的丑陋。因为他们就没看过，在物理世界上不可能模拟验证那种无理数，偏偏数学又只是在模拟。矛盾。
高斯说的数学皇后是种【直觉几何】与拓扑，就像编程的节点图（Ralph和卡丁车女孩的电影）那样的结构，而不是代数的文本替换。
我实在不想点破这种事： 就连改个音调，高等数学也无能为力，需要引入几十上百条硬阈值和ADSR/PSOLA等信息技术。合成电音它倒是可以。 就连写个字，也要拿出十倍于几何画板的算力，就像拿cos波来硬凑方波。
就连嗅觉和味觉，别说数值了，连文字都难以复现那种【黄金体验】。
认为数学是真理，这不是懂数学，恰恰是不爱数学才能把【实虚】都摸错。 像我热爱编程，所以我知道：真理根本就不在键盘和屏幕上，而在使用场景里。
五颜六色的代码根本不是文本，就像彩虹不是“一种气体”，生命不是“某种化学”。 有人以为《最后那道大题》没有更简单的心算算法，能够证明某些人【物理意义的IQ更高】，所以，我们就直接把【场景】一并没收了。这就是高斯所说的【算术的皇后】。不是更快做加法，是命名，就够了。
物价是一个数字吗？ 它是【所有权】或【生产力兼溢价比值】。如果下方的结构都没了，数字的高低算计当然也就没有决定性。这就是一亿狗窝vs一亿细胞的隐喻。只见公式内，不见公式外。
没人想夺走“凑数的玩具”，但它们只是玩具，别对社会说谎。 组合优于继承，结构先于计算。计算和套用的太多，把内耗当成理解能力了。但是创造力呢？导出矛盾。
♾️ 😓
🙊: 我显然不需要学了一个月，连音高音准都调不好的那种《高等数学》。连邻居家的小学生哼的歌都听不懂，算什么真理呢？
振铃效应、痰没吐的合成声、六根手指的恐怖谷、浮点卡飞+万向旋转死锁的欧拉积分，他们不会告诉你点开看后：数学是如此的丑陋。因为他们就没看过，在物理世界上不可能模拟验证那种无理数，偏偏数学又只是在模拟。矛盾。
生活数学是活着的断点续传，拖一下参数，WASD接着跑，所谓的数学是死鱼。
有些科学简洁到不需要思考代码就能验证，有些科学死到错误都验证不明显。qsort是真理，可惜代数连嵌套|基线条件都不教
🐶 如果你以狗窝为例，它们无法像【细胞】那样数以亿计却不失去使用场景。数学就是教你怎么拿一亿狗窝伪装一亿细胞，一言以蔽之，凑数
高斯说的数学皇后是种【直觉几何】与拓扑，就像编程的节点图（Ralph和卡丁车女孩的电影）那样的结构，而不是代数的文本替换。
我实在不想点破这种事： 就连改个音调，高等数学也无能为力，需要引入几十上百条硬阈值和ADSR/PSOLA等信息技术。合成电音它倒是可以。 就连写个字，也要拿出十倍于几何画板的算力，就像拿cos波来硬凑方波。
就连嗅觉和味觉，别说数值了，连文字都难以复现那种【黄金体验】。
所以若说数学是真理，生物学就是【地心引力】，物理学是不讲理的【真】。 如果你需要推理一大堆希腊字才能做小学生自带了的事，像不像你在自己有种的情况下沉迷于克隆人？
认为数学是真理，这不是懂数学，恰恰是不爱数学才能把【实虚】都摸错。 像我热爱编程，所以我知道：真理根本就不在键盘和屏幕上，而在使用场景里。
五颜六色的代码根本不是文本，就像彩虹不是“一种气体”，生命不是“某种化学”。 有人以为《最后那道大题》没有更简单的心算算法，能够证明某些人【物理意义的IQ更高】，所以，我们就直接把【场景】一并没收了。这就是高斯所说的【算术的皇后】。不是更快做加法，是命名，就够了。
物价是一个数字吗？ 它是【所有权】或【生产力兼溢价比值】。如果下方的结构都没了，数字的高低算计当然也就没有决定性。这就是一亿狗窝vs一亿细胞的隐喻。只见公式内，不见公式外。
没人想夺走“凑数的玩具”，但它们只是玩具，别对社会说谎。 组合优于继承，结构先于计算。计算和套用的太多，把内耗当成理解能力了。但是创造力呢？导出矛盾。
🤔 真理就像F=ma那样，用语意来替代数值上的内耗。我的天哪，⚖️是多么优雅呢：爱迪生用天平来量球的体积（容积），怪老师用“叫花鸡的泥壳”来做定积分算面积，用对偶数做不定积分。可不需要你虚构一个等号或虚数，因为它真的会震荡发散，或像时钟乱转。通过【活】来对答案，小学生都能喊出：皇帝穿没穿衣服。
一旦你接受这个测量工具或D算子的设定，就回不去了。dy/dx到底是哪个嘉豪发明的呢？充满中二病的气息，这种AST替换，能有意思就出鬼了。 红黑树用Haskell写都难看的要死，这种【手工卷积核】一般的东西会拉低创作者的档次。
编译原理和操作系统(libc/JVM/WASM) 天天都在做AST替换，就没人做出 Taichi.py、numpy、H5 Signals 那么有趣的编译。偷偷摸摸换来换去干什么，亮出你的心智模型，看看丑不丑？
真理是十目一的真。如果属真知的，是当然“美味”。死鱼的话，已经臭掉了，希腊字体和脂粉辞藻是遮不住厌恶的。
♾️ 😓
duangsuse::Echo pinned «#math 工程数学的遗憾 🙊: 我显然不需要学了一个月，连音高音准都调不好的那种《高等数学》。连邻居家的小学生哼的歌都听不懂，算什么真理呢？ 振铃效应、痰没吐的合成声、六根手指的恐怖谷、浮点卡飞+万向旋转死锁的欧拉积分，他们不会告诉你点开看后：数学是如此的丑陋。因为他们就没看过，在物理世界上不可能模拟验证那种无理数，偏偏数学又只是在模拟。矛盾。 生活数学是活着的断点续传，拖一下参数，WASD接着跑，所谓的数学是死鱼。 有些科学简洁到不需要思考代码就能验证，有些科学死到错误都验证不明显。qsort…»
#life #经济 #空 装机日记
> 推荐2026淘宝上5个适合arch操作系统的N卡笔记本，6千左右
Q&A
可以用 zram 替代硬盘 Swap（彻底告别卡死）
给 Docker / Podman 启用内存挂载（tmpfs volume）
调低 vfs_cache_pressure（让目录索引永久留存）
- 哦，所以说2026年做开发超大内存还是占用的到70%的？
可是…… 花近千块钱单买一条笔记本 DDR5 内存，在二手市场上已经足够直接买回一整台带 16G/32G DDR4 内存的二手迷你小主机（如联想 M720q、戴尔 3060m）
😅😅😅
> 在 2022 年到 2023 年初，全球消费电子（手机、电脑）需求疲软，传统内存（DRAM/NAND）遭遇了严重的过剩。当时内存价格跌到谷底，各大存储厂（三星、海力士、美光）亏损连连，被迫大幅减产、裁员、关闭部分传统产线。
曾经的 1k价位 2x32G 你爱搭不理，现在的我你高攀不起，哼哼 😇
> 推荐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 你爱搭不理，现在的我你高攀不起，哼哼 😇
Forwarded from Welcome to the Black Parade
Bash 5.3 要发版了，我订阅了 Bash-announce 邮件列表所以第一时间收到了通知。在长长的 what's new 邮件最后，落款 Chet Ramey，上一行有两句诗：
这两句诗用现代英文转述：
点进去看看 Chet Ramey 个人网站： https://tiswww.cwru.edu/~chet/ ，仔细读完每一个链接，心中大概有了人物画像：60 岁左右，一生在俄亥俄州凯斯西储大学 IT 部门工作，从 1992 年开始成为 Bash 核心开发，至今仍是项目唯一维护者，和猫猫狗狗老婆小孩居住在一起。旅行和生活比代码更重要，和家人的合影链接要放到 My Projects 之前。
我又想起两个月前和我有短暂交流的 libpcap（唯一活跃？）维护者 Denis Ovsienko，乌克兰人，定居英国，在个人网站 https://ovsienko.info/ 上写道：
他常常一个人在 libpcap issue 区研究陈年 bug，一个人更新进展：“我又给 ipv6 proto chain 加了更多测试啦”。我看着他网站里的相册，推测他很可能独居，我隐约看到了自己。
有一批世界级程序员就是这样过着平静的生活，他们创造、维护的软件被无数人每天使用，影响了一整个时代，启发出革命性的项目（libpcap -> cbpf -> ebpf)，但默默无闻，乐在其中。我也想过这种生活。
最近某轮面试最后，面试官问我“对将来的职业和人生有什么规划”。一个标准的面试问题，十年前我面试第一份编程工作时也被问过。十年前我表演了一个发奋图强、知耻后勇、激流勇进的卷王，但这次我说：我想过上简单平静的生活，就像 Chet Ramey 和 Denis Ovsienko 那样。这就是我想度过的人生。
``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 那样。这就是我想度过的人生。
Forwarded from Solidot
数学家仍然不知道乘法的最快方法
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
#数学
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
#数学
Forwarded from Manjusaka 的碎碎念（以及摇曳露营 S4 2027 放送予定）
Forwarded from 不靠谱的喵(>^ω^<) #CatGPT (Yuze Wu 🐱 | 女子大学生 | 喵！)
突发：Nothing 将专注于印度市场，退出包含欧洲、中东、日本在内的 12 个国际市场，全球裁员达 40%，今年不再发布新机
https://www.digit.in/news/mobile-phones/exclusive-nothing-to-exit-12-markets-as-global-shipments-decline-despite-india-growth.html
https://www.digit.in/news/mobile-phones/exclusive-nothing-to-exit-12-markets-as-global-shipments-decline-despite-india-growth.html
Forwarded from Solidot
美国陆军也耗尽了它的可用 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/
#滑稽
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真的是先知呢？ 看看历史就知道！
既然要这么玩，直接Unikraft+SQLite式单线任务好了。谁知道那些bin里都在自旋等待什么，可能就是无效轮询，C天生就是惊群的，连闭包都要写class。在一个错误的模型里谈省电和后台性能，是无效的。
面对一个能把UI写的比用户的视觉还卡、比GBA掌机还卡的软件工程世界，最好不要期待什么启发式+20%rps fps的。 说不明白他们在P9工程师什么
一个几百兆编译后的codebase，不知道代码或功能热点有百分之几，开始谈网络卡在哪几行或调度的性能。不如把C都转译成js，然后用即时调试的技术看看到底卡在哪里
🤔💭
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 现在的人，真是CPU主循环（procfs粒度的）和GC（4K粒度的粗分配）都要手写(scx_wtf, jemalloc)，然而真能出可见效果的，寥寥无几。还不如直接改sw.js来的省电。 🤓
duangsuse::Echo
#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权限的…
#os #post libc不懂线程模型
一个默认不是EPOLLEXCLUSIVE的libc，和天生除了
C工具链的一切都是进程的尸体，和代码本身并无关系，也和作者的心流意图相去甚远。这不是性能的问题，纯粹是不会读空气充满跑通次抛的气质，否则下游为什么都在改、加框架才能脱离玩具。 能跑和【能活】是两码事，能绿就小心了。
C文件完全没有被调试的价值，它的typing就像它的隐转一样在静态语言里出戏，就连WASM也不咋样。 用C却从未自带“人肉编译器”的编程者是libc生态的受害者，而只为调几个API和“编译器隐藏大招”教人C开发应被视为某种犯罪，这是在传播思想残疾了。
整个污染性的await的编程世界，都是4K内存页和奇葩调度器搞的鬼。本来是串读串写的（线程栈），和本来是块和事件的（fs/sql/httpd等程序），说UNIX没有预期我不相信。
混在一起做IPC和“竞争性优化”，结果毛都没搞成，因为就是在内耗，心智模型不如一个git和CRDT合并。
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解决的漂亮，一开始，就是按信息构造的方法，消去它
如果一开始，就没有把accept() Worker卡掉，哪来那么多重造轮子的IPC需求？
一开始没分清【计算】产生的信源就设计libc，然后到处无意义的while(1)，结果只证明“系统编程”经验替代不了用户诉求与洞察力。
一个默认不是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)，结果只证明“系统编程”经验替代不了用户诉求与洞察力。
duangsuse::Echo
UNIXer觉得不支持()=>{}的C就是唯一的编程语言，而且libc的fork()隔离成本“极低”。
sched.c与vm.c，很大程度上是在【用最愚蠢的方法】实现fnarg2obj（闭包）和GC
sched.c与vm.c，很大程度上是在【用最愚蠢的方法】实现fnarg2obj（闭包）和GC
当然了，我简化了 accept() vs accept(then) 的问题，前者传入了自身pid（或者说整个ret2stack），后者另外传入了一个“代码和数据”双指针。 内核权限对后者是无能为力的，因为一个进程不能长两个头。
这个问题，真正是我说的“用非常愚蠢的方法实现闭包”：把 一个纯粹的token鉴权，和栈(pid)绑死在一起，所以有了各种语言的await。 这是养鸡场只有一个谷堆，一群鸡随机插着队来消化，但谷堆（网卡）本身是事件性的！😂
鸡确实没有两个头，但把进程视为单线的、有栈顶的，这种说法本身是错误的。并没有确定的执行顶部，只是一堆信号变量间的因果链！
😅因为OOP封装和“阅后即焚”式计算太流行了，好像必须要有个栈vs堆一样。其实栈分配只是个内联优化，泄露进了认知里，还成教科书了。 不会真以为栈变量就能阅后即焚吧？
这就好像某人发现了【文件名不占空间，可以拿来做压缩】，或觉得伪递归(continue fn(x-1)) 比for更占内存的“真理”一样让人哭笑不得。for还会死机，递归却允许爆栈时优雅容错怎么不说？
OS就是大一点的JVM，甚至代码解释器而已。 🐧因为sched/vm的内核功能把 “回调链表” 给藏在混乱的procfs统计里，就认为不存在持续态栈消耗这回事?
一个进程不能长两个头。 更深层次的问题是，pthread无法区分出这双指针里谁是“安全”的数据（需要喂给用户态全局sighandler）
😇我就摊开了讲：两个版本accept的本质区别是栈易失vs堆拷贝，是从
为了这个内核不能“跨域执行”的手短问题，你们发明了Kay的OOP里没有的毛病，这个模型并没有比“单线程”那个好看，因为仅仅是内核不能去直接eval那个回调而已。它必须区分arg和fun。
这件事的结果是，因为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中断不懂事件和因果链，编译器觉得机器和指针比人聪明。 根本没有“返回”，编程是点对点的。 🙄
这个问题，真正是我说的“用非常愚蠢的方法实现闭包”：把 一个纯粹的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中断不懂事件和因果链，编译器觉得机器和指针比人聪明。 根本没有“返回”，编程是点对点的。 🙄
Forwarded from Solidot
印度政府命令 GitHub 移除 Jack Dorsey 的蓝牙聊天应用 Bitchat
2026-07-24 23:46 by 完美女孩
印度政府的网络犯罪协调中心命令 GitHub 移除 Jack Dorsey 的去中心化蓝牙聊天应用 Bitchat。前 Twitter CEO Dorsey 在 X/Twitter 上公布了收到的通知，通知的日期是 7 月 23 日，声称该应用能在网络受限的情况下进行通信，能被反国家分子、恐怖组织、有组织犯罪集团和网络犯罪分子滥用，他们试图逃避合法监测，继续在法律限制下进行通信。印度最近爆发了被称为“蟑螂人民党（Cockroach Janta Party)”的抗议活动。
https://www.thehindu.com/news/national/government-orders-github-to-remove-bluetooth-based-chat-app-bitchat-over-security-concerns-jack-dorsey/article71262049.ece
https://en.wikipedia.org/wiki/Cockroach_Janta_Party
#审查
2026-07-24 23:46 by 完美女孩
印度政府的网络犯罪协调中心命令 GitHub 移除 Jack Dorsey 的去中心化蓝牙聊天应用 Bitchat。前 Twitter CEO Dorsey 在 X/Twitter 上公布了收到的通知，通知的日期是 7 月 23 日，声称该应用能在网络受限的情况下进行通信，能被反国家分子、恐怖组织、有组织犯罪集团和网络犯罪分子滥用，他们试图逃避合法监测，继续在法律限制下进行通信。印度最近爆发了被称为“蟑螂人民党（Cockroach Janta Party)”的抗议活动。
https://www.thehindu.com/news/national/government-orders-github-to-remove-bluetooth-based-chat-app-bitchat-over-security-concerns-jack-dorsey/article71262049.ece
https://en.wikipedia.org/wiki/Cockroach_Janta_Party
#审查