Hackernews posts about Dafny

  1. So what are people MCP-ing, anyway? (medium.com)
    6 points by dannyighsu 17 days ago | discuss
  2. Pictures of Havana Before Castro (www.dannydutch.com)
    5 points by belter 16 days ago | discuss
  3. Ormond Gigli and the 'Girls in the Windows' (www.dannydutch.com)
    2 points by belter 16 days ago | discuss
  4. (Re)writing an interpreter in Rust (2022) (www.dannyvankooten.com)
    2 points by PaulHoule 28 days ago | discuss
  5. Ketchup Entertainment Acquires 'Coyote vs. Acme' from Warner Bros (www.rollingstone.com)
    7 points by dannyphantom 21 days ago | 1 comments
  6. We built a one-click hosted MCP server solution (mcpverse.dev)
    4 points by dannyighsu 21 days ago | 2 comments
  7. LzTurbo – Fastest Compressor (sites.google.com)
    4 points by danny00 12 days ago | 1 comments
  8. My team was struggling to write better prompt, so built this extensions (chromewebstore.google.com)
    3 points by danny28 9 days ago | 1 comments
  9. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 12 months ago | 35 comments
  10. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d 3 months ago | 2 comments
  11. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic 9 months ago | 9 comments
  12. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti 6 months ago | discuss
  13. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti 6 months ago | discuss
  14. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule over 1 year ago | discuss
  15. Dafny – a verification-aware programming language (dafny.org)
    2 points by PaulHoule over 1 year ago | discuss
  16. Functions as Methods in Dafny? (whileydave.com)
    2 points by todsacerdoti over 1 year ago | discuss
  17. Dafny (dafny.org)
    2 points by gorenb over 1 year ago | discuss
  18. Rope in Dafny (github.com)
    2 points by SwampertX almost 2 years ago | discuss
  19. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti over 1 year ago | 1 comments
  20. Dafny Autopilot (github.com)
    1 points by ahrenbach 7 months ago | discuss
  21. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong 9 months ago | discuss
  22. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti 9 months ago | discuss
  23. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti 12 months ago | discuss
  24. Cracking the Coding Interview in Dafny: Permutations (dafny.org)
    1 points by iasdj38103 over 1 year ago | discuss
  25. Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
    1 points by maxmusing over 1 year ago | discuss
  26. The Dafny Programming and Verification Language (dafny.org)
    1 points by mikhailfranco over 1 year ago | discuss
  27. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl 5 months ago | 2 comments
  28. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong 7 months ago | 10 comments
  29. Danny Hillis: The internet needs a Plan B (2013) (www.wired.com)
    5 points by hhs over 1 year ago | discuss
  30. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub 7 months 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 7 months ago | discuss
  32. Ashton Kutcher, Mila Kunis Address Leniency Letters in Danny Masterson Rape Case (www.nytimes.com)
    3 points by karaokeyoga over 1 year ago | 2 comments
  33. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds 9 months ago | discuss
  34. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham about 1 year ago | 2 comments
  35. The Simpsons Theme (Danny Elfman)- Acoustic Guitar Cover / Yoni Schlesinger [video] (www.youtube.com)
    2 points by fortran77 over 1 year ago | 1 comments
  36. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy 6 months ago | discuss
  37. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 10 months ago | discuss
  38. The Matrix: Danny Boyle Dance Version Opens Manchester's Aviva Studios (www.bbc.co.uk)
    2 points by sohkamyung over 1 year ago | discuss