Hackernews posts about Dafny

1. Dafny Autopilot (github.com)
   1 points by ahrenbach 21 days ago | discuss
2. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
   17 points by thunderbong 15 days ago | 10 comments
3. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
   4 points by tehnub 14 days ago | 1 comments
4. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
   2 points by Bluestein 7 days ago | discuss
5. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
   1 points by Rinzler89 12 days ago | discuss
6. Tips for Building and Deploying Robots (rodneybrooks.com)
   122 points by dannyobrien 5 days ago | 29 comments
7. A.I. Designs New Electric Motor [video] (www.youtube.com)
   6 points by danny00 10 days ago | discuss
8. The Analytics Development Lifecycle (www.getdbt.com)
   3 points by dannyfraser 18 days ago | discuss
9. Swift Regret: Tuples and Argument Lists (belkadan.com)
   3 points by danny00 29 days ago | discuss
10. From AGI to Superintelligence: The Intelligence Explosion (situational-awareness.ai)
    1 points by dannylandau 3 days ago | 3 comments
11. Racing to the Trillion-Dollar Cluster (situational-awareness.ai)
    1 points by dannylandau 4 days ago | discuss
12. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 5 months ago | 35 comments
13. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic about 2 months ago | 9 comments
14. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule 9 months ago | discuss
15. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule 10 months ago | discuss
16. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti about 1 year ago | discuss
17. Dafny (dafny.org)
    2 points by gorenb about 1 year ago | discuss
18. Rope in Dafny (github.com)
    2 points by SwampertX over 1 year ago | discuss
19. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti 10 months ago | 1 comments
20. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong 2 months ago | discuss
21. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti 2 months ago | discuss
22. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti 5 months ago | discuss
23. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 11 months ago | discuss
24. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing 12 months ago | discuss
25. The Dafny Programming and Verification Language (dafny.org)
    1 points by mikhailfranco about 1 year ago | discuss
26. Danny Dunn and the Homework Machine (www.newyorker.com)
    73 points by Caiero over 1 year ago | 19 comments
27. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs about 1 year ago | discuss
28. 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
29. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds 2 months ago | discuss
30. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham 8 months ago | 2 comments
31. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 about 1 year ago | 1 comments
32. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 4 months ago | discuss
33. The Matrix: Danny Boyle Dance Version Opens Manchester's Aviva Studios (www.bbc.co.uk)
    2 points by sohkamyung 12 months ago | discuss
34. Dany Qumsiyeh (qhex.org)
    2 points by gorenb about 1 year ago | discuss
35. Danny Hillis: The Importance of Gaming (GDC 2000) (archive.org)
    2 points by ArtWomb about 1 year ago | discuss
36. “The Shining” – I asked ChatGPT to put itself in Danny's shoes
    2 points by DemiGuru over 1 year ago | discuss
37. Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)
    1 points by flojo 6 months ago | discuss
38. The Matrix Reloads Again: Danny Boyle Dance Version (www.bbc.com)
    1 points by belter 12 months ago | discuss
39. Foundational Ray Peat Interviews from 2016-2018 by Danny Roddy (dannyroddy.substack.com)
    1 points by felixbraun 12 months ago | discuss
40. Show HN: Telophase – Open-Source AWS Control Tower (github.com)
    27 points by dschofie 11 months ago | 1 comments
41. Show HN: Fern, a language for defining REST APIs that compiles into OpenAPI (github.com)
    18 points by zachkirsch over 1 year ago | 7 comments