Hackernews posts about Dafny

1. Show HN: O4DB – Intent-based M2M protocol without centralized APIs (github.com)
   2 points by dannythecount 19 days ago | 2 comments
2. The Lord of the Rings: an allegory of the PhD? (2003) (danny.oz.au)
   1 points by stared 9 days ago | discuss
3. Apple Blocks Updates for Popular 'Vibe Coding' Apps (www.macrumors.com)
   8 points by dannyw 5 days ago | discuss
4. Ask HN: Why do we still buy things by browsing catalogs?
   6 points by dannythecount 17 days ago | 8 comments
5. Show HN: Duck Talk – Real-time voice interface to talk to your Claude Code (github.com)
   6 points by DanyWin 25 days ago | discuss
6. Zines Are Not Blogs: A Not Unbiased Analysis (zines.barnard.edu)
   3 points by dannyfritz07 about 19 hours ago | discuss
7. Cindy Cohn on Privacy Battles Old and New (lwn.net)
   2 points by dannyobrien 5 days ago | discuss
8. My Fully Automated Labor Law Research Tool Is Finally Here (mattbruenig.com)
   2 points by DannyPage 24 days ago | discuss
9. Dafny: Verification-Aware Programming Language (dafny.org)
   110 points by handfuloflight 3 months ago | 33 comments
10. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 almost 2 years ago | 35 comments
11. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 10 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 about 1 year ago | 2 comments
13. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic over 1 year ago | 9 comments
14. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points by namin 3 months ago | discuss
15. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points by namin about 2 months ago | 2 comments
16. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 9 months ago | discuss
17. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 11 months ago | discuss
18. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti over 1 year ago | discuss
19. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid 3 months ago | 1 comments
20. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti over 1 year ago | discuss
21. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
    1 points by todsacerdoti about 1 month ago | discuss
22. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 5 months ago | discuss
23. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 11 months ago | discuss
24. Dafny Autopilot (github.com)
    1 points by ahrenbach over 1 year ago | discuss
25. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong over 1 year ago | discuss
26. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti over 1 year ago | discuss
27. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti almost 2 years ago | discuss
28. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl over 1 year ago | 2 comments
29. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong over 1 year ago | 10 comments
30. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub over 1 year ago | 1 comments
31. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein over 1 year ago | discuss
32. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds over 1 year ago | discuss
33. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy over 1 year ago | discuss
34. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 almost 2 years ago | discuss
35. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 6 months ago | discuss
36. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 10 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 over 1 year ago | discuss
38. Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)
    1 points by flojo almost 2 years ago | discuss