Hackernews posts about Dafny

  1. Dafny (dafny.org)
  2. Dafny Autopilot (github.com)
  3. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)