大模型不擅长“感受”规格说明
作者简述下周停更、将参加 InfoQ London，并提到书籍赠送。文章讨论“大模型不擅长感受规格”，并回顾其先前关于 AI 可作为规格编写助力的观点。
Source
buttondown.com/hillelwayne
这里收集 buttondown.com/hillelwayne 最近同步到 opc.ren 的文章。原站地址：https://buttondown.com/hillelwayne
Latest from buttondown.com/hillelwayne
10 items新博文：我写的一些好玩的 Z3 脚本
作者在暂停《Logic for Programmers》后更新网站，发布了五个月来的第一篇博文《Some Silly Z3 Scripts I Wrote》，并提到不再公开付费墙内容链接。
意识流驱动开发
作者分享了一次与客户结对编写规格说明时尝试的新做法：把自己发现问题、思考修正方案的过程直接写出来，而不是先整理成完整解释再口头说明。文章以一个尚未打磨的方法为例，讨论这种“意识流”式记录在澄清规格、促进协作和暴露思路中的潜力。
证明什么是可能的
作者从形式化方法咨询的角度，讨论用两个时序算子（如“始终为真”）来数学化表达系统性质，并以数据库约束、状态机等为例说明。
《Logic for Programmers》新版本发布及后续计划
《Logic for Programmers》发布了 v0.13 版本，历时四个月完成，篇幅超过 5 万字，较 v0.12 增加约 20%。作者在文中介绍了此次更新的主要变化，并说明了后续计划与下一步方向。
没有规格说明的精化
文章以将用户表中的布尔字段迁移为可空时间戳字段为例，讨论在没有明确规格说明时进行数据库与查询重构可能带来的问题与思考。
我对 Prolog 的一些不满
作者在为《Logic for Programmers》新增答案集编程与约束逻辑编程内容时，回顾并列出自己对 Prolog 的一些痛点与不满。
里氏替换原则的作用比你想的更多
作者宣布恢复每周更新，并以更随意的方式写作；本期提到里氏替换原则的作用可能比想象更广。
一些有趣的软件事实
文章整理了一些与软件相关的有趣事实，并在开头提到作者关于《Logic for Programmers》的近况，以及读者为芝加哥食物银行慈善募捐共筹得2250美元。
从5公里到10公里的阶段变化
作者分享自己首次跑完10公里的经历，从最初设定5公里到临时决定继续跑，并回顾两年多的跑步目标和逐步提升的过程。