GPT-5.4：知识工作、编程与 CUA 模型的新进展
文章讨论 OpenAI 推出的 GPT-5.4，认为其在知识工作、编程与计算机使用代理（CUA）等方向达到当前领先水平，并将其视为 OpenAI 的一次强势回归。
Tag
# 约束逻辑编程
围绕 约束逻辑编程 这个主题，opc.ren 当前收录了 9 篇相关文章。
Latest under #约束逻辑编程
9 itemsVibe Coding：机会还是干扰？
文章围绕“Vibe Coding”究竟是机会还是分心点展开，并借助一位SaaS领域重要人物的观点进行讨论，分析这种编程方式对创作者和产品开发的意义。
一位质疑 AI 代理编程的人，亲自详细试用 AI 代理编程
作者以怀疑者视角，详细记录自己实际使用 AI 代理进行编程的过程与观察，不做含糊评价，而是通过完整体验来讨论其效果与局限。
新博文：我写的一些好玩的 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 的一些痛点与不满。
推动 AI 智能体走向实用
作者回顾自己在去年底开始真正认可 AI 智能体的原因：不仅模型能力提升，更关键的是它们获得了可执行任务的工具，如控制终端、运行测试并验证结果，从而把能力从单纯推理扩展到实际完成工作。
一些有趣的软件事实
文章整理了一些与软件相关的有趣事实，并在开头提到作者关于《Logic for Programmers》的近况，以及读者为芝加哥食物银行慈善募捐共筹得2250美元。