Hackernews posts about Dafny

1. Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com)
   5 points by namin 16 days ago | discuss
2. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
   4 points by namin 15 days ago | discuss
3. Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)
   2 points by kevinkibeom 13 days ago | 1 comments
4. English's New Consonant (dannylbate.substack.com)
   10 points by HeliumHydride 20 days ago | discuss
5. Nikita Bier Runs X. Give Me a Few Hours. Iranian flag change and account purge (dannykpolitics.substack.com)
   6 points by logcode 8 days ago | discuss
6. The Etymological Problem with Apples (dannybate.com)
   1 points by Anon84 23 days ago | discuss
7. The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com)
   30 points by danny00 4 days ago | discuss
8. Haskell library for non-deterministic pattern matching (github.com)
   3 points by danny00 18 days ago | discuss
9. Do you think AI Agents need an identity?
   2 points by DannyHeng 4 days ago | 1 comments
10. Show HN: Seeker – Career Routing Engine (www.seekerscore.com)
    2 points by danylchukllc 4 days ago | 1 comments
11. Seeker, a job matcher that explains why roles fit (www.seekerscore.com)
    2 points by danylchukllc 16 days ago | discuss
12. My house-hack calculator told me to rent. Barely. (therenthacker.com)
    1 points by dannybrown540 1 day ago | discuss
13. Dafny: Verification-Aware Programming Language (dafny.org)
    110 points by handfuloflight 5 months ago | 33 comments
14. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 11 months ago | 20 comments
15. 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
16. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic almost 2 years ago | 9 comments
17. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points by namin 4 months ago | discuss
18. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points by namin 3 months ago | 2 comments
19. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 11 months ago | discuss
20. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool about 1 year ago | discuss
21. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti over 1 year ago | discuss
22. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid 4 months ago | 1 comments
23. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti over 1 year ago | discuss
24. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
    1 points by todsacerdoti 3 months ago | discuss
25. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 6 months ago | discuss
26. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 about 1 year ago | discuss
27. Dafny Autopilot (github.com)
    1 points by ahrenbach over 1 year ago | discuss
28. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong almost 2 years ago | discuss
29. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti almost 2 years ago | discuss
30. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti almost 2 years ago | discuss
31. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl over 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 over 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 over 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 over 1 year ago | discuss
35. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds almost 2 years ago | discuss
36. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy over 1 year ago | discuss
37. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 almost 2 years ago | discuss
38. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 8 months ago | discuss
39. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 11 months ago | discuss
40. 28 Years Later: Danny Boyle's New Zombie Flick Was Shot on an iPhone 15 (www.wired.com)
    1 points by Rinzler89 over 1 year ago | discuss
41. Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox (github.com)
    327 points by isitcontent 3 months ago | 40 comments
42. Show HN: Tangent – Security log pipeline powered by WASM (github.com)
    28 points by ethanblackburn 6 months ago | 2 comments