Hackernews posts about Dafny

  1. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 22 days ago | discuss
  2. LibreChat: Enhanced ChatGPT Clone (github.com)
    4 points by tosh 27 days ago | discuss
  3. Experiment: Colocating agent instructions with eng docs (technicalwriting.dev)
    21 points by dannyrosen 9 days ago | 2 comments
  4. Creative Commons Signals: A New Social Contract for the Age of AI (creativecommons.org)
    4 points by dannyobrien 14 days ago | discuss
  5. Xmake v3.0 released, Improve C++ modules and jobgraph support (github.com)
    4 points by danny0z 23 days ago | discuss
  6. Iceberg, the Right Idea – The Wrong Spec (database-doctor.com)
    3 points by DannyPage about 9 hours ago | 1 comments
  7. From Visual Edits to Clean Code: How Relume Solved the React Export Challenge (www.notion.so)
    2 points by dannyeei 13 days ago | 1 comments
  8. 'What are the bathrooms like at the White House?' (2014) (www.independent.co.uk)
    2 points by dannyphantom 20 days ago | discuss
  9. Show HN: Markdown Rules MCP Server – The Portable Alternative to Cursor Rules (github.com)
    2 points by dannychickenegg 27 days ago | discuss
  10. Show HN: CVGuru – Free and Simple Resume Builder (With AI in Right Places) (cvguru.app)
    1 points by DanYan about 21 hours ago | discuss
  11. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 about 1 year ago | 35 comments
  12. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers about 1 month ago | 20 comments
  13. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d 6 months ago | 2 comments
  14. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic 11 months ago | 9 comments
  15. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 3 months ago | discuss
  16. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti 9 months ago | discuss
  17. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti 9 months ago | discuss
  18. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule over 1 year ago | discuss
  19. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule over 1 year ago | discuss
  20. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti almost 2 years ago | discuss
  21. Dafny (dafny.org)
    2 points by gorenb almost 2 years ago | discuss
  22. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti over 1 year ago | 1 comments
  23. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 3 months ago | discuss
  24. Dafny Autopilot (github.com)
    1 points by ahrenbach 10 months ago | discuss
  25. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong 11 months ago | discuss
  26. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti 11 months ago | discuss
  27. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti about 1 year ago | discuss
  28. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 over 1 year ago | discuss
  29. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing over 1 year ago | discuss
  30. The Dafny Programming and Verification Language (dafny.org)
    1 points by mikhailfranco almost 2 years ago | discuss
  31. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl 7 months ago | 2 comments
  32. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong 10 months ago | 10 comments
  33. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs almost 2 years ago | discuss
  34. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub 10 months ago | 1 comments
  35. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein 9 months ago | discuss
  36. Ashton Kutcher, Mila Kunis Address Leniency Letters in Danny Masterson Rape Case (www.nytimes.com)
    3 points by karaokeyoga almost 2 years ago | 2 comments
  37. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds 12 months ago | discuss
  38. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham over 1 year ago | 2 comments
  39. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 almost 2 years ago | 1 comments
  40. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy 9 months ago | discuss