Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
yuppiemephisto | Dark Hacker News
user:
yuppiemephisto
created:
May 30, 2019
karma:
425
submissions
comments
1.
What's the Ideal Analogy?
(alok.github.io)
3 points
by
yuppiemephisto
3 days ago
|
0 comments
2.
A perfectable programming language
(alok.github.io)
210 points
by
yuppiemephisto
35 days ago
|
143 comments
3.
Formally Verified Code Benchmark
(arxiv.org)
2 points
by
yuppiemephisto
225 days ago
|
0 comments