归档

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

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

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

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

从 Bitwarden Premium 涨价说起：记录用 Codex 在 Oracle Cloud 免费服务器上快速部署 Vaultwarden、无感迁移密码库，以及自托管前必须承担的安全与备份责任。

体验 SubBoost：用可视化界面完成订阅转换、多源聚合、精确分流和链式代理；感谢官方提供方便的在线服务，也记录一次让 AI 在约 3 分钟内完成自建部署的经历。

Paseo 不是新的编程模型，而是位于 Claude Code、Codex、OpenCode 等工具之上的本地控制平面。本文拆解它的功能、daemon-client 架构、安全模型，并与 Codex App、Superset、Conductor、OpenChamber 和 Happy Coder 对比。

DeepSeek 官方开源的 agent 框架,4 天 145k star。拆解"一切皆插件"的架构,并附一次 headless 实测记录。

北大和 DeepSeek 研究者把 effects/coeffects 从静态类型理论搬到运行时,为插件系统、热更新、自演化 agent harness 这类动态组合场景补上形式化基础,并给出生产级实现 Cordis 和 Koishi 案例。

蓝牙耳机能正常播放音乐，麦克风却一直没有声音？常规排查方法全部无效后，最终发现是 Intel 蓝牙的 HFP 音频卸载模式与 BIOS 音频拓扑不匹配。这篇文章记录了完整的排查过程。

同样是 PDF 工具，一边是 PDF 标准的制定者 Adobe Acrobat，一边是后来居上的 PDF-XChange。从实际使用体验出发，对比流畅度、功能易用性、解析准确度和格式转换表现，并给出轻度阅读与编辑场景的选型建议。

从人工神经元、反向传播和 Transformer，一路讲到预训练、RLHF、推理模型、多模态与 Agent，用通俗语言梳理大语言模型的关键进化。

记录这个博客用到的平台、具备的功能，以及直接写作和 Agent 代写两种方式。