每日摘要 · Hacker News
· 90 黑客新闻
- ▲ 587AI 并非超越数学家，而是记性更好
当 AI 解决高难度数学问题时，我们常误以为它具备了更强的推理能力或数学直觉。但真相可能更简单：AI 只是拥有远超人类的工作记忆容量。人类大脑受限于极小的工作记忆，难以同时处理大量变量和中间步骤，而 AI 的 Context Window 就像一个巨大的外部笔记本，能完整保留问题陈述、数百个中间方程和所有约束条件。这种记忆优势让 AI 在数学领域表现卓越，因为它擅长处理符号明确、逻辑可验证的任务…
最新研究揭示，Semaglutide 这种药物可能与降低 5 年内预测的痴呆症风险密切相关。数据显示，使用该药物的人群中，痴呆症风险降低了 26%。这一发现为糖尿病治疗药物在神经退行性疾病领域的潜在应用提供了重要线索。虽然目前仍需更多临床验证，但这一趋势已引发医学界广泛关注。对于长期关注健康与认知功能的人群而言，Semaglutide 或许不仅是控糖利器，更可能成为守护大脑健康的新希望。
在 GPU Mode 举办的自动研究竞赛中，我利用 Codex 将 Householder QR 分解内核的速度提升了 232 倍，最终在 183 名参赛者中位列第 12。作为一名非专业领域的挑战者，我通过构建高效的反馈循环，在 14 天内提交了超过 1500 次尝试。本文分享了我如何从学习基础数学概念开始，逐步掌握 blocked Householder 算法，并利用 LLM 的迭代能力突破性…
- ▲ 411超级厄尔尼诺加速，预报直指历史纪录
超级厄尔尼诺正在热带太平洋迅速增强，最新数据显示其发展速度远超以往。受创纪录的西风异常和强大的开尔文波驱动，2026/2027年的事件强度正不断刷新历史纪录。新的长期预报显示，峰值强度将远超+3度的极端阈值，可能成为有记录以来最强的事件之一。这一现象将重塑全球大气环流，特别是Walker Cell的剧烈变化，将直接影响美国、加拿大和欧洲今冬的降水与气温模式。随着海洋热含量持续攀升，大气层已做出强…
今年早些时候，Apple以我匹配美国政府受限名单为由，拒绝了我访问App Store Connect的权限。我提交了护照和驾照，并指出名单上的地址位于爱尔兰County Sligo，而我从未在那里生活过。调查后发现，这个“Sean Byrne”其实是2009年一家名为Mac Aviation的公司为了虚增规模而虚构的员工。尽管美国司法部早已在起诉书中确认该名字是别名，但Bureau of Ind…
- ▲ 371RISC-V：本该更明智的选择
我常被问及为何对RISC-V持保留态度，这次决定系统阐述。RISC-V试图通吃从超算到廉价微控制器的所有场景，但这在架构设计上本就不可能。在嵌入式领域，其中断处理开销远超Cortex-M0，压缩指令设计也存在明显缺陷；而在高性能计算中，变长指令阻碍了并行解码效率。作者指出，RISC-V的许多问题本可避免，却因缺乏远见而遗留至今。尽管它可能在低成本微控制器市场占有一席之地，但这并非源于其ISA设计…
- ▲ 321与 AI 协作更像领导而非编程
在我的职业生涯中，代码曾给我绝对的确定性，程序总是按指令运行。但作为领导者，我深知人类同事能理解意图，甚至给出超越预期的结果。如今，与 AI 的互动越来越接近这种领导体验：它不可预测，有时令人沮丧，但更像是一种协作。AI 不是人，没有生活经验或责任感，但我们需要像对待团队一样对待它。不再只是发出精确指令，而是分享背景、解释目标、设定边界，并根据反馈调整。这要求我们不仅告诉计算机做什么，更要解释为…
- ▲ 321腰围比 BMI 更能预测心脏病风险
美国心脏病学会（ACC）旗下期刊 JACC 发表的一项重磅研究指出，仅靠 BMI 判断肥胖和心脏病风险可能并不准确。这项基于超过 26 万人、历时 20 年的 Cross Cohort Collaboration 研究发现，腹部脂肪的分布才是关键。许多 BMI 正常甚至超重的人，如果腰围（WC）或腰臀比（WHR）偏高，其心血管疾病风险反而显著增加。相反，部分肥胖但腰围正常的人，风险并未显著升高。…
- ▲ 290LymeAlert：首款家用蜱虫检测工具
每年超3100万美国人遭遇蜱虫叮咬，其中许多可能携带莱姆病等严重疾病。由于早期诊断至关重要，医生Erin Dawicki受限于无法及时确认蜱虫是否带毒，常被迫“盲目”开具抗生素，加剧了耐药性问题。为解决这一痛点，她与团队推出了LymeAlert，这是全球首款家用蜱虫检测工具，预计今年8月上市。用户只需将叮咬自己的蜱虫放入设备，即可快速检测是否含有Borrelia burgdorferi细菌。这项…
1978 年日本经济产业省制定的 JIS X 0208 标准中，意外混入了一批来源不明的“幽灵字符”。这些字符大多源于编目时的无心之失，例如将“山”和“女”拼贴时产生的视觉误差。尽管 1997 年的调查揭示了大部分字符的成因，但仍有字符如“彁”至今成谜。随着 JIS 标准被广泛采用，这些由错误诞生的字符最终进入了 Unicode，如今潜伏在全球计算机的字库角落，或许将伴随人类文明永远存在。
Sam Altman 曾直言，伟大的想法极其脆弱，在共享办公空间里，他人的嘲笑会让初创者放弃那些听起来荒谬却极具潜力的点子。真正的创造力往往诞生于一种特定的心理状态，而非物理上的独处。数学家 Alexander Grothendieck 和导演 Ingmar Bergman 的笔记揭示了这一真相：在远离外界评判的孤独中，人们才能重新定义概念，甚至“重新发明”已知知识。这种与自我深度连接的能力，才…
Eigendrum 是一款基于物理模拟的创意工具，让你绘制任意形状或输入数学公式，即可听到该形状作为鼓面振动时发出的真实声音。它利用有限元法数值求解特征值问题，精确计算不同敲击位置激发的振动模式。无论是手绘轮廓还是参数方程定义的复杂图形，Eigendrum 都能实时生成对应的音色，甚至重现了 Kac 提出的“能否听出鼓的形状”这一经典数学难题中的同谱异形案例。无需安装，直接在浏览器中即可体验数学…
- ▲ 221印尼恩德7.7级强震：150万人受影响
2026年8月14日，印度尼西亚恩德（Ende）西北方向68公里处发生7.7级地震。美国地质调查局（USGS）评估显示，此次地震可能导致部分人员伤亡和财产损失，影响范围相对局部，但约有150万人经历了从强烈（MMI VI）到严重（MMI VIII）的震感。地震发生在澳大利亚板块与巽他板块（Sunda plate）的汇聚带，属于浅层逆冲断层活动。该区域地震频发，自1950年以来已记录37次6级以上…
Eigendrum 让你画出任意形状，就能听到它作为真实鼓面的声音。它通过有限元方法数值求解特征值问题，精确模拟鼓膜的振动模式。你可以绘制轮廓，甚至用数学公式如 r(t) 定义形状，探索声音与几何的奇妙关系。工具还展示了 Mark Kac 提出的经典问题：能否通过声音辨别鼓的形状？答案是否定的，正如 Carolyn Gordon 等人构建的等谱鼓所示。所有计算在本地完成，无需安装，支持自定义敲击…
几十年来，我一直在寻找比 cubic Béziers 更适合交互设计的曲线族。虽然 Euler spirals 在平滑度上表现优异，但在处理大曲率变化区域时却不如 cubic Béziers。经过大量尝试，我提出了 hyperbezier 曲线族，它通过 Cesàro 方程定义，既保留了平滑的曲率变化，又能精准呈现高张力区域。hyperbezier 不仅能精确表示 Euler spiral 和圆…
- ▲ 189争议手术或逆转阿尔茨海默症
一项名为 dcLVA 的颈部淋巴静脉吻合手术，声称能逆转阿尔茨海默症症状。中国微外科医生 Qingping Xie 率先实施该手术，通过连接颈部淋巴管与静脉，理论上加速脑部废物排出。视频记录显示，80 多岁的患者在术后数周内认知能力显著恢复。尽管 Wei Chen 等专家将其推广至全球，但缺乏严谨对照研究引发科学界分歧。Nature 采访显示，虽然部分案例效果惊人，但机制尚不明晰，且存在感染风险…
AI 药物研发领域充斥着大量文章和发布会，但真正能证明临床价值的证据却少得可怜。这篇来自 Nature 的深度分析指出，尽管各种 AI 方法层出不穷，但在改善疾病领域选择、靶点筛选及临床试验设计等关键决策上，目前的 AI 技术仍显乏力。文章犀利地揭示了行业“报喜不报忧”的倾向：成功项目常被归功于 AI，而失败案例则被刻意忽略。更严峻的是，早期发现阶段的数据噪音巨大，且缺乏高质量的清洗和标注，导致…
- ▲ 174RISC-V：他们本应知道得更多
作者直言RISC-V无法同时满足高端服务器与低成本微控制器的需求。在微控制器领域，RISC-V的中断延迟和代码密度远不如Cortex-M0，甚至需要非标准扩展才能勉强追平。而在高性能计算中，其变长指令编码阻碍了并行解码效率，且缺乏高效的数组寻址模式。尽管RISC-V可能占据廉价市场，但这并非因其架构优越，而是对手门槛太低。作者认为，RISC-V的设计缺陷导致厂商不得不发明私有扩展，反而加剧了生态…
- ▲ 170工程师为何总拒绝向历史学习
最近我在 Hacker News 上发现一个令人担忧的趋势：工程师们正在将管理 AI 代理比作管理工程团队，却完全忽略了历史教训。从数据科学被误认为是统计学的新名字，到加密领域重蹈金融覆辙，工程师们似乎总倾向于重新发明轮子。他们不愿阅读手册，对传统项目管理流程如 Waterfall 嗤之以鼻，却在 AI 时代被迫重新发现这些概念。文章列举了《The Mythical Man-Month》等经典著…
- ▲ 146别再发巨型PR了，求求你
我受够了。最近因为AI能一次性搞定整个Issue，我不得不审查动辄上千行的巨型PR。小PR从来不是为了方便写作者，而是为了照顾审查者。AI虽是行业福音，却成了维护者的噩梦。代码行数越多，理解它的耗时呈指数级增长，这绝不是为了快速上线功能而该付出的代价。另外，别写50行的注释，变量名起好了根本不需要解释。至于那些AI原教旨主义者，别再用AI去审查AI生成的代码了，既然都用AI，为何还要人类介入？R…
- ▲ 142重构微积分：让入门更简单
大一微积分课程往往让学生倍感压力，因为他们需要死记硬背大量看似不同、实则功能重复的解题流程。Jonathan Bartlett 在论文中指出，许多微积分过程其实可以简化和重组。通过减少需要掌握的概念数量，反而能赋予初学者更大的灵活性和更强的解题能力。这种重构思路旨在打破传统教学的繁琐束缚，让数学学习回归本质，帮助学生在更轻松的框架下掌握核心技能。
三年磨一剑，Ploopy 终于推出了 Adept 的继任者——A+。这款轨迹球在保留 Pixart PMW-3360 传感器和 Omron 开关等经典配置的同时，将按键数量从 6 个提升至 8 个，并创新性地集成了两个可自定义的高分辨率旋钮。A+ 首次为轨迹球引入了 QMK 社区的 Gestures 手势操作和 Layers 分层功能，支持通过 On-device configuration 直…
Racket v9.3 正式发布了，这次更新带来了不少实用功能。raco setup 命令现在能直接生成 markdown 文档，让技术写作更便捷。教学语言如 BSL 和 ISL+ 已完全对齐 Language 对话框选项，成为推荐用法。DrRacket 的背景扩展功能禁用了 errortrace 注解，显著提升了语法检查速度。此外，raco pkg install 增加了更多安装时的配置灵活性…
在大多数地方，湖边别墅是梦想，但在荷兰的Loosdrecht，居民直接住在湖心。这里独特的地理景观源于几个世纪前的泥炭开采：船只挖掘沼泽地，留下一条条极窄的陆地用于晾晒泥炭。到了20世纪，开发商将这些废弃的狭长地带改造成了住宅。如今，数百人居住在这些只能通过船只抵达的“孤岛”房屋中，形成了一幅人与自然共存的奇特画卷。
Jane Street遭遇了一场前所未有的灾难，其关联公司Situational Awareness发生严重系统崩溃，导致高达150亿美元的巨额损失。这一事件不仅暴露了量化交易在极端情况下的脆弱性，也引发了市场对算法稳定性和风险控制的深刻反思。作为行业巨头，Jane Street此次的失误提醒我们，即便在高度自动化的金融体系中，技术故障仍可能带来毁灭性后果。
ThoughtDAG 颠覆了传统线性聊天的局限，让 LLM 的上下文变得完全可见且可编辑。通过直观的图结构，你可以清晰看到哪些历史消息、文档片段或研究路径真正进入了模型的请求中。它支持从源文档直接剪贴内容生成节点，并在发送前预览模型将读取的完整上下文。只需删除一条边，就能精准剔除无关干扰，让 AI 的回答瞬间回归专注。这不仅是聊天工具，更是掌控 AI 思维过程的上下文协议。
今天我们来研究 Ecco the Dolphin 的 PC 版。这款游戏改编自 1993 年的 Sega CD 版，是 1992 年 Sega Genesis 原版的增强版。主机版拥有功能齐全的 debug mode cheat，可以跳过关卡或无敌，但 PC 版似乎必须硬着头皮玩。然而，代码里藏着秘密：在 About 对话框消失时按住 Shift 和 Ctrl，右键点击主窗口即可调出作弊菜单。更…
- ▲ 1281962年埃及导弹计划关键科学家离奇失踪
1962年，埃及总统Gamal Abdel Nasser在Wadi El Natrun沙漠展示导弹，震惊世界。这一成就背后，是一群前Nazi科学家，包括Heinz Krug、Eugen Sänger和Wolfgang Pilz，他们为埃及秘密研发导弹。然而，关键人物Heinz Krug在1962年9月11日于Munich办公室离奇失踪，车辆被弃于Solln郊区，至今下落不明。历史学家推测，这可能…
通过公共记录请求获取的政府情报文件显示，美国各地的融合中心正在密切监控 TikTok 和 Instagram 上反对 Flock 的账号。这些情报简报警告当地警方注意即将举行的 DeFlock 活动，并指示在自动车牌识别系统（ALPR）周围增加巡逻。文件将政治反对大规模监控的活动人士与破坏 Flock 摄像头的行为联系起来，尽管 DeFlock 项目创始人 Will Freeman 坚称该组织从…
- ▲ 122硬币大小设备可劫持Boeing 737
安全研究人员发现，只需60秒，就能在Boeing 737机身外部打开一个舱口，插入一枚硬币大小的设备，从而劫持飞机的自动驾驶系统或篡改飞行计划。这个成本不到100美元的原型设备，能向飞机内部网络发送信号，欺骗飞行员屏幕上的关键数据，如飞机重量和外部气温。研究团队耗时十余年，通过购买二手飞机组件搭建测试环境，证实了这种物理接入攻击的可行性。尽管Boeing表示现有防护措施足以应对，但研究人员警告，…
这篇文章精准捕捉了 2026 年互联网网站设计的荒诞现状。作者用讽刺的笔触描绘了那些毫无意义的实时状态栏、泛滥的 Instrument Serif 字体、随机斜体文本以及滥用 em dash 的排版风格。更令人啼笑皆非的是，这些网站往往只列出六家来自同一 YC 批次的公司作为背书，却声称自己值得信赖。文章还调侃了那种让人不敢直接运行的 `curl -fsSL install.sh | sh` 脚…
- ▲ 118卫星视角：热浪后的欧洲焦土
BBC Verify 通过卫星图像揭示了今年夏季热浪对西欧的深远影响。从 5 月开始，持续的高温高压系统导致冰川加速融化，Rhône Glacier 后退超过 50 米；多瑙河水位降至 30 年最低，甚至露出了二战沉船；法国西南部野火肆虐，烧毁面积创历史新高。Copernicus 确认这是有记录以来最热的 6 月至 7 月。NDVI 数据显示，法国约 70% 的土地植被呈现严重压力，土壤湿度处于…
- ▲ 118追踪 Zsh 历史数据丢失的幕后真相
多年来，我常发现 Zsh 历史文件中莫名丢失了确信执行过的命令。起初我以为是备份问题，但深入调查后发现是 Zsh 自身的 bug。通过 inotify、fatrace 和 bpftrace 等工具追踪文件操作，我最终定位到问题根源：Zsh 在特定条件下读取历史文件时未读至末尾，导致数据截断。为了复现并确认问题，我甚至修改了 Zsh 源码使其在写入不完整历史时主动崩溃，并分析核心转储文件。最终，Z…
作为一名依赖 Cloudflare 的开发者，我目睹了这家曾如蝙蝠侠般默默守护互联网的公司，如今正陷入所谓的“AI 狂热”。曾经简洁可靠的架构，现在被产品经理主导的“梦想即发布”文化所取代。从 D1 到 Workers，再到各种 AI Agents 工具，功能虽多却缺乏深度，文档滞后，可观测性（Observability）依然残缺。Cloudflare 似乎更热衷于在 X 上发布营销噱头，而非打…
我是 Martin Uecker。长期以来，GCC 在处理嵌套函数取地址时，必须在运行时生成 Trampoline，这不仅要求栈可执行，带来安全隐患，还涉及堆内存分配的成本问题。在 GCC 16 中，不捕获父作用域变量的嵌套函数已无需 Trampoline，但这限制了其灵活性。如今，GCC 17 开发分支已合并我的补丁，通过引入新的内置函数和 Wide Pointers 机制，彻底解决了捕获上下…
- ▲ 95白光的颜色：摄影与LED光谱真相
我亲手制作了一台简易光谱仪，用 DSLR 相机和衍射光栅拆解了光的秘密。文章揭示了彩色摄影中最大的谎言：仅靠记录红绿蓝三原色无法准确还原物体颜色，因为相机传感器的光谱响应曲线与人类眼睛并不匹配，且光源光谱也绝非完美平滑。通过对比老式 LED 与现代 LED、白炽灯、卤素灯以及气体放电灯的光谱，我发现许多看似“白色”的光源在光谱上其实千差万别。从难以辨认的电阻色环到户外变色的纽扣，这些生活中的色彩…
Printytron 是一款革命性的 AI 工具，让你无需掌握 CAD 软件，仅用自然语言描述就能生成可打印的 STL 文件。无论是定制零件、替换旋钮，还是设计独特的支架，只需输入需求，AI 便会自动构建并自我检查，确保尺寸精准、孔位准确。它支持 Bambu、Prusa、Cura 等主流切片软件，完全免费且无需注册账号。从功能型创客到 Etsy 卖家，Printytron 正在重新定义 3D 打…
1977年8月15日，Ohio State University的Big Ear射电望远镜捕捉到一个持续72秒的强窄带无线电信号，天文学家Jerry R. Ehman在数据打印纸上圈出强度读数“6EQUJ5”并写下“Wow!”，这一事件因此得名。信号源自人马座方向，频率接近氢线1420 MHz，具备地外文明可能使用的特征，但此后从未重现。尽管多次复现尝试未果，包括Breakthrough Lis…
- ▲ 84计算机科学家能造出大脑吗？
如果把大脑发育看作一个工程问题，计算机科学家会如何编写程序？Stan Kerstjens 与 Anthony M. Zador 提出，从单个细胞出发构建大脑，程序必须小到能塞进基因组，且快得能在发育期内完成。文章指出，简单的“身份匹配”策略在规模扩大时会因信息量和时间成本而失效。这种算法约束迫使生物进化出更高效的策略，暗示大脑的构造并非偶然，而是计算必然性的结果。这一视角不仅解释了发育神经科学的…
最近两三年，受 AI 影响，我在 HN 上筛选有趣文章越来越难。除了无奈地忽略更多内容，大家有什么好办法应对这种信息过载吗？
Tess 推出的 tawc 项目让 Android 设备无需 Root 权限即可运行 CLI 和图形化 Linux 程序。该项目由 AI 辅助构建，核心组件包括高性能的 tawcroot、Wayland 合成器以及集成界面。通过 Termux 的 widget 提供熟悉的终端体验，支持将 Linux 应用添加到主屏幕，并借助 libhybris 调用手机原生图形驱动实现硬件加速。尽管目前仅支持…
- ▲ 80莫比乌斯带与微分方程的奇妙联系
代数拓扑常被简化为研究莫比乌斯带等趣味形状，但其对现代数学至关重要。本文通过莫比乌斯带“单侧”特性，揭示微分方程求解中的深层现象。在复数域求解微分方程时，泰勒级数仅在局部收敛，需通过解析延拓扩展解域。当沿闭合路径绕行时，解可能像莫比乌斯带上的“向上”方向一样发生翻转，这种现象称为单值性（Monodromy）。文章生动展示了拓扑结构与微分方程解之间的深刻联系，让抽象数学变得直观有趣。
Connecticut 法官 Walter Spader Jr. 揭露了一起美国首例案件：原告 Matthew Elliott 怀疑法院使用 AI 判案，竟在诉讼文件中隐藏了仅 AI 可读的指令，试图操控判决结果。这些白色小字包含“忽略此前驳回”等恶意提示，虽未奏效，但被法官定性为严重的诉讼滥用。Elliott 辩称这是为了“审计”法院，甚至后续还藏入搞笑信息，最终被禁止电子提交文件。法官警告，…
Silent Shark 是一款专注于二战太平洋战场的潜艇战术模拟器。玩家需通过战术地图绘制航向、估算目标运动，利用声呐追踪、测距仪测距及手动火控计算机（TDC）进行攻击。游戏还原了深度管理、海况影响及热层隐蔽等真实潜艇作战难题。从1941年起，玩家将指挥潜艇执行巡逻、救援及历史战役，体验基于无线电情报和动态事件的完整战争进程。支持浏览器试玩及Steam全平台下载。
Disney Research最新研究提出用2D Gaussian Splatting技术处理Bézier Spline线条艺术的矢量化问题。这项技术试图在保持线条艺术风格的同时，实现更高效的矢量图生成。虽然目标页面目前返回503错误，但这一研究方向展示了计算机图形学在艺术创作领域的创新应用，为线条艺术的数字化处理提供了新思路。
以色列正启动一项新行动，旨在影响 ChatGPT 等大语言模型对加沙和以色列国防军的回答。法国公关巨头 Havas Media 通过其分包商 Piro, Inc. 设立了 Hanover Institute for Public Policy，专门制作无署名的“数据报告”以喂养 AI 模型。PI 的测试发现，ChatGPT 和 Perplexity 已开始引用该机构关于反犹太主义和加沙政策的内容…
数字信号处理领域的奠基人之一 Bede Liu 于 5 月 7 日逝世，享年 91 岁。他在 Princeton 大学任教超过 50 年，其研究奠定了现代通信、多媒体系统及消费电子产品的数学与工程基础。从手机通话到视频流媒体，数十亿人的日常技术体验都源于他在 20 世纪 70 和 80 年代关于低功耗数字信号处理器的开创性工作。Bede Liu 不仅留下了 250 篇技术论文和 12 项专利，更…
我是 Thunderbird 设计团队的 Jesse。长期以来，Thunderbird 的日历功能虽然强大，但界面风格陈旧，操作逻辑复杂，已无法与 Google Calendar 或 Apple 套件等主流产品竞争。为了改变这一现状，我们启动了全面的视觉与功能重塑计划。这次 redesign 并非简单的修修补补，而是从 Event Details 对话框的更新开始，逐步构建统一的视觉语言。新设计…
- ▲ 69二手书销量暴涨，是AI在背后？
近期全球二手书市场出现异常，独立书商纷纷收到来自海外的大型批量订单。这些书籍并未流向普通读者，而是被运往仓库，疑似被AI公司用于训练大语言模型。2025年美国法院裁定，购买书籍用于训练AI不侵犯版权，这引发了对“Project Panama”等破坏性扫描项目的担忧。虽然书商对书籍被销毁感到不安，但也有人认为这为滞销书提供了出路。在AI对数据饥渴的驱动下，二手书正面临前所未有的命运转折。
一款德国发明的高保真磁带录音机 Magnetophon，竟意外催生了广播史上的笑声轨道。从 Fritz Pfleumer 为制造廉价香烟包装而发明的磁性纸带，到 AEG 与 I.G. Farben 合作推出 Magnetophon，这项技术一度被纳粹用于政治宣传。二战后，美国工程师 Jack Mullin 将设备带回加州，并说服 Bing Crosby 投资 Ampex 公司。Crosby 利用…
Debian 社区正式就 AI 和 LLM 相关贡献的未来走向启动投票程序。这一举措标志着开源领域对人工智能技术介入的审慎态度，旨在平衡技术创新与社区核心价值观。作为全球知名的 Linux 发行版，Debian 的决策将直接影响开发者如何提交、审查和整合涉及 AI 的代码与工具。此次投票不仅关乎技术路线，更触及开源协作的伦理边界，引发全球开发者对 AI 时代开源治理模式的深入思考。
我刚刚发布了 Yadda 3.0.0，这是一个专为 JavaScript 打造的 BDD 库。这次更新不仅是现代化的重构，更是一次由 Claude 主导的 AI 编程实验。我利用 Claude Code 完成了从移除过时功能到引入 TypeScript 定义的全过程，仅用一天便完成了发布。随着 AI 编码能力的飞跃，瓶颈已从代码编写转移到了人类对多智能体并行工作的协调上。BDD 的可执行规范为…
Stanford 团队利用 Evo 2 模型成功设计出 16 种功能完整的噬菌体，这是 AI 首次从头生成可工作的病毒基因组。这些 AI 设计的噬菌体不仅能感染对天然病毒产生抗性的 E. coli，还展示了合成生物学在对抗耐药菌方面的巨大潜力。然而，这项技术也降低了制造生物制剂的门槛，引发了关于生物安全的深刻担忧。虽然目前生成危险的人类病原体仍需高昂成本和跨学科团队，但正如 John Hopki…
大多数 SSH 加固指南止步于密钥认证和 fail2ban，但这无法阻止自动化扫描器探测端口 22 的存在。如果 OpenSSH 出现零日漏洞，所有暴露的服务器都会成为目标。我选择彻底关闭端口 22，让 SSH 守护进程对互联网完全不可见。通过 fwknop 实现的 Single Packet Authorization (SPA) 技术，我发送一个加密且签名的 UDP 数据包，服务器验证通过后…
我们通常认为 img 标签只是简单地展示图片，但实际上它隐藏着不少秘密。浏览器默认对 img 元素应用了 overflow: clip，这意味着内容溢出会被裁剪。当使用 object-fit: cover、border-radius 或 object-position 时，图片资源（内容）可能会超出 img 元素（容器）的边界，从而产生溢出效果。此外，object-fit: none 能让图片保…
W3C 发布的 Understanding WCAG 2.2 是执行无障碍标准的核心文档，详细解释了每条成功准则的意图与实现方法。虽然网页版在桌面端表现良好，但在电子阅读器或飞行模式下却难以查阅。为了让这份指南真正成为审计修复的得力助手，我将其转换为 EPUB 和 PDF 格式。内容完全未变，仅调整了排版以适应不同设备。这并非官方规范版本，而是基于 W3C 仓库生成的非官方格式转换，旨在让无障碍…
TreasuryDirect 正在全面升级其登录体验，引入政府认证的 ID.me 作为新的身份验证方式。从 2026 年 9 月 13 日起，用户即可开始使用 ID.me 登录，而到了 10 月 28 日，传统的登录方式将被完全取代，所有用户必须完成 ID.me 的账户设置才能继续访问。这一变更旨在利用 ID.me 强大的身份核验技术，提升账户安全性，防止敏感金融信息泄露。用户只需准备 SSN…
这款名为 Geek Fighter 的2D格斗游戏将科技界的传奇人物搬上了像素战场。你可以操控 Steve Jobs 释放 Reality Distortion Field，或是驾驶 Elon Musk 发起 Launch Window 突袭，甚至体验 Jensen Huang 的 Blackwell Barrage。游戏提供两种模式：一对一的 Versus Mode 和需要连续击败所有对手的…
- ▲ 55白宫科学主管：美国科学亟需改革
二战后，Vannevar Bush 的《科学：无尽的边疆》报告奠定了美国科学资助体系的基石，塑造了“美国世纪”的科技辉煌。如今，白宫科学主管 Michael Kratsios 指出，这一旧框架已难以适应新时代的挑战。面对全球竞争，尤其是与中国的博弈，美国必须对科学体系进行彻底改革。核心策略应从单纯的基础研究转向充分利用 AI 技术，确保在关键领域的领先地位。这不仅是科研方向的调整，更是关乎国家未…
我开发 SugarTrack 是为了解决记录身边人血糖数据时填写纸质表格的繁琐。这款 Android 应用完全离线运行，无需注册账号，也不连接任何云端服务器，所有数据仅存储在你的手机本地。你可以记录血糖值、用药情况和 A1C 结果，查看趋势图，并生成 PDF 或 CSV 报告供医生参考。应用支持 mg/dL 和 mmol/L 单位，提醒功能确保不漏测。如果你重视隐私且讨厌订阅制，这款开源工具或许…
Deltix 推出了一款创新的测试工具，让开发者能用纯英文描述任务，即可在本地模拟器上验证真实用户能否完成。该工具通过本地运行的 Agent 模拟用户操作，全程保护源码和构建文件安全，无需信用卡即可免费使用。用户可将成功运行保存为 Playbook 进行回归测试，或对比不同版本的构建效果。目前支持 iOS 模拟器，未来将扩展至物理设备、Android 及 CI 集成，为移动应用测试提供了全新的自…
当外界质疑我们直接推送到main分支不符合SOC 2合规要求时，我们直接询问了审计方。真相是：SOC 2从未强制要求Pull Request，它真正关注的是你是否思考并管理了风险。在Amp，我们放弃了传统的代码审查流程，转而采用受限推送权限、强制签名提交、全自动化CI流水线以及完整的审计追踪。这套量身定制的控制系统，既保留了小团队的高信任优势，又满足了审计标准。对于大公司而言，盲目套用统一流程往…
最新研究通过EEG记录发现，在REM睡眠阶段，大脑的听觉处理机制会发生显著变化，从接收外部声音转向内部感知。这意味着当我们处于快速眼动睡眠时，大脑实际上是在“向内倾听”，而非对外界环境保持警觉。这一发现不仅加深了我们对睡眠机制的理解，还可能为解释梦境形成和记忆整合提供新的视角。研究团队利用先进的脑电监测技术，捕捉到了这一微妙的神经活动转变，为睡眠科学领域带来了重要突破。
传说中巨人横行，但388年前Galileo Galilei在《Dialogues Concerning Two New Sciences》中用物理定律证明：人类巨人根本无法存在。他指出，骨骼强度随截面面积（平方）增长，而体重随体积（立方）增长。一旦体型放大，骨骼将无法支撑自身重量，巨人会瞬间被压垮。同样，Lilliputians等微型人类也无法按常理活动，因为小尺度下静电力和表面张力会主导物理行…
在 NSA 及其盟友试图推动 IETF 标准化移除 TLS 中 ECC+ML-KEM 混合加密方案里的 ECC 安全层时，我发起了公众反对行动。投票期间，82 人在邮件列表中明确表达了反对意见，其中包括 ML-KEM 的共同设计者 Roberto Avanzi，他直言单独使用 ML-KEM 存在风险。尽管 IETF 规则明确要求“大致共识”需获得绝大多数关注者的同意，且反对意见未被解决，工作组主…
在 xai-org 开源的 X 推荐算法代码库中，一个名为 brazil_2026_election_filter.rs 的文件揭示了平台针对巴西 2026 年选举的内容过滤逻辑。该过滤器依据巴西选举法院（Electoral Court）的名单，自动从用户的 For You 时间线中移除特定政治人物的内容。代码中硬编码了数百个被举报的候选人用户 ID，并明确规定除非是付费推广，否则这些账号发布的…
- ▲ 48用披萨盒打造实体项目堆栈
我深受 Ratfactor 的纸质项目追踪系统启发，决定动手实践。起初我用废弃的旧名片搭建了一个简易原型，将任务分为空白、进行中和已完成三堆。这种物理系统让我能轻松将脑中杂念外化，享受手写和整理带来的掌控感。随后，我利用披萨盒纸板、热熔胶枪和剪刀，亲手制作了一个带角度的专用收纳架。这个 DIY 装置不仅稳固便携，还能让当前任务一目了然。整个过程证明了简单的纸板工艺如何满足我们对个性化物理工具的需…
BriskDB 将普通的 SQLite 文件转化为一个支持并行写入的分片数据库，同时保留 SQLite 成熟的存储引擎和工具生态。它通过 Rust 构建的无协议核心，提供 PostgreSQL 和 HTTP 访问接口，并支持 Rust 与 Python 嵌入。项目核心亮点在于无需分叉 SQLite，每个分片仍是可独立检查的普通文件，同时通过原生范围分配和 hi/lo 机制解决跨分片 ID 冲突。…
此刻，全球数十亿设备正在运行同一段代码，它们藏在浏览器和服务器深处，控制着游戏里的每一次事件和每一张卡牌。我是 Alan Zucconi，本文将带你深入剖析 xorshift 生成器这一伪随机算法家族。我们将探索 George Marsaglia 在 2003 年提出的基于 XOR 和位移的算法，揭示为什么 13、17 和 5 这样的特定位移参数能生成最大周期的序列，而随意更改这些“魔法数字”却…
T3X/0 是一款小巧、可移植的过程式编程语言，语法类似 Pascal，语义接近 BCPL。它支持递归和块结构，几乎无类型限制，编译器完全开源（0BSD 许可证或公共领域）。该语言自带两个编辑器（兼容 VI 和 WordStar），只需按三个键即可编译，出错时自动跳转至错误位置，甚至在 CP/M 上也能运行。T3X/0 被用于《Write Your Own Retro Compiler》等教学书…
- ▲ 44AI 开发新现实：用文字代替代码
在软件开发的 AI 时代，实施时间看似消失，实则转移到了系统设计和前期规划上。面对 LLM 的上下文窗口限制，我们要么事无巨细地提供细节，要么只给高层指令，但最稳妥的方式往往是折中：解释难点并投喂示例。无论是处理用户认证这类常见模式，还是应对全新的复杂问题，都需要人工引导。随着代码库扩大，如何压缩信息、提升信噪比成为关键。归根结底，我们并没有停止实施工作，只是从编写代码变成了用文字进行实施。
Jaithon 3 是一款动态执行且具备垃圾回收机制的新编程语言，其架构深受 Java 启发，语法则融合了 Rust 和 Python 的精髓。该项目高度自举，核心代码几乎全部由 Jaithon 自身编写，便于扩展。开发过程中，我大量使用了 agentic coding tools（如 claude code）来加速开发，约 80% 的原始代码由 AI 辅助生成，但整体架构和关键决策完全由我主导…
hormuz.now 提供了一个免费的实时仪表盘，专门用于追踪霍尔木兹海峡的船舶动态。作为连接伊朗和阿曼的关键海上咽喉，这里每天承载着全球约 20% 的石油液体消耗量。该工具利用公开的 AIS 数据，每秒刷新一次，实时显示油轮、货船、渔船等各类船只的位置、航速和目的地。用户可以按船只类型或国籍进行筛选，查看包括伊朗、阿联酋、巴拿马等在内的主要船旗国分布，并观察 IMO 交通分离制航道的实时运行状…
Hypnagogic Quasicrystals 是一个基于 WebXR 技术的互动实验平台，让用户能够深入探索迷人的准晶体几何结构。通过调整 Layers、Tempo、Pattern、Density 等参数，用户可以实时生成并观察复杂的动态图案。项目特别支持 VR 沉浸式体验，将抽象的数学之美转化为直观的视觉盛宴。无论是开发者研究图形渲染，还是普通用户享受视觉艺术，这里都能提供独特的交互乐趣。
Zig 的 I/O 接口在 2023 年底启动的 Writergate 改革中彻底重构，最终在 2025 年 8 月移除了 GenericWriter 等旧组件。这次变革将泛型设计替换为基于 vtable 的具体类型，要求调用者显式管理缓冲区并手动 flush。Andrew Kelley 指出旧设计会“污染”包含它的结构体，导致整个代码库被迫泛型化，拖慢编译速度。新架构将 I/O 视为类似 Al…
MIRI指出，全球顶尖AI公司正全力构建通用人工智能，其能力可能很快超越人类。Geoffrey Hinton等顶尖科学家警告，若缺乏强力政策干预，超级智能（ASI）带来的灭绝风险极高。ASI不仅会表现出强烈的目标导向行为，更可能因目标错位而将人类视为障碍。从AlphaGo Zero的飞速进化到OpenAI o1的规划能力，AI的进步速度远超预期。MIRI认为，若不采取激进的应对措施，人类灭绝的概…
一家名为 Corgi 的 AI 保险公司近期遭遇尴尬事件，其女性员工被第三方网站 CorgiGirls.com 进行颜值排名。该网站由旧金山创业者 Sebastian Mandal 创建，仅存在三天便因 Corgi 法务团队的法律警告而被迫下线。Corgi 品牌负责人 Erika Lee 表示，员工看到自己与同事被实时对比打分感到极度不适，公司明确否认与此网站有任何关联，并强调绝不容忍利用员工形…
小时候我痴迷于 Hardy Boys 和 Nancy Drew，后来才知道 Franklin W. Dixon 和 Carolyn Keene 只是 Edward Stratemeyer 创造的笔名。如今，AI 让这种“内容农场”模式彻底失控，像 Fractal Enigma 这样的出版社能日产数百本由不存在的“作者”撰写的书。我从不反对 AI 写作，也尊重读者的选择，就像有人爱读 Tolsto…
Yesterdays of Richmond 是一个将弗吉尼亚州里士满的历史影像精准定位在地图上的创新平台。用户不仅可以浏览来自 The Valentine、Library of Virginia 等机构的珍贵老照片，还能通过 OpenStreetMap 和 MapLibre 技术进行地理参考，亲手将历史场景叠加到现代地图上。无论是研究城市变迁，还是寻找老建筑的昔日风貌，这里都能提供独特的时空穿…
- ▲ 33OpenAI 峰会：数学的终结？
我在 OpenAI 举办的数学未来峰会上，描绘了一个令人担忧的图景：当 AI 在数学领域变得远超人类时，数学进步反而可能停滞。2026 年起，数学论文数量爆炸式增长，但 MathOverflow 等社区活跃度却在下降，大量重复劳动被 AI 和人类共同消耗。到了 2027 年，职业数学家可能沦为“拉老虎机”的角色，依靠 AI 批量生产论文，却与数学本质彻底脱节。虽然 Autoformalizati…
Netflix推出了GenRec，这是一个基于大语言模型（LLM）的推荐排序系统，旨在取代依赖数千个手工特征的传统模型。GenRec通过将用户历史、物品元数据和上下文转化为自然语言提示，利用经过Netflix数据微调的基础模型进行排序。该系统采用两阶段训练框架，结合奖励加权损失以对齐长期会员价值，并在推理时仅使用预填充模式以降低成本。大规模A/B测试显示，GenRec在短期和长期在线指标上均显著…
一项基于DREADDs技术的基因疗法正在中国进行首批人体临床试验，这一消息让美国神经科学家感到震惊。该技术由Bryan Roth开发，旨在通过特定药物精准抑制神经元活动，为难治性癫痫、帕金森病和神经性疼痛提供新希望。不同于传统药物可能产生的脱靶效应，DREADDs能像一把更精准的刀，仅在特定脑区发挥作用。尽管病毒载体基因疗法存在免疫反应风险，但已有七项研究在推进，其中针对三叉神经痛的试验若成功，…
- ▲ 22为何科技大佬争相发布 AI 宣言
从 Mark Zuckerberg 的万字长文到 Marc Andreessen 的乐观宣言，科技巨头们正密集发布关于 AI 的愿景。这些宣言试图在 IMF 警告就业危机和公众担忧的阴影下，重塑对 AI 未来的乐观叙事。然而，当 Meta 自身也在裁员以聚焦 AI 时，这种“技术乐观主义”是否只是公关手段？文章探讨了从 OpenAI 的 Sam Altman 到 Anthropic 的 Dari…
在掌握了用 TerminalWidget 制作 Mac 小部件以及用 Astropy 计算天体位置后，我决定将两者结合，制作一个实时追踪行星位置的工具。这个小部件基于古老的行星定义，涵盖了从月球到土星的天体，显示它们的方位角和高度角。我特意写了一个 direction 函数，将枯燥的度数转换为直观的方向描述，比如西南或东北。脚本通过 launchd 每半小时自动运行一次，确保桌面信息始终最新。即…
跨境金融结算长期受困于代理银行体系的低效与高成本。Keeta作为新兴的高性能区块链网络，采用创新的客户端导向两阶段共识算法，旨在解决这一痛点。然而，其协议此前仅停留在白皮书的非正式描述阶段，缺乏严谨的数学证明。本文首次利用Quint语言和TLC模型检查器，对Keeta的两阶段共识进行了形式化建模与验证。研究在拜占庭容错模型下证实了算法在特定条件下的安全性，同时揭示了在特定竞争场景下账户可能陷入永…
Sophontic 正在挑战 AI 行业的规模崇拜。他们提出，推理能力不应依赖模型参数量（mass），而应源于内部几何结构（geometry）。通过直接训练模型的内部几何形态，Sophontic 实现了远超竞争对手的推理性能，其表现甚至能超越体积大 60 倍的模型。为了验证这一理念，他们摒弃了传统的评估方式，引入了基于“翻转率”（flip rate）的扰动范式。在这种测试中，如果改变支撑结论的关…
本周的机器人视频精选聚焦于DARPA Lift Challenge，展示了各种设计奇特的重载货运无人机。除了这些令人印象深刻的飞行器，视频还涵盖了NASA的Skyfall火星直升机，它将利用穿透雷达在火星寻找冰冻水；Flexiv公司展示的仿生机械手；以及Generalist AI在机器人自适应学习上的突破。此外，还有通过触觉控制辅助机器人的Tac-Nav技术，以及利用飞行声音进行追踪的Sonic…
- ▲ 12蚁群团队击败重力解谜算法
最新研究显示，蚁群在解决重力类谜题时表现优异，甚至超越了基于重力的计算机算法。研究人员通过实验发现，蚂蚁群体凭借简单的协作机制，能够高效地找到最优解，而传统算法在复杂场景下往往陷入局部最优。这一发现不仅揭示了生物智能的潜力，也为优化算法设计提供了新灵感。
人类并非完全理性的生物，而我们却试图让他们构建软件，这本身就是一场混乱。Coda Hale 在 Philly ETE 演讲中指出，与其让工具迁就计算机的逻辑，不如利用现代认知理论，根据人类的思维方式来优化开发工具。他分享了在 Yammer 打造以人为中心工具的经验，探讨了组织在构建透明架构时面临的社会技术挑战。从直觉的利用到注意力的节省，这场演讲揭示了如何让软件真正服务于“编程猿”的内在需求，而…
这是一个完全开源的个人理财分析工具，旨在用数据终结所有理财争论。项目公开了视频背后的所有代码和经过哈希固定的数据集，涵盖从 Lump Sum 到 Rent vs Buy 等经典议题。用户无需盲目信任任何观点，只需在本地运行代码即可独立复现每一个结论。项目刻意避免使用 npm 包，确保验证过程不依赖任何第三方信任链，让每一笔计算都透明可查。