Hackernews posts about Dafny

  1. Google banned me from Google Voice (www.dannyguo.com)
    248 points by petemilly 16 days ago | 145 comments
  2. Nixie Tubes (2015) (danyk.cz)
    143 points by xk3 13 days ago | 40 comments
  3. Show HN: OpenPO – Human feedback collection made easy for LLM (github.com)
    1 points by dphtm 5 days ago | discuss
  4. Ask HN: What bookmarklets do you use?
    19 points by dannyphantom 16 days ago | 20 comments
  5. Lev Foundation (www.levf.org)
    2 points by danny00 19 days ago | discuss
  6. A Case for Binary Packages (medium.com)
    1 points by danybittel 29 days ago | discuss
  7. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 7 months ago | 35 comments
  8. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic 4 months ago | 9 comments
  9. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti about 1 month ago | discuss
  10. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti about 1 month ago | discuss
  11. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule 11 months ago | discuss
  12. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule 12 months ago | discuss
  13. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti about 1 year ago | discuss
  14. Dafny (dafny.org)
    2 points by gorenb about 1 year ago | discuss
  15. Rope in Dafny (github.com)
    2 points by SwampertX over 1 year ago | discuss
  16. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti 11 months ago | 1 comments
  17. Dafny Autopilot (github.com)
    1 points by ahrenbach 2 months ago | discuss
  18. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong 4 months ago | discuss
  19. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti 4 months ago | discuss
  20. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti 7 months ago | discuss
  21. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 about 1 year ago | discuss
  22. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing about 1 year ago | discuss
  23. The Dafny Programming and Verification Language (dafny.org)
    1 points by mikhailfranco about 1 year ago | discuss
  24. Danny Dunn and the Homework Machine (www.newyorker.com)
    73 points by Caiero over 1 year ago | 19 comments
  25. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong 2 months ago | 10 comments
  26. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs over 1 year ago | discuss
  27. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub 2 months ago | 1 comments
  28. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein about 2 months ago | discuss
  29. Ashton Kutcher, Mila Kunis Address Leniency Letters in Danny Masterson Rape Case (www.nytimes.com)
    3 points by karaokeyoga about 1 year ago | 2 comments
  30. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds 4 months ago | discuss
  31. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham 10 months ago | 2 comments
  32. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 about 1 year ago | 1 comments
  33. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy about 1 month ago | discuss
  34. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 5 months ago | discuss
  35. The Matrix: Danny Boyle Dance Version Opens Manchester's Aviva Studios (www.bbc.co.uk)
    2 points by sohkamyung about 1 year ago | discuss
  36. Dany Qumsiyeh (qhex.org)
    2 points by gorenb about 1 year ago | discuss