Hackernews posts about Dafny

1. Danny McBride's Solution to the Masculinity Crisis (www.newyorker.com)
   2 points by petethomas 11 days ago | discuss
2. Show HN: SQLFlow (DuckDB for streaming data) Go Rewrite 10x Throughput (turbolytics.io)
   2 points by dm03514 18 days ago | discuss
3. Ask HN: Where do I go?
   3 points by dannydark1 17 days ago | discuss
4. CVBranch – Resume tailoring for software engineers and IT job seekers (cvbranch.com)
   2 points by danytrakhtenber 8 days ago | discuss
5. Protocols for People: AI, the Internet and the IETF (digitalmedusa.org)
   2 points by dannyobrien 17 days ago | discuss
6. Show HN: Live dashboard of Great Britain's electricity grid (trydan.uk)
   2 points by dannyducko 26 days ago | discuss
7. Noetive: Operational Intelligence for the Physical Economy (eclipse.capital)
   1 points by dannycastonguay 1 day ago | discuss
8. A dead man's switch with client-side crypto and an offline decryptor (etergis.com)
   1 points by dannybcarrjr 3 days ago | discuss
9. Dafny: Verification-Aware Programming Language (dafny.org)
   110 points by handfuloflight 9 months ago | 33 comments
10. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers over 1 year ago | 20 comments
11. Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (www.doc.ic.ac.uk)
    42 points by matt_d over 1 year ago | 2 comments
12. Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com)
    5 points by namin 5 months ago | discuss
13. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points by namin 9 months ago | discuss
14. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points by namin 8 months ago | 2 comments
15. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
    4 points by namin 5 months ago | discuss
16. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 over 1 year ago | discuss
17. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool over 1 year ago | discuss
18. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti almost 2 years ago | discuss
19. Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)
    2 points by kevinkibeom 5 months ago | 1 comments
20. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid 9 months ago | 1 comments
21. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti almost 2 years ago | discuss
22. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
    1 points by todsacerdoti 7 months ago | discuss
23. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 11 months ago | discuss
24. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 over 1 year ago | discuss
25. Show HN: Forall – An AI coding agent that generates machine-checkable proofs (github.com)
    11 points by Nolan_Lwin 2 months ago | discuss
26. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl almost 2 years ago | 2 comments
27. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    17 points by thunderbong almost 2 years ago | 10 comments
28. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    4 points by tehnub almost 2 years ago | 1 comments
29. TIL Danny Trejo has been in over 353 movies, and IMDB tested his knowledge (old.reddit.com)
    4 points by Bluestein almost 2 years ago | discuss
30. SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
    2 points by matt_d 3 months ago | discuss
31. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy almost 2 years ago | discuss
32. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw about 1 year ago | discuss
33. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti over 1 year ago | discuss
34. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    1 points by Rinzler89 almost 2 years ago | discuss
35. Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox (github.com)
    327 points by isitcontent 7 months ago | 40 comments
36. Show HN: Tangent – Security log pipeline powered by WASM (github.com)
    28 points by ethanblackburn 10 months ago | 2 comments
37. Show HN: Blamo A vibecoded app for vibecoding vibe games (www.blamo.ai)
    11 points by semateos 4 months ago | 10 comments
38. Show HN: Tools for Humans – Public Tracker for Workflows (turboops.io)
    7 points by dm03514 9 months ago | discuss