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