缓存一些想法，以免它们消失。

最近写下

• TypeSafe AI 与 Jev：一种面向软件决策的 AI 模型

  2026年9月22日

  介绍 TypeSafe AI 的 Jev 模型：它如何用类型化判断服务软件自动化，以及适用场景、能力边界、接入方式和上线前的验证方法。

• OpenAI 攻克了数学世纪难题？从一杯水读懂 Navier–Stokes 候选证明

  2026年9月9日

  核查 OpenAI 的 Navier–Stokes 候选证明：它解决了哪个版本、用了什么模型、漩涡如何爆破，以及形式化验证与学界认可的区别。

• 三次鹈鹕骑车实验：一次失败，能说明模型不行吗？

  2026年9月7日

  从 Sol 首次失败、Astra 修复到 Sol 再次制作，我复盘三版骑车动画的结果与条件变化：区分交付质量、失败机制和模型能力，避免把迭代记录当成公平评测。

• 一次 paseo restart 为什么让服务重启后仍然连不上

  更新于:2026年9月4日

  一次在隔离 PID namespace 中执行 paseo restart 引发的真实故障：旧 daemon 退出、新进程留下宿主机无法验证的 PID 锁，systemd 在重启后持续失败。本文还原时间线、根因、恢复步骤以及提交给上游的修复方案。