fbrusch

Recent Submissions

1. 1. ▲ The Final Form of Software Development (blog.zksecurity.xyz) 2 points · 6 days ago · 0 comments
2. 2. ▲ A shallow dive into formal verification (vitalik.eth.limo) 3 points · 6 days ago · 0 comments
3. 3. ▲ LLM Knowledge Bases (twitter.com) 2 points · 1 month ago · 0 comments
4. 4. ▲ Let a thousand societies bloom (vitalik.eth.limo) 38 points · 5 months ago · 26 comments
5. 5. ▲ A GKR Tutorial (vitalik.eth.limo) 2 points · 7 months ago · 0 comments
6. 6. ▲ Light-based AI image generator uses almost no power (newscientist.com) 1 point · 8 months ago · 0 comments
7. 7. ▲ Vitalik Buterin's response to AI 2027 (vitalik.eth.limo) 1 point · 10 months ago · 0 comments
8. 8. ▲ A simple explanation of a/(b+C) + b/(C+a) + C/(a+b) = 4 (vitalik.eth.limo) 1 point · 1 year ago · 0 comments
9. 9. ▲ Quantum One-Shot Signatures (eprint.iacr.org) 2 points · 1 year ago · 0 comments
10. 10. ▲ Glue and Coprocessor Architectures (vitalik.eth.limo) 21 points · 1 year ago · 0 comments