Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ogogmad | Dark Hacker News
user:
ogogmad
created:
June 21, 2020
karma:
3.1k
submissions
comments
1.
From APIs to Languages: Generalising Method Names [using regular expressions]
(blog.acolyer.org)
1 points
by
ogogmad
5 days ago
|
0 comments
2.
Zeta(5) has been proven irrational (also Lean-verified)
(reddit.com)
2 points
by
ogogmad
6 days ago
|
1 comment
3.
Tao's reservations on future AI-only solutions to NS finite-time blowup problem
3 points
by
ogogmad
27 days ago
|
1 comment