heydenberk

STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving

3 points by heydenberk 4 months ago | 0 comments

Google's new pipe syntax in SQL

328 points by heydenberk 10 months ago | 182 comments

The New Lindy

1 point by heydenberk 1 year ago | 0 comments

Practical Reed-Solomon for Programmers

229 points by heydenberk 4 years ago | 43 comments