LessWrong AI
· Communities
Productive Signaling: Competitive Software Development, Not Competitive Programming
This post is crossposted from my Substack, Structure and Guarantees, where I explore how formal verification and related ideas might scale to more complex intelligent systems. Here I argue for an opportunity from the rise of AI coding tools: we can replace elite programming competitions, where students write throwaway