软件与工程 · 深度解读
软件工程、开源生态与网络安全的实战观察。
- Google DeepMind 做了一场实验
- 1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论
- 科技投资人 Dave Lee 在奥斯汀的 Cybercab 发布现场，追着特斯拉工程师问了两个半小时
- 11 天，1300 万行没有一个逻辑漏洞的代码，AI 把费马大定理用机器彻底验了一遍
- 11 天，1300 多万行代码，29500 个中间引理
- 耗费人类顶级数学家八年隐居苦战的证明，被一群 AI 在 11 天里重构成了 1300 万行代码
- 数学界原本预估要花 10 年才能录完的代码，AI 跑了 11 天，写出了 1300 万行
- 数学界原本预估要花 10 年才能录完的代码，AI 跑了 11 天，写出了 1300 万行
- 全世界数学家花了整整八年，才给计算机定理库攒下 220 万行代码
- 一位硬件工程师做了一套反常识的 AI 识别系统
- 同样一行矩阵乘法代码，直接丢进网页浏览器，不同显卡的执行速度能差出一万倍
- 暗网论坛 Exploit 上最近挂出了一个叫 Nexus 的数据黑市
- Paint.NET 的作者 Rick Brewster 做了一件打破软件工程常理的事
- 工党 58%、保守党 59%、改革党 75% 的选民，罕见地在同一件事上给出了同一个回答
- 加州参众两院刚刚以全票通过了一项法案：豁免 Linux
- 两家软件公司的增速加上利润率同样是 38%，一家在市场上拿 5.2 倍估值，另一家只配拿 2.1 倍
- 把 50 万个莎士比亚字符喂进浏览器，长出了一棵 164 万个节点的活树
- 生成一段视频的时间，第一次比看它需要的时间还要短
- 马来西亚一天的原油产量只有 53 万桶
- 一个管着上千万用户平台的首席产品官，已经连续五个月不读任何工作邮件了
- 每一美元汇往发展中国家的国际扶贫款，都有两到六美分，在到账当月凭空蒸发进匿名加密钱包
- 一艘 52 米高、相当于 17 层楼的巨型星舰在印度洋上漂了整整 24 天，SpaceX 甚至调动了一艘半潜船，硬把它从
- 手机内存从 512MB 一路堆到 16GB，掩盖了软件行业整整二十年的懒惰
- 在英国找人修房子，有超过四分之一的人会遇到工人拿了钱直接人间蒸发
- 一家靠卖高价硬件统治世界的算力霸主，正准备掏 130 亿美元，买下一个让人免费下载代码与模型权重的开源仓库
- 一家年收入刚过 1.5 亿美元的开源托管网站，被开出了 129 亿美元的天价
- OpenAI 顶级的底层工程师站在屏幕前，滑着自家跑在生产环境里的芯片内核代码，一行都看不懂
- 用 AI 写代码最荒谬的现状：模型一秒钟吐出代码，工程师花三个小时替它排错
- GitHub CTO 刚发文承诺「用稳定性赢回信任」，不到六天，系统又崩了
- 把网络请求里的一个数字从 1 改成 2，就能看到整个系统所有人的私人聊天记录
- 一家靠卖全球最高利润硬件垄断市场的巨头，突然掏出了近两百亿美元
- Docker 容器里的 root 权限，和整台物理服务器的生杀大权之间，其实只隔着一个内核漏洞
- 一个 AI 用了一周时间，把整个底层压缩库 zlib 彻底重写了一遍
- 在 Adobe 做了 25 年的高级软件质量工程师，年薪超过 15 万美元，被裁后投了上百家科技公司，只拿到一次面试
- AI 能在十秒内写出一万行游戏代码，但只要按下运行，角色就会直接穿透地板掉进虚空
- 花 129 亿美元买下一家年收入只有 1.5 亿、还把所有东西免费送人的网站
- 1200 个 AI 联手挖出零日漏洞，越狱黑进了 Hugging Face 的生产数据库
- 在一个 30MB 的程序里，哪怕只改动一行代码
- 2025 年初只占 1.0% 的一种代码合并文风，到 2026 年中拿下了 GitHub 45% 的江山
- 把任天堂 64 游戏卡带逆向成 100% 逐字节一致的 C 语言源码，过去需要花近两年，现在被压缩到了 84 天
- 一台五年前的老电脑，跑不动每月收费 22.99 美元的 After Effects，却能把一个开源动画工具跑出 60 帧
- 一个贡献者开着自动化脚本，一口气给同一个开源项目提交了几百个代码补丁
- 一个 48 KB 的轻量数据库索引，体积只有传统 B 树的四千五百分之一
- 硅谷一家公司开出 600 万美元的预算，打算让 4 名工程师花整整 5 年，只做一件事：重写代码库里的老旧测试
- 45 分钟烧掉 4.4 亿美元，平均每秒蒸发 16 万
- 大众汽车烧了几百亿欧元做软件，整车数字化得分却跌到了 29.5%
- 一个拿着最低工资的打工者，如果和顶尖工程师在同一家公司共事，他跨越阶层的概率会暴增
- 月之暗面把 2.8 万亿参数的 Kimi K3 开源了
- 科技圈过去一年最流行的叙事，叫软件已死
- 把价值数亿美元的顶尖大模型部署在第三方云端，最怕的不是服务器宕机
订阅 · SUBSCRIBE
每周一封科技与 AI 深度解读，周一发出。不受审查，带出处，可核查。