主要观点：软件中存在漏洞的代价难以高估，最好情况是给用户带来小困扰，最坏情况是让用户后悔使用该软件，且修复生产中的漏洞花费时间远超创建时间。TigerBeetle 从 scratch 用 zig 构建金融会计数据库，重视避免漏洞，其采用确定性模拟测试（VOPR/林肯）来确保数据库无缺陷。作者将确定性模拟测试引入 eno 并命名为林肯，林肯已发现两个导致 eno 崩溃的漏洞，还进行了性能测量，发现简化底层数据结构可降低编辑时间，虽仍有提升空间，但对未来充满期待。

关键信息：

• 软件漏洞代价大，修复生产中漏洞耗时多。
• TigerBeetle 构建数据库重视避免漏洞。
• 确定性模拟测试（VOPR/林肯）及作用。
• 林肯发现 eno 漏洞及性能测量结果。

重要细节：

• Postgres 近 20 年有未发现的数据持久化相关漏洞。
• 林肯通过随机序列模拟 TigerBeetle 集群操作测试。
• 林肯运行 Gettysburg 地址写作示例及效果。
• 性能测量结果中总时间、平均编辑时间等数据变化。