缓存一些想法，以免它们消失。https://cache.xucong.com/https://cache.xucong.com/posts/typesafe-ai-jev-system-one-model/https://cache.xucong.com/posts/typesafe-ai-jev-system-one-model/介绍 TypeSafe AI 的 Jev 模型：它如何用类型化判断服务软件自动化，以及适用场景、能力边界、接入方式和上线前的验证方法。Mon, 21 Sep 2026 23:48:38 GMThttps://cache.xucong.com/posts/openai-navier-stokes-breakthrough/https://cache.xucong.com/posts/openai-navier-stokes-breakthrough/核查 OpenAI 的 Navier–Stokes 候选证明：它解决了哪个版本、用了什么模型、漩涡如何爆破，以及形式化验证与学界认可的区别。Tue, 08 Sep 2026 23:05:35 GMThttps://cache.xucong.com/posts/pelican-riding-a-bicycle-loop/https://cache.xucong.com/posts/pelican-riding-a-bicycle-loop/从 Sol 首次失败、Astra 修复到 Sol 再次制作，我复盘三版骑车动画的结果与条件变化：区分交付质量、失败机制和模型能力，避免把迭代记录当成公平评测。Mon, 07 Sep 2026 11:07:22 GMThttps://cache.xucong.com/posts/paseo-pid-namespace-lock-incident/https://cache.xucong.com/posts/paseo-pid-namespace-lock-incident/一次在隔离 PID namespace 中执行 paseo restart 引发的真实故障：旧 daemon 退出、新进程留下宿主机无法验证的 PID 锁，systemd 在重启后持续失败。本文还原时间线、根因、恢复步骤以及提交给上游的修复方案。Fri, 04 Sep 2026 12:26:00 GMThttps://cache.xucong.com/posts/vaultwarden-on-oracle-cloud/https://cache.xucong.com/posts/vaultwarden-on-oracle-cloud/从 Bitwarden Premium 涨价说起：记录用 Codex 在 Oracle Cloud 免费服务器上快速部署 Vaultwarden、无感迁移密码库，以及自托管前必须承担的安全与备份责任。Wed, 02 Sep 2026 16:01:46 GMThttps://cache.xucong.com/posts/subboost-self-hosted-subscription-manager/https://cache.xucong.com/posts/subboost-self-hosted-subscription-manager/体验 SubBoost：用可视化界面完成订阅转换、多源聚合、精确分流和链式代理；感谢官方提供方便的在线服务，也记录一次让 AI 在约 3 分钟内完成自建部署的经历。Sat, 29 Aug 2026 08:00:00 GMThttps://cache.xucong.com/posts/paseo-coding-agent-orchestrator/https://cache.xucong.com/posts/paseo-coding-agent-orchestrator/Paseo 不是新的编程模型，而是位于 Claude Code、Codex、OpenCode 等工具之上的本地控制平面。本文拆解它的功能、daemon-client 架构、安全模型，并与 Codex App、Superset、Conductor、OpenChamber 和 Happy Coder 对比。Mon, 24 Aug 2026 02:00:00 GMThttps://cache.xucong.com/posts/deepseek-harness-analysis/https://cache.xucong.com/posts/deepseek-harness-analysis/DeepSeek 官方开源的 agent 框架,4 天 145k star。拆解"一切皆插件"的架构,并附一次 headless 实测记录。Mon, 17 Aug 2026 12:29:57 GMThttps://cache.xucong.com/posts/spatiotemporal-composability/https://cache.xucong.com/posts/spatiotemporal-composability/北大和 DeepSeek 研究者把 effects/coeffects 从静态类型理论搬到运行时,为插件系统、热更新、自演化 agent harness 这类动态组合场景补上形式化基础,并给出生产级实现 Cordis 和 Koishi 案例。Fri, 14 Aug 2026 12:01:18 GMThttps://cache.xucong.com/posts/bluetooth-hfp-mic-bios-offload/https://cache.xucong.com/posts/bluetooth-hfp-mic-bios-offload/蓝牙耳机能正常播放音乐，麦克风却一直没有声音？常规排查方法全部无效后，最终发现是 Intel 蓝牙的 HFP 音频卸载模式与 BIOS 音频拓扑不匹配。这篇文章记录了完整的排查过程。Wed, 05 Aug 2026 17:06:53 GMThttps://cache.xucong.com/posts/adobe-acrobat-vs-pdf-xchange/https://cache.xucong.com/posts/adobe-acrobat-vs-pdf-xchange/同样是 PDF 工具，一边是 PDF 标准的制定者 Adobe Acrobat，一边是后来居上的 PDF-XChange。从实际使用体验出发，对比流畅度、功能易用性、解析准确度和格式转换表现，并给出轻度阅读与编辑场景的选型建议。Wed, 05 Aug 2026 08:22:58 GMThttps://cache.xucong.com/posts/from-neural-networks-to-gpt-5-6/https://cache.xucong.com/posts/from-neural-networks-to-gpt-5-6/从人工神经元、反向传播和 Transformer，一路讲到预训练、RLHF、推理模型、多模态与 Agent，用通俗语言梳理大语言模型的关键进化。Sun, 02 Aug 2026 10:18:17 GMThttps://cache.xucong.com/posts/about-this-blog/https://cache.xucong.com/posts/about-this-blog/记录这个博客用到的平台、具备的功能，以及直接写作和 Agent 代写两种方式。Sat, 01 Aug 2026 06:34:06 GMT