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