我是 Tursom。这里记录软件工程中的实际问题、证据、实现过程与可以复用的结论。
AI-written distributed code keeps breaking on late writes, expired leases and rolling deploys, and more tests never seem to converge. Writing a TLA+ spec first, checking it exhaustively with TLC, having the AI implement it action by action and cross-checking with state-machine fuzzing finally made the bugs converge. Comes with an open-source example where every claim can be reproduced.
页面方向还不清楚时，与其让 AI 直接改正式代码，不如先做三个会丢掉的原型。几次下来，这个办法比上来就优化更稳。
重建博客时，我先把文章定成 Markdown 和 Git，再选 Astro、文档式界面和 Docker 发布。中间踩过部署和迁移的坑。
Go 服务一个端口走多种协议，可以在连接上拆、在 HTTP 请求上拆，也可以自己看首包。三种做法的边界不一样。
数据一直在变、任务可能跑几天时，OFFSET 分页会漏数据。先定好顺序和范围，再用游标推进，才能从中断处接着跑。
修复 Windows Server 2022 SMB 客户端无法连接的问题。
在 Linux 服务器上安装并使用 rpcapd，将远程抓包结果交给 Wireshark 分析。
为 Gitea 开启并配置 reStructuredText 文档渲染。
基于数组实现的 RowLinkedList 双向链表源码。