Hackernews posts about Dafny

  1. Vibe coding as a VC (kevinkuipers.substack.com)
  2. Build Your Own Htmx (joshi.monster)
  3. Ed25519 Support in Chrome (ipfsfoundation.org)
  4. A Choice of Giants (kriskowal.com)
  5. Dafny (dafny.org)
  6. Dafny Autopilot (github.com)
  7. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)