Hackernews posts about Dafny
- You know more Finnish than you think (dannybate.com)
- AR Fluid Simulation Demo (danybittel.ch)
- Vibe coding as a VC (kevinkuipers.substack.com)
- Build Your Own Htmx (joshi.monster)
- Meta Talks World-Lock Rendering for AR/Mr at Hot Chips 2025 (www.servethehome.com)
- Ed25519 Support in Chrome (ipfsfoundation.org)
- How Does a Blind Model See the Earth (www.lesswrong.com)
- A Choice of Giants (kriskowal.com)
- Dafny is a verification-aware programming language (github.com)
- Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
- Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
- Getting Started with Dafny: A Guide (dafny.org)
- Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
- Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
- Dafny Standard Libraries (dafny.org)
- Functions as Methods in Dafny? (whileydave.com)
- Dafny (dafny.org)
- Teaching Program Verification in Dafny at Amazon (dafny.org)
- Proving a stupid sort algorithm with Dafny (unnamed.website)
- Dafny Autopilot (github.com)
- Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
- Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
- The Dafny Programming and Verification Language (dafny.org)
- Akamai Remembers Danny Lewin (www.akamai.com)
- Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
- She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
- TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)