Lean 4 software scaling laws(gwern.net)2 points by yuppiemephisto 75 days ago | 0 commentsNo comments yet