Hackernews posts about Dafny

  1. Vibe coding as a VC (kevinkuipers.substack.com)
  2. Build Your Own Htmx (joshi.monster)
  3. Semantic Dictionary Encoding (www.falvotech.com)
  4. A Choice of Giants (kriskowal.com)
  5. Dafny Autopilot (github.com)
  6. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)