TLDR Tech / AI
Lean Software Scaling Laws
Codebases and programming languages will eventually become easier for AI models to understand, fix, and write. The Lean programming language has a worse baseline constant and total loss on existing code bases compared to other languages, but better scaling components. This implies that implementations in Lean could eventually win and deliver large benefits in program correctness at global scale. This may justify large-scale investments in rewriting existing codebases in Lean or paying for new Lean code.
Read the full story