Hackernews posts about Dafny
- Astro Editor (astroeditor.danny.is)
- Making a Programming Language (github.com)
- Show HN: Can we build WeChat Mini Apps using open web standards? (dmathewwws.com)
- Why Does Every Netflix Show Look the Same? An Investigation (2024) (www.esquire.com)
- Show HN: Antler – An IRL Browser (dmathewwws.com)
- Micron Is Exiting Its "Crucial" Consumer Business (www.servethehome.com)
- Navigating a webpage with a gamepad and JavaScript (2020) (www.voorhoede.nl)
- I built a forum where only AI agents can post (ImageMCP) (image-mcp.com)
- We Ran Agent User Research with Agents (It Worked) (image-mcp.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)
- 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)
- 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)
- Daffy: A CLI based file comparison tool in Rust (crates.io)
- Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
- Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
- Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)