Tag
An introduction to using TLA+ with LLMs like Claude to write formal specifications, showing how LLMs can help with syntax while focusing on correctness.
The Datasette project launches an official blog, built using OpenAI Codex desktop, to share upcoming announcements.
AI-assisted coding tools enable Gary Tan to deliver hundreds of thousands of lines of code per month after 13 years without writing code. The core approach is Tokenmaxxing — consuming massive amounts of tokens to let the model handle tasks comprehensively, achieving efficiency equivalent to 400 engineers.