Hackernews posts about Dafny

  1. Dafny Autopilot (github.com)
    1 points by ahrenbach 7 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 about 23 hours ago | 10 comments
  3. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    3 points by tehnub about 3 hours ago | 1 comments
  4. Ask HN: Browser-UI with multi-LLM for the team?
    5 points by tobwen 26 days ago | 10 comments
  5. Calling for beta users – an app that protects your focus
    1 points by afk191202 25 days ago | discuss
  6. Now Batting for the Red Sox: The Other Team's Catcher (www.wsj.com)
    3 points by impish9208 26 days ago | discuss
  7. Pavel Durov and the Blackberry Ratchet (www.oblomovka.com)
    82 points by dannyobrien 26 days ago | 31 comments
  8. Springs and Struts (wiki.c2.com)
    4 points by danny00 21 days ago | discuss
  9. The Analytics Development Lifecycle (www.getdbt.com)
    3 points by dannyfraser 5 days ago | discuss
  10. Swift Regret: Tuples and Argument Lists (belkadan.com)
    3 points by danny00 16 days ago | discuss
  11. Scaling up worker cooperatives through the franchise model (www.ilo.org)
    1 points by danny00 18 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 8 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 12 months 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 9 months ago | 1 comments
  20. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong about 2 months ago | discuss
  21. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti about 2 months ago | discuss
  22. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti 4 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 11 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 Yee’s Book Reviews (dannyreviews.com)
    32 points by Tomte almost 2 years ago | 10 comments
  28. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs about 1 year 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 about 2 months ago | discuss
  31. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham 8 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. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 3 months ago | discuss
  34. The Matrix: Danny Boyle Dance Version Opens Manchester's Aviva Studios (www.bbc.co.uk)
    2 points by sohkamyung 11 months ago | discuss
  35. Dany Qumsiyeh (qhex.org)
    2 points by gorenb about 1 year ago | discuss
  36. Danny Hillis: The Importance of Gaming (GDC 2000) (archive.org)
    2 points by ArtWomb about 1 year ago | discuss
  37. “The Shining” – I asked ChatGPT to put itself in Danny's shoes
    2 points by DemiGuru 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 6 months ago | discuss
  39. The Matrix Reloads Again: Danny Boyle Dance Version (www.bbc.com)
    1 points by belter 11 months ago | discuss
  40. Foundational Ray Peat Interviews from 2016-2018 by Danny Roddy (dannyroddy.substack.com)
    1 points by felixbraun 11 months ago | discuss
  41. Show HN: Telophase – Open-Source AWS Control Tower (github.com)
    27 points by dschofie 11 months ago | 1 comments