Hackernews posts about Dafny

  1. Macro Splats 2025 (danybittel.ch)
    425 points by danybittel 11 days ago | 71 comments
  2. UK Think Tank: Documents Show Russia Is Helping China Prepare to Seize Taiwan (www.rferl.org)
    9 points by consumer451 2 days ago | 1 comments
  3. Keyhive – Local-first access control (www.inkandswitch.com)
    167 points by dannyobrien 21 days ago | 14 comments
  4. An IKEA Catalog from the Near Future (shop.nearfuturelaboratory.com)
    2 points by dannyrosen 2 days ago | discuss
  5. Just launched Open Field – premium domains for startups (of.domains)
    2 points by danywander 26 days ago | discuss
  6. Turned out we've built the best hot wheels collector app (diecarz.com)
    1 points by danywander 29 days ago | 3 comments
  7. The Geek Code (1993) (github.com)
    1 points by dannyobrien 19 days ago | discuss
  8. Show HN: Die Carz – a home for a Hot Wheels collectors (diecarz.com)
    1 points by danywander 26 days ago | discuss
  9. Insights from the UN Open Source Conf: Reclaiming the Internet's Foundations (pulse.internetsociety.org)
    1 points by danyork 29 days ago | discuss
  10. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 over 1 year ago | 35 comments
  11. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 5 months ago | 20 comments
  12. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d 9 months ago | 2 comments
  13. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic about 1 year ago | 9 comments
  14. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 4 months ago | discuss
  15. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 6 months ago | discuss
  16. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti about 1 year ago | discuss
  17. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti about 1 year ago | discuss
  18. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule almost 2 years ago | discuss
  19. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule almost 2 years ago | discuss
  20. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti almost 2 years ago | 1 comments
  21. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 6 months ago | discuss
  22. Dafny Autopilot (github.com)
    1 points by ahrenbach about 1 year ago | discuss
  23. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong about 1 year ago | discuss
  24. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti about 1 year ago | discuss
  25. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti over 1 year ago | discuss
  26. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 almost 2 years ago | discuss
  27. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl 11 months ago | 2 comments
  28. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong about 1 year ago | 10 comments
  29. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub about 1 year ago | 1 comments
  30. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein about 1 year ago | discuss
  31. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds about 1 year ago | discuss
  32. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham over 1 year ago | 2 comments
  33. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy about 1 year ago | discuss
  34. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 over 1 year ago | discuss
  35. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw about 1 month ago | discuss
  36. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 5 months ago | discuss
  37. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    1 points by Rinzler89 about 1 year ago | discuss
  38. Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)
    1 points by flojo over 1 year ago | discuss
  39. Show HN: Telophase – Open-Source AWS Control Tower (github.com)
    27 points by dschofie almost 2 years ago | 1 comments