ai-assisted-programming

介绍如何结合TLA+与Claude等LLM编写形式化规约，展示LLM如何在语法上提供帮助，同时专注于正确性。

Datasette 项目推出了一个官方博客，使用 OpenAI Codex 桌面版构建，用于分享即将发布的公告。

AI辅助编程工具允许加里·谭在13年未写代码后每月交付数十万行代码，核心方法是Tokenmaxxing——不惜消耗大量token让模型全面处理任务，效率相当于400名工程师。