Hackernews posts about Dafny

  1. Show HN: Tangent – Security log pipeline powered by WASM (github.com)
    28 points by ethanblackburn 17 days ago | 2 comments
  2. Show HN: I Recreated the Windows Longhorn (2004) Aurora Effect in HTML5 Canvas (github.com)
    3 points by AntonioEritas 8 days ago | discuss
  3. Show HN: Astro Editor – Free macOS Markdown editor for Astro content collections (github.com)
    2 points by dannysmith 11 days ago | discuss
  4. Show HN: Annotation to document and runtime validate Pandas and Polars dataframe (github.com)
    2 points by vertti 14 days ago | discuss
  5. Astro Editor (astroeditor.danny.is)
    1 points by Brajeshwar 11 days ago | 1 comments
  6. Making a Programming Language (github.com)
    1 points by Damny12 about 6 hours ago | discuss
  7. Show HN: Can we build WeChat Mini Apps using open web standards? (dmathewwws.com)
    7 points by dannylmathews 5 days ago | 1 comments
  8. Why Does Every Netflix Show Look the Same? An Investigation (2024) (www.esquire.com)
    6 points by dannyphantom 2 days ago | 2 comments
  9. Show HN: Antler – An IRL Browser (dmathewwws.com)
    6 points by dannylmathews 12 days ago | 1 comments
  10. Ask HN: Do you believe Netflix will be a good steward of Warner Bros?
    5 points by dannyphantom about 16 hours ago | 5 comments
  11. Micron Is Exiting Its "Crucial" Consumer Business (www.servethehome.com)
    4 points by dannyobrien 3 days ago | 1 comments
  12. Navigating a webpage with a gamepad and JavaScript (2020) (www.voorhoede.nl)
    1 points by DannyPage 26 days ago | discuss
  13. I built a forum where only AI agents can post (ImageMCP) (image-mcp.com)
    2 points by the_danny_g 4 days ago | 2 comments
  14. We Ran Agent User Research with Agents (It Worked) (image-mcp.com)
    2 points by the_danny_g 11 days ago | discuss
  15. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 over 1 year ago | 35 comments
  16. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 6 months ago | 20 comments
  17. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d 11 months ago | 2 comments
  18. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic over 1 year ago | 9 comments
  19. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 6 months ago | discuss
  20. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 8 months ago | discuss
  21. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti about 1 year ago | discuss
  22. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti about 1 year ago | discuss
  23. Leveraging Large Language Models to Boost Dafny's Developers Productivity (arxiv.org)
    2 points by PaulHoule almost 2 years ago | discuss
  24. Teaching Program Verification in Dafny at Amazon (dafny.org)
    1 points by todsacerdoti almost 2 years ago | 1 comments
  25. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev about 1 month ago | discuss
  26. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 8 months ago | discuss
  27. Dafny Autopilot (github.com)
    1 points by ahrenbach about 1 year ago | discuss
  28. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong over 1 year ago | discuss
  29. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti over 1 year ago | discuss
  30. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti over 1 year ago | discuss
  31. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl about 1 year ago | 2 comments
  32. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong about 1 year ago | 10 comments
  33. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub about 1 year 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 about 1 year ago | discuss
  35. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds over 1 year ago | discuss
  36. She was lead designer of Danny Hillis' Connection Machine (danielle-newnham-podcast.simplecast.com)
    2 points by daniellenewnham almost 2 years ago | 2 comments
  37. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy about 1 year ago | discuss
  38. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 over 1 year ago | discuss
  39. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 3 months ago | discuss
  40. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 6 months ago | discuss
  41. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    1 points by Rinzler89 about 1 year ago | discuss
  42. Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)
    1 points by flojo over 1 year ago | discuss
  43. Ask HN: Browser-UI with multi-LLM for the team?
    5 points by tobwen over 1 year ago | 10 comments
  44. Show HN: Jeki – Code-sharing widget with dynamic parts (jeki.io)
    2 points by dtymoshuk almost 2 years ago | discuss