新博文：我写的一些好玩的 Z3 脚本
作者在暂停《Logic for Programmers》后更新网站，发布了五个月来的第一篇博文《Some Silly Z3 Scripts I Wrote》，并提到不再公开付费墙内容链接。
Tag
# Bear博客
围绕 Bear博客 这个主题，opc.ren 当前收录了 3 篇相关文章。
Latest under #Bear博客
3 items发现页与 AI 内容的讨论
作者作为 Bear 发现页的版主和常访者，讨论发现页中 AI 相关内容引发的讨论与困惑，并表达对该空间多样社区的喜爱。
我把 Ghost 博客弄坏又修好了
作者记录了自己把 Ghost 博客弄坏并修复的经历，供遇到类似问题的人参考。