新博文：我写的一些好玩的 Z3 脚本
作者在暂停《Logic for Programmers》后更新网站，发布了五个月来的第一篇博文《Some Silly Z3 Scripts I Wrote》，并提到不再公开付费墙内容链接。
Tag
# 博客
围绕 博客 这个主题，opc.ren 当前收录了 4 篇相关文章。
Latest under #博客
4 items发现页与 AI 内容的讨论
作者作为 Bear 发现页的版主和常访者，讨论发现页中 AI 相关内容引发的讨论与困惑，并表达对该空间多样社区的喜爱。
Toy Optimizer 中的 Load/Store 转发
作者续写 Toy Optimizer 系列，回顾两年前与 CF Bolz-Tereick 制作的 load/store 转发（又称 load 消除）视频与配套 Gist，并围绕该优化展开说明。
我把 Ghost 博客弄坏又修好了
作者记录了自己把 Ghost 博客弄坏并修复的经历，供遇到类似问题的人参考。