Lean 4 software scaling laws

 (gwern.net)

1 points | by yuppiemephisto 2 hours ago

0 comments