Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
yuppiemephisto | Better HN
yuppiemephisto
425 karma
Joined May 30, 2019
75 submissions
Recent submissions
1
A perfectable programming language
(opens in new tab)
(alok.github.io)
210
yuppiemephisto
27d ago
143
2
Formally Verified Code Benchmark
(opens in new tab)
(arxiv.org)
2
yuppiemephisto
7mo ago
0
