Posts

All the articles I've posted.

• Dartmouth AI 教材实验声称显著提升统计课成绩 | Hacker News 摘要 (2026-07-06)

  Published: 2026-07-06 |  at  08:01 PM

• Leanstral 1.5：Mistral 把形式化证明能力做进小模 | Hacker News 摘要 (2026-07-05)

  Published: 2026-07-05 |  at  09:04 AM

• 保护本地 AI：反对把运行开源模型变成许可制 | Hacker News 摘要 (2026-07-04)

  Published: 2026-07-04 |  at  09:44 PM

• F-Droid 批评 Android 开发者验证是“伪装成保护”的平 | Hacker News 摘要 (2026-07-03)

  Published: 2026-07-03 |  at  08:15 PM