Hackernews posts about Dafny

  1. Some arguments against a land value tax (2024) (www.lesswrong.com)
    80 points by danny00 7 days ago | 237 comments
  2. Experiment: Colocating agent instructions with eng docs (technicalwriting.dev)
    22 points by dannyrosen 18 days ago | 2 comments
  3. Creative Commons Signals: A New Social Contract for the Age of AI (creativecommons.org)
    4 points by dannyobrien 23 days ago | discuss
  4. Iceberg, the Right Idea – The Wrong Spec (database-doctor.com)
    3 points by DannyPage 10 days ago | 1 comments
  5. From Visual Edits to Clean Code: How Relume Solved the React Export Challenge (www.notion.so)
    2 points by dannyeei 22 days ago | 1 comments
  6. 'What are the bathrooms like at the White House?' (2014) (www.independent.co.uk)
    2 points by dannyphantom 29 days ago | discuss
  7. Width and Depth: A Mental Model for Clearer Communication (productadvisorystudio.com)
    1 points by dannyrosen 8 days ago | discuss
  8. Show HN: CVGuru – Free and Simple Resume Builder (With AI in Right Places) (cvguru.app)
    1 points by DanYan 10 days ago | discuss
  9. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 about 1 year ago | 35 comments
  10. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers about 2 months ago | 20 comments
  11. 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
  12. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic 12 months ago | 9 comments
  13. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 about 1 month ago | discuss
  14. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 3 months ago | discuss
  15. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti 9 months ago | discuss
  16. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti 9 months ago | discuss
  17. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule over 1 year ago | discuss
  18. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule over 1 year ago | discuss
  19. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti almost 2 years ago | discuss
  20. Dafny (dafny.org)
    2 points by gorenb almost 2 years ago | discuss
  21. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti over 1 year ago | 1 comments
  22. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 3 months ago | discuss
  23. Dafny Autopilot (github.com)
    1 points by ahrenbach 10 months ago | discuss
  24. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong 12 months ago | discuss
  25. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti 12 months ago | discuss
  26. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti about 1 year ago | discuss
  27. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 over 1 year ago | discuss
  28. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing almost 2 years ago | discuss
  29. The Dafny Programming and Verification Language (dafny.org)
    1 points by mikhailfranco almost 2 years ago | discuss
  30. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl 8 months ago | 2 comments
  31. 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
  32. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs almost 2 years ago | discuss
  33. 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
  34. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein 10 months ago | discuss
  35. 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
  36. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds 12 months ago | discuss
  37. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham over 1 year ago | 2 comments
  38. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 almost 2 years ago | 1 comments