Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
heydenberk | Dark Hacker News
user:
heydenberk
created:
January 2, 2011
karma:
3.4k
about:
http://twitter.com/heydenberk
submissions
comments
1.
STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving
(arxiv.org)
3 points
by
heydenberk
1 year ago
|
0 comments
2.
Google's new pipe syntax in SQL
(simonwillison.net)
328 points
by
heydenberk
1 year ago
|
182 comments
3.
1 points
by
heydenberk
2 years ago
|
discuss
4.
The New Lindy
(twitter.com)
1 points
by
heydenberk
2 years ago
|
0 comments
5.
Practical Reed-Solomon for Programmers
(berthub.eu)
229 points
by
heydenberk
4 years ago
|
43 comments