《程序员的逻辑》一周年回顾与未来规划

今天是《程序员的逻辑》（Logic for Programmers）发布一周年。尽管尚未达到1.0版本，但作者仍感到欣慰。该书最初在疫情期间构思，2021年首次提及，承诺在6月完成并控制在50页以内。然而，初版质量不佳，作者随后搁置三年，直到2024年因商业失败获得空闲时间，重新编写并自费出版。使用Sphinx编写文档，编译为LaTeX后上传至Leanpub，于2024年6月发布。目前更新至0.10版本，字数从19,000增至31,000，新增TLA+、SMT求解、逻辑编程等内容，并扩展了原有章节。同时，作者增加了配套资源，方便读者直接使用代码示例。书籍销售表现良好，售出1180册，版税收入18,241美元，尽管Leanpub数据不准确。未来计划重写部分章节，优化排版与校对，并在深秋完成印刷版。作者也欢迎推荐有助于自费出版的辅助服务。