12:16
2026-08-11
lesswrong.com
artificial-intelligence
Productive Signaling: Competitive Software Development, Not Competitive Programming
A Substack essay by an author exploring formal verification argues that AI coding tools enable replacing elite programming competitions like the International Olympiad in Informatics (IOI) with contes…