Tag
The article argues that structural backpressure (e.g., compilers, type checkers) is more effective than improving AI models for ensuring code correctness, and introduces Shen-Backpressure as a tool to implement this approach.