Posts

All the articles I've posted.

• 陶哲轩谈 Math 2.0：AI 证明增多后，数学还需要人的理解 | Hacker News 摘要 (2026-10-12)

  Published: 2026-10-12 |  at  07:49 PM

• REA 为编码智能体接入逆向工程工具 | Hacker News 摘要 (2026-10-11)

  Published: 2026-10-11 |  at  08:52 AM

• Deno 团队加入 Cloudflare，运行时再维护一年 | Hacker News 摘要 (2026-10-10)

  Published: 2026-10-10 |  at  07:57 PM

• Whistle：16.9 MB 的设备端语音识别模型 | Hacker News 摘要 (2026-10-09)

  Published: 2026-10-09 |  at  08:26 PM