AI coding
2 articles on this topic, newest first.
2026
- PublishedWhy a checked proof is different from a passing AI coding testAI-generated proofs change the evidence for code behavior. The decisive questions are what was proved, about which binary, under which assumptions.9 min
- PublishedThe infrastructure cost of thousands of parallel coding agentsOpenAI’s Pando backend shows why coding-agent scale must be measured through repository traffic, CI, review and accepted changes.9 min