Hackernews posts about Dafny

1. SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
   2 points by matt_d 3 days ago | discuss
2. Printing Gaussian Splats (www.patreon.com)
   11 points by ilnmtlbnm about 6 hours ago | discuss
3. KDB+ Database: From Finance to Formula 1 (2019) (prohoster.info)
   4 points by tosh 1 day ago | discuss
4. Show HN: Ril: a parallel data streaming tool for Python (github.com)
   2 points by dpesic 5 days ago | discuss
5. Audit checklists for AI coding agents – 30 invariants, any language (github.com)
   2 points by danygiguere 7 days ago | discuss
6. Murph - local agent for async handoffs in Slack and Discord (github.com)
   2 points by dannylee1020 27 days ago | discuss
7. Constrained Modeling for Coding Agents (github.com)
   1 points by dannylee1020 3 days ago | discuss
8. Claude, Teach Me Something (hugotunius.se)
   36 points by dannyboland 15 days ago | 5 comments
9. I Play Video Games with Spinal Muscular Atrophy (www.openassistivetech.org)
   6 points by dannyobrien 3 days ago | 2 comments
10. Show HN: Email and identity stack for AI Agents (mailgent.dev)
    4 points by DannyHeng 13 days ago | discuss
11. Atomically Precise Mechanosynthesis of Carbon Structures on Hydrogenated Si(100) (www.somewhereville.com)
    4 points by dannyobrien 25 days ago | discuss
12. Lynote Humanize Text – Open-source AI text humanization toolkit (github.com)
    3 points by Danny6969 28 days ago | discuss
13. Operator or acquirer wanted for pre-revenue SMB SaaS (lucrocrm.com)
    2 points by danyorke 8 days ago | discuss
14. Verifiable partial data for peer-to-peer systems (bab-hash.org)
    2 points by dannyobrien 10 days ago | discuss
15. Show HN: HypeCheck – I built a tool that fact-checks supplement marketing (hypecheck.io)
    1 points by dannykim32 27 days ago | discuss
16. Dafny: Verification-Aware Programming Language (dafny.org)
    110 points by handfuloflight 6 months ago | 33 comments
17. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers about 1 year ago | 20 comments
18. 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
19. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic almost 2 years ago | 9 comments
20. Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com)
    5 points by namin 2 months ago | discuss
21. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points by namin 6 months ago | discuss
22. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points by namin 5 months ago | 2 comments
23. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
    4 points by namin about 2 months ago | discuss
24. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 about 1 year ago | discuss
25. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool about 1 year ago | discuss
26. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti over 1 year ago | discuss
27. Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)
    2 points by kevinkibeom about 2 months ago | 1 comments
28. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid 6 months ago | 1 comments
29. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti over 1 year ago | discuss
30. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
    1 points by todsacerdoti 4 months ago | discuss
31. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 8 months ago | discuss
32. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 about 1 year ago | discuss
33. Dafny Autopilot (github.com)
    1 points by ahrenbach almost 2 years ago | discuss
34. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by thunderbong almost 2 years ago | discuss
35. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    1 points by todsacerdoti almost 2 years ago | discuss
36. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl over 1 year ago | 2 comments
37. 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
38. 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
39. 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
40. Lisa Kudrow Brings Her Daffy Charm to 'Time Bandits' (www.nytimes.com)
    3 points by mooreds almost 2 years ago | discuss
41. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy over 1 year ago | discuss
42. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 9 months ago | discuss
43. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti about 1 year ago | discuss
44. 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
45. Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox (github.com)
    327 points by isitcontent 4 months ago | 40 comments