Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
yuppiemephisto | Dark Hacker News
user:
yuppiemephisto
created:
May 30, 2019
karma:
425
submissions
comments
1.
Lean 4 software scaling laws
(gwern.net)
2 points
by
yuppiemephisto
7 hours ago
|
0 comments
2.
What's the Ideal Analogy?
(alok.github.io)
3 points
by
yuppiemephisto
49 days ago
|
0 comments
3.
A perfectable programming language
(alok.github.io)
210 points
by
yuppiemephisto
81 days ago
|
143 comments
4.
Formally Verified Code Benchmark
(arxiv.org)
2 points
by
yuppiemephisto
271 days ago
|
0 comments