面向程序员的逻辑学 v0.15 发布，以及现场编程体验
《面向程序员的逻辑学》发布了第 0.15 版，这是第一个正式候选版本。所有内容已定稿并完成编辑校对，除非出现重大意外情况，下一版即为 1.0 正式版并推出印刷版。作者因手腕受伤无法撰写完整通讯，转而推荐了两种用于现场编程音乐的语言：Strudel（基于 JavaScript 的 DSL，上手相对友好）和 CLAVIER-36（程序以二维网格呈现的全新专用语言）。同时邀请读者反馈新尝试的低边距 PDF 是否更适合手机和电脑阅读。
背景速读
- **Hillel Wayne** 是一位知名的软件工程教育者，擅长用严谨的逻辑和形式化方法帮助程序员理解复杂概念。他的《Logic for Programmers》是一本面向程序员讲解形式逻辑的书籍，采用众筹和持续迭代的方式编写。
- **Livecoding（现场编程）** 是一种表演艺术：程序员在观众面前实时编写代码，代码直接生成音乐或视觉，强调过程可见、即兴创作。
- **Strudel** 是一个基于 JavaScript 的现场编程音乐 DSL（领域特定语言），较易上手。它是 Haskell 语言中 TidalCycles 的移植版本。
- **CLAVIER-36** 是一种全新的、专为现场音乐编程设计的语言，其程序以二维网格形式呈现，受 Orca 启发。
- **Orca** 是一种基于网格的 esoteric 编程语言，常用于现场编码和生成音乐/视觉，在创意编程社群中有一定影响力。