heydenberk | Dark Hacker News

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