abiro
- Karma
- 593
- Created
- 12 years ago
Recent Submissions
- 1. ▲ Anatomy of a Lean proof for software engineers (agostbiro.net)
- 2. ▲ We're Gonna Need More Mathematicians (terrytao.wordpress.com)
- 3. ▲ The Proof in the Code: How a Truth Machine Is Transforming Math and AI (publishersweekly.com)
- 4. ▲ Liveness Proofs in Veil, Part I: The First Step (proofsandintuitions.net)
- 5. ▲ Formal Verification of Cryptographic Protocol Implementations in Rust (dl.acm.org)
- 6. ▲ Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers (eprint.iacr.org)
- 7. ▲ AMA with a WoW botter / gold seller (old.reddit.com)
- 8. ▲ Why the golden ratio is mostly non-sense by a Fields Medal winner [video] (youtube.com)
- 9. ▲ Free42 – An HP-42S Calculator Simulator (thomasokken.com)
- 10. ▲ Exploring Ethereum Token Transfers with TLA+ for Wallet Security (sealvault.org)