Forwarded from Milkice's 生而喵喵
LLM时代的无限猴子定理
如果在LLM agent使用goal指令，只要能源是无穷的（指无穷token），它几乎必然能证明任何数学定理，甚至包括哥德巴赫猜想（不是
如果在LLM agent使用goal指令，只要能源是无穷的（指无穷token），它几乎必然能证明任何数学定理，甚至包括哥德巴赫猜想（不是
Forwarded from Hacker News 摘要
Telegraph
我的数学退化
原标题：My Mathematical Regression 作者 Alex Dahl 最近翻到了自己十年前的一个代码仓库，里面存放的是 Project Euler 数学竞赛题的解法。仓库里几乎全是 Python 文件，但其中一个名为 problem15.txt 的文本文件引起了他的注意。 现在的解题方式 作者回想，如果现在的他在工作中遇到这个问题，他首先会想到使用 Python。他可能会先尝试朴素的暴力破解法，写一堆嵌套循环。如果这种方法算不出来，他会进一步使用记忆化搜索或者动态规划。 不过这只是他的…
Forwarded from Hacker News 摘要
Telegraph
Telegram 的 t.me 域名已被暂停
原标题：Telegram's t.me domain has been suspended 这份网页内容展示了域名 t.me 的详细 WHOIS 查询结果，该域名通常由即时通讯软件 Telegram 使用。根据查询信息，该域名目前处于被暂停或锁定的状态。 域名基本信息 • 域名名称：t.me • 注册日期：2010年5月20日 • 到期日期：2035年5月20日 • 最近更新日期：2026年7月13日 • 注册商：GoDaddy.com, LLC • 注册商 IANA 编号：146 域名当前状态 该域名…
Forwarded from Hacker News 摘要
Telegraph
Show HN: 我索引了 18 年的评论数据，开发了 Hacker News 版的谷歌趋势
原标题：Show HN: I made Google Trends for Hacker News by indexing 18 years of comments Hacker News Trends 是一个专门针对 Hacker News 社区开发的数据分析工具。它索引了该社区 18 年来的全部评论数据，允许用户搜索并以图表形式查看任何主题、工具或人物在随时间推移的热度趋势。 该工具的主要功能和特点如下： 核心功能与技术实现 • 交互式趋势图：用户可以输入一个或多个关键词，系统会生成自 2008 年…
$USDT ENS无论注册还是性能体验都很差
而且各大浏览器就是不支持，币圈又能怎么样呢？ 浏览器插件是可以做到辅助解析的，但没人做。 eth.link 算是个备份，但不如直接IM拉群互相通告，甚至是PWA安装网站，它并没有反审查的性价比
有时候买个 5 美元的域名，手续费可能要几十美元，这在 Web2 是不可想象的。而且动态改节点的大厂玩法，尤其是 xx.github.io，完全不可能ENS化
Let's Encrypt 也不会提供安全服务，建议避雷
Web3 域名 + 浏览器原生解析”的隐形桥接
你提到的去中心化趋势，正在从“小众圈子”向“基础设施”倒逼。
目前像 ENS（以太坊域名服务）已经在尝试通过跟传统注册局合作，把去中心化的资产属性强行塞进 ICANN 2026 年的全球新顶级域名（gTLD）扩容计划中。
未来的终极剧本是： 域名不再由注册商（GoDaddy 们）说了算，而是作为一种加密资产躺在你的钱包里。未来的 Chrome、Firefox、甚至操作系统底层，会直接内置去中心化根证书和解析协议（如 Handshake、ENS）。
当用户输入一个网址时，浏览器不再去问中心化的 DNS 服务器，而是直接在区块链根网络上寻找加密指向。
而且各大浏览器就是不支持，币圈又能怎么样呢？ 浏览器插件是可以做到辅助解析的，但没人做。 eth.link 算是个备份，但不如直接IM拉群互相通告，甚至是PWA安装网站，它并没有反审查的性价比
有时候买个 5 美元的域名，手续费可能要几十美元，这在 Web2 是不可想象的。而且动态改节点的大厂玩法，尤其是 xx.github.io，完全不可能ENS化
Let's Encrypt 也不会提供安全服务，建议避雷
Forwarded from 今日份的豆酱 (Kiseopt)
原来我一直是天才。GPT-4那会儿，我的编程能力还很青涩，写出来的代码常遭人嘲笑。那时我便暗暗发誓:总有一天，我要成为真正的天才程序员。时过境迁，我的编程水平突飞猛进。曾经困扰我几天的问题，如今刻便能解决;以前想都不敢想的项目，现在也是信手拈来。偶尔我也会怀疑:我今天的成就，是否借助了太多外力?直到今天，我回顾来时的路一从GPT-4，到GPT-4o;从Sonnet，到
Opus;再到如今的5.6 Sol Ultra Fast。我换了一个又一个AI，编程实力却始终稳步上升。那一刻，我终于释然了。工具一直在换，强的却一直是我，原来我早
Reconnecting(1/5)
Reconnecting(2/5)
Reconnecting(3/5)
Reconnecting(4/5)
Reconnecting(5/5)
Forwarded from 尼克别说了
一个观察：
众所周知，AI 写出来的东西没人味儿。但——
文字功底越好，越有能力把 AI 写得东西改得像人写的，而且乐于主动声明自己的文章哪些是人写的，哪些是代笔；
文字功底越差，越爱用 AI 代写。这类人不仅没能力分辨 AI 写出来的东西好不好，而且很喜欢沉浸在「我靠这都能写出来也太屌了吧」的情绪里。
众所周知，AI 写出来的东西没人味儿。但——
文字功底越好，越有能力把 AI 写得东西改得像人写的，而且乐于主动声明自己的文章哪些是人写的，哪些是代笔；
文字功底越差，越爱用 AI 代写。这类人不仅没能力分辨 AI 写出来的东西好不好，而且很喜欢沉浸在「我靠这都能写出来也太屌了吧」的情绪里。
Forwarded from 荔枝木
“数学是科学的王后，算术是数学的王后。” ——卡尔·弗里德里希·高斯
“数学，如果正确地看，不但拥有真理，而且也具有至高的美。” ——伯特兰·罗素
“数学的本质在于它的自由。” ——格奥尔格·康托尔
“我们必须知道，我们必将知道。” ——大卫·希尔伯特
“我們的教育沒有問題。” ——丘成桐
“天才在于积累，聪明在于勤奋。” ——华罗庚
“数学是一门演绎的学问，从一组公设，经过逻辑的推理，获得结论。” ——陈省身
“有哪些优秀的百合同人作品？”——邓煜
“数学，如果正确地看，不但拥有真理，而且也具有至高的美。” ——伯特兰·罗素
“数学的本质在于它的自由。” ——格奥尔格·康托尔
“我们必须知道，我们必将知道。” ——大卫·希尔伯特
“我們的教育沒有問題。” ——丘成桐
“天才在于积累，聪明在于勤奋。” ——华罗庚
“数学是一门演绎的学问，从一组公设，经过逻辑的推理，获得结论。” ——陈省身
“有哪些优秀的百合同人作品？”——邓煜
Forwarded from Solidot
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
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
Forwarded from Solidot
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
#隐私
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
😅 杠精模式：
思辨的赏析：
高斯的本意是【快速的/简化这一类计算的能力】，比如FFT和CNN算法，是数学的皇后，不是说九九乘法表和加法直觉是数学或科学的顶尖。罗马数字可不是数学
【数学工具】往往缺乏适应性，需要非常非常多的工程技巧来挽尊，以至于最后数学系出路渺茫（需要自我圣化来补偿咯）。 举三个例子 (1) wav音波连调个变声器，硬阈值的DSP都做不了，得上特征工程甚至是概率模型，这些并不属于数学。 (2) 高斯消元升格成SVD也比不过DNN的简单乘加 (3) 马可夫链HMM只剩输入法上能用了，代数但缺乏普适性
有问题的总是【物】，而【人】是没问题的。人是万物灵长，任何事物总是有问题的，取决于有没有精力改变。学生长了张嘴，有体温，他们不是冷掉的课本。教育界不是AI模仿秀。
【聪明在于勤奋】恰恰是最蠢的，因为它混淆了因和果。一个赛道上有天资的人会勤奋，而勤奋不是因为他聪明，恰恰是因为他“笨”到只做自己擅长的事。因为有正反馈，所以聪明。倒果为因，惑乱人心。
😅 杠精模式：
“汇编是计科的王后，ALU是计算机的王后。” ——矮斯
“数学，如果正确地看就拥有真理，但【正确的看】不太可能” ——罗锅素
“我們的教育沒有問題，只是问题学生疑似有点多。” ——波尔布特·丘成桐
“积累在于天才，勤奋在于聪明。” ——大资本家哗罗庚
思辨的赏析：
高斯的本意是【快速的/简化这一类计算的能力】，比如FFT和CNN算法，是数学的皇后，不是说九九乘法表和加法直觉是数学或科学的顶尖。罗马数字可不是数学
【数学工具】往往缺乏适应性，需要非常非常多的工程技巧来挽尊，以至于最后数学系出路渺茫（需要自我圣化来补偿咯）。 举三个例子 (1) wav音波连调个变声器，硬阈值的DSP都做不了，得上特征工程甚至是概率模型，这些并不属于数学。 (2) 高斯消元升格成SVD也比不过DNN的简单乘加 (3) 马可夫链HMM只剩输入法上能用了，代数但缺乏普适性
有问题的总是【物】，而【人】是没问题的。人是万物灵长，任何事物总是有问题的，取决于有没有精力改变。学生长了张嘴，有体温，他们不是冷掉的课本。教育界不是AI模仿秀。
【聪明在于勤奋】恰恰是最蠢的，因为它混淆了因和果。一个赛道上有天资的人会勤奋，而勤奋不是因为他聪明，恰恰是因为他“笨”到只做自己擅长的事。因为有正反馈，所以聪明。倒果为因，惑乱人心。
❤1
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 个人网站： http://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 个人网站： http://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/
#滑稽