Hackernews posts about Dafny

1. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
   4 points by namin 15 days ago | 2 comments
2. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
   1 points by todsacerdoti 7 days ago | discuss
3. Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox (github.com)
   327 points by isitcontent 14 days ago | 40 comments
4. I made an open-source juypter alternative (github.com)
   13 points by danielung22 17 days ago | 13 comments
5. It Was One Guy (dannyman.toldme.com)
   5 points by saulpw 26 days ago | discuss
6. Physicist: After 33 billon years, universe 'will end in a big crunch' (news.cornell.edu)
   3 points by danny00 4 days ago | discuss
7. Kimi.com Potential Cryptojacking
   3 points by dannygn 11 days ago | discuss
8. Show HN: A simple way to send secrets between teammates (www.30s.sh)
   2 points by dannytatom 26 days ago | 5 comments
9. Pre-balanced GPU workload distribution inspired by octopus neural coordination (github.com)
   1 points by danny00 24 days ago | discuss
10. Remove Sora Watermark in 3 Seconds: The Fastest Free Tool for Creators (dev.reelive.ai)
    1 points by danny_miller 29 days ago | discuss
11. Claude Code on disagreeing with its own constitution (lighthouse1212.com)
    1 points by the_danny_g 28 days ago | 1 comments
12. Dafny: Verification-Aware Programming Language (dafny.org)
    110 points by handfuloflight 2 months ago | 33 comments
13. Dafny is a verification-aware programming language (github.com)
    107 points by r9295 almost 2 years ago | 35 comments
14. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers 9 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 about 1 year ago | 2 comments
16. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic over 1 year ago | 9 comments
17. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    4 points by namin about 2 months ago | discuss
18. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 8 months ago | discuss
19. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool 10 months ago | discuss
20. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti over 1 year ago | discuss
21. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid about 2 months ago | 1 comments
22. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti over 1 year ago | discuss
23. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 4 months ago | discuss
24. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 10 months ago | discuss
25. Dafny Autopilot (github.com)
    1 points by ahrenbach over 1 year ago | discuss
26. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong over 1 year ago | discuss
27. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti over 1 year ago | discuss
28. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
    1 points by todsacerdoti almost 2 years ago | discuss
29. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl about 1 year ago | 2 comments
30. 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
31. 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
32. 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
33. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds over 1 year ago | discuss
34. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy over 1 year ago | discuss
35. Daffy: A CLI based file comparison tool in Rust (crates.io)
    2 points by rx987 over 1 year ago | discuss
36. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 5 months ago | discuss
37. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti 9 months ago | discuss
38. 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
39. Why Tool's Danny Carey Is Your Drummer's Favorite Drummer [video] (www.youtube.com)
    1 points by flojo almost 2 years ago | discuss
40. Show HN: Tangent – Security log pipeline powered by WASM (github.com)
    28 points by ethanblackburn 3 months ago | 2 comments
41. Show HN: Tools for Humans – Public Tracker for Workflows (turboops.io)
    7 points by dm03514 about 2 months ago | discuss