heydenberk

Recent Submissions

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