Lean 4 software scaling laws · HackerLangs