heydenberk

Recent Submissions

1. 1. ▲ STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving (arxiv.org) 3 points · 10 months ago · 0 comments
2. 2. ▲ Google's new pipe syntax in SQL (simonwillison.net) 328 points · 1 year ago · 182 comments
3. 3. ▲ The New Lindy (twitter.com) 1 point · 2 years ago · 0 comments
4. 4. ▲ Practical Reed-Solomon for Programmers (berthub.eu) 229 points · 4 years ago · 43 comments