陶哲轩称AI正在以不可再生方式开采未解数学难题

一位开发者发现，随着 2026 年越来越多代码由 AI 智能体代写，自己多年因敲代码引发的重复性劳损（RSI）明显缓解。过去连续 4-5 小时写代码需频繁敲击尖括号、FN 键和各种修饰键，如今这类工作被提示词加约 30 分钟人工微调取代，他更多时间用于写设计文档和审查代码。尽管今年交付的代码量可能超过以往任何一年，严重的灼烧性手臂疼痛已很久未出现。

Armin Ronacher 解释 Pi 1.0 通过 Codemode 新增的 MCP 支持，即在 harness 内的 QuickJS WASM 沙箱（无网络、无文件系统、无计时器、内存受限）中用 JavaScript 组合工具调用，绕过 LLM 上下文。

M-Abozaid 开源了一个运行在约 2 美元 ESP32-C3 上的 Pi-hole 风格 DNS 广告拦截器，无需 PSRAM。核心技巧是把域名存为排序的 40 位哈希放进 flash 再二分查找，140,000+ 个域名只占约 0.7 MB flash、约 50 KB RAM，查询约 10 ms；命中则应答 0.0.0.0，未命中转发上游。

Erdős问题网站创建者Thomas Bloom宣布调整站点规则，冻结新题目评论与证明声明、不再显示问题状态和解答比例、取消归属性表述，并侧重收录高质量证明讲解。他表示近期大量无解释的AI生成证明挤占了人类讨论空间，网站将手动更新，Lean形式化需在Palomar登记，有抄袭或虚报AI使用情况将不予收录；评论冻结将持续到他认为恢复利大于弊为止。

一位 2011 年注册 GitHub 的开发者撰文认为，他所熟知的开源正在因 AI 而衰亡：AI 生成的垃圾 PR 和幻觉漏洞报告大量涌入，维护者审查成本激增。

作者以虚构的「我是正在消灭人类的 AGI」自述文形式，引用真实文献探讨如何区分 AI 生存威胁与正常商业行为。

TP-Link Tapo 设备的非官方 Rust/Python 客户端 tapo 在 v0.11.1 中加入 TPAP 协议支持，灯泡、插排、排插、H100 等集线器及部分摄像头在关闭 Third-Party Compatibility 开关后也能登录，代码无需改动。

开发者通过 LLM 逆向工程 iChat 的 SNATMAP 协议，自建 UDP 服务器并修改 /etc/hosts，让 Leopard 和 Snow Leopard 上的 iChat 重新支持音频和视频通话。

一位开发者认为，vibecoding 虽然能快速产出原型、带来即时满足，却缺少手写代码时那种硬仗后的成就感、做好一件工作的满足感和学习乐趣。他用 AI 构建过 HN 书签工具、预测市场派对游戏、野火预警系统和音准训练应用，但过程并不像手写小爬虫那样有趣。

博主 Anil Dash 撰文批评 TikTok、Meta、Google 等平台算法审查催生的"unalive""grape"等规避词，认为这类习惯让内容过滤工具失效，且被平台驯化的语言会进入大模型训练数据，限制 AI 对真实世界的认知。他呼吁创作者直接说想说的话、在邮件通讯和播客等不受算法控制的渠道发布，并在遭平台限制时公开抗议。