Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
yuppiemephisto | Better HN
yuppiemephisto
350 karma
Joined May 30, 2019
68 submissions
Recent submissions
1
Formally Verified Code Benchmark
(opens in new tab)
(arxiv.org)
2
yuppiemephisto
5mo ago
0
2
Which of the classical groups are compact?
(opens in new tab)
(alok.github.io)
3
yuppiemephisto
1y ago
0
