yuppiemephisto

Karma: 425
Created: 7 years ago

Recent Submissions

1. ▲ What's the Ideal Analogy? (alok.github.io) 3 points · 28 days ago · 0 comments
2. ▲ A perfectable programming language (alok.github.io) 210 points · 2 months ago · 143 comments
3. ▲ Formally Verified Code Benchmark (arxiv.org) 2 points · 8 months ago · 0 comments

All submissions on HN · View profile on HN