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