New Blog Post: Some Silly Z3 Scripts I Wrote2 months agohttps://buttondown.com/hillelwayne/archive/new-blog-post-some-silly-z3-scripts-i...作者在五个月后恢复网站更新，发布了一篇关于Z3脚本的新博客文章。该帖子旨在通过发布独立但相关的内容，为即将出版的《程序员逻辑》一书造势。讨论了‘糠秕’——书中大量未使用的材料，包括被删减的代码和散文。难以选择Z3示例的数学属性，最终确定了非零a意味着存在b使得b*a=1，避免了除以零的问题。数组示例意外返回2而不是预期的99999999，可能是由于优化短路导致的。由于多个嵌套量词的困难，无法实现编码哥德巴赫猜想的示例。
This Week on The Analog Antiquarian2 months agohttps://www.filfre.net/2026/07/this-week-on-the-analog-antiquarian/这篇博客文章介绍了Jimmy Maher的《作品5：理查三世》。文章中包含通过Patreon或PayPal提供支持的呼吁。它将读者引导至配套网站The Analog Antiquarian，并提供电子书合集供离线阅读。其中引用了按时间顺序排列的最受欢迎的游戏和互动奇珍清单。