yuppiemephisto

Karma: 425
Created: 7 years ago

Recent Submissions

1. ▲ Lean 4 software scaling laws (gwern.net) 2 points · 29 days ago · 0 comments
2. ▲ What's the Ideal Analogy? (alok.github.io) 3 points · 2 months ago · 0 comments
3. ▲ A perfectable programming language (alok.github.io) 210 points · 3 months ago · 143 comments
4. ▲ Formally Verified Code Benchmark (arxiv.org) 2 points · 10 months ago · 0 comments

All submissions on HN · View profile on HN