Skip to content

Top New Best Ask Show Jobs

heydenberk

3,415 karmaJoined January 2, 2011478 submissions

http://twitter.com/heydenberk

heydenberk | Better HN

Recent submissions

1

STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving (opens in new tab)

(arxiv.org)

3heydenberk1y ago0

2

Google's new pipe syntax in SQL (opens in new tab)

(simonwillison.net)

328heydenberk1y ago182

3

The New Lindy (opens in new tab)

(twitter.com)

1heydenberk2y ago0

4

Practical Reed-Solomon for Programmers (opens in new tab)

(berthub.eu)

229heydenberk4y ago43