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