Lean 4 software scaling laws

(gwern.net) by yuppiemephisto | Jul 2, 2026 | 0 comments on HN