yuppiemephisto Karma 425 Created 6 years ago Recent Submissions 1. ▲ A perfectable programming language (alok.github.io) 204 points · 1 day ago · 124 comments 2. ▲ Formally Verified Code Benchmark (arxiv.org) 2 points · 6 months ago · 0 comments 3. ▲ Which of the classical groups are compact? (alok.github.io) 3 points · 1 year ago · 0 comments All submissions on HN · View profile on HN