Hackernews posts about Dafny

  1. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 1 day ago | discuss
  2. AR Fluid Simulation Demo (danybittel.ch)
    147 points by danybittel 16 days ago | 28 comments
  3. GitHub shouldn't allow AGPL project templates (github.com)
    5 points by johnbellone 10 days ago | 9 comments
  4. Chess.com co-founder discusses growing up in a religious cult (www.theguardian.com)
    4 points by gaws 6 days ago | discuss
  5. LibreChat – Enhanced ChatGPT Clone (github.com)
    3 points by thushanfernando 13 days ago | discuss
  6. I was a chess prodigy trapped in a religious cult (www.theguardian.com)
    2 points by slau 10 days ago | discuss
  7. Vibe coding as a VC (kevinkuipers.substack.com)
    24 points by DanyWin 15 days ago | 30 comments
  8. Executive Director Cindy Cohn Will Step Down After 25 Years with EFF (www.eff.org)
    5 points by dannyobrien 8 days ago | discuss
  9. Build Your Own Htmx (joshi.monster)
    4 points by danny00 18 days ago | 1 comments
  10. Meta Talks World-Lock Rendering for AR/Mr at Hot Chips 2025 (www.servethehome.com)
    3 points by dannyobrien 22 days ago | discuss
  11. Semantic Dictionary Encoding (www.falvotech.com)
    2 points by danny00 2 days ago | discuss
  12. Xmake v3.0.2 released, Improve C++ modules and new native thread support (github.com)
    2 points by danny0z 13 days ago | discuss
  13. A Choice of Giants (kriskowal.com)
    2 points by dannyobrien 21 days ago | discuss
  14. Agent Native Remote Filesystem?
    1 points by dannyighsu 26 days ago | discuss
  15. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 over 1 year ago | 35 comments
  16. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 4 months ago | 20 comments
  17. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d 8 months ago | 2 comments
  18. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic about 1 year ago | 9 comments
  19. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 3 months ago | discuss
  20. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 5 months ago | discuss
  21. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti 11 months ago | discuss
  22. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti 11 months ago | discuss
  23. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule over 1 year ago | discuss
  24. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule almost 2 years ago | discuss
  25. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti almost 2 years ago | discuss
  26. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti over 1 year ago | 1 comments
  27. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 5 months ago | discuss
  28. Dafny Autopilot (github.com)
    1 points by ahrenbach about 1 year ago | discuss
  29. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong about 1 year ago | discuss
  30. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti about 1 year ago | discuss
  31. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti over 1 year ago | discuss
  32. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 almost 2 years ago | discuss
  33. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing almost 2 years ago | discuss
  34. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl 10 months ago | 2 comments
  35. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong 12 months ago | 10 comments
  36. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub 12 months ago | 1 comments
  37. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein 12 months ago | discuss
  38. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds about 1 year ago | discuss
  39. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham over 1 year ago | 2 comments
  40. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 almost 2 years ago | 1 comments
  41. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy 11 months ago | discuss
  42. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 over 1 year ago | discuss
  43. The Matrix: Danny Boyle Dance Version Opens Manchester's Aviva Studios (www.bbc.co.uk)
    2 points by sohkamyung almost 2 years ago | discuss
  44. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 4 months ago | discuss