Hackernews posts about Dafny

1. Show HN: Forall – An AI coding agent that generates machine-checkable proofs (github.com)
   11 points by Nolan_Lwin 21 days ago | discuss
2. How to Write an Email (blog.dannycastonguay.com)
   97 points by speckx 27 days ago | 52 comments
3. A Deep Logo Study (dannyspina.com)
   16 points by nate 13 days ago | 8 comments
4. We used to be able to buy things in this country (dannykatch.substack.com)
   8 points by mikestew 8 days ago | 1 comments
5. We used to be able to buy things in this country (dannykatch.substack.com)
   6 points by sudobash1 9 days ago | 1 comments
6. We used to be able to buy things in this country (dannykatch.substack.com)
   4 points by latexr 8 days ago | 2 comments
7. Bound – A deterministic control harness for AI agents (github.com)
   2 points by joopie-boy 18 days ago | 1 comments
8. Show HN: News headline inside coding agent (github.com)
   2 points by dannylee1020 8 days ago | discuss
9. Entrepreneurs Capture the In-Between (blog.dannycastonguay.com)
   2 points by seanXSL 27 days ago | discuss
10. Fable Advisor (github.com)
    2 points by handfuloflight 29 days ago | discuss
11. Used Claude to make a screen time app that let's me exclude certain apps (github.com)
    1 points by daanyaalss 2 days ago | 1 comments
12. Why some DVLA digital services don't work at night (dafyddvaughan.uk)
    1 points by herbertl 17 days ago | 1 comments
13. Show HN: An MCP to create and call Playwright scripts as tools on your extension (reduck.ai)
    3 points by DanyWin 21 days ago | discuss
14. PWA-check: an automated PWA health check tool (github.com)
    2 points by dannymoerkerke 28 days ago | 1 comments
15. IronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memory (near.ai)
    2 points by dannycb 6 days ago | discuss
16. Show HN: Connect Claude to LinkedIn, Twitter, etc. with Reduck MCP (reduck.ai)
    2 points by DanyWin 14 days ago | discuss
17. Agntcy – Open Infrastructure for the Internet of Agents (docs.agntcy.org)
    2 points by dannyobrien 20 days ago | discuss
18. Show HN: I built a house-hack calculator that told me to keep renting (therenthacker.com)
    2 points by dannybrown540 20 days ago | discuss
19. Dafny: Verification-Aware Programming Language (dafny.org)
    110 points by handfuloflight 8 months ago | 33 comments
20. Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
    61 points by Jtsummers about 1 year ago | 20 comments
21. 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
22. Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
    35 points by misonic almost 2 years ago | 9 comments
23. Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com)
    5 points by namin 4 months ago | discuss
24. From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
    5 points by namin 7 months ago | discuss
25. A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
    4 points by namin 6 months ago | 2 comments
26. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
    4 points by namin 3 months ago | discuss
27. Getting Started with Dafny: A Guide (dafny.org)
    4 points by gone35 about 1 year ago | discuss
28. Getting started with Dafny: Your first formal proof (blog.applied-algorithms.tech)
    3 points by algorithmsRcool over 1 year ago | discuss
29. Verified Programming in Dafny [pdf] (www.doc.ic.ac.uk)
    3 points by todsacerdoti almost 2 years ago | discuss
30. Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)
    2 points by kevinkibeom 3 months ago | 1 comments
31. Turning Dafny Sets into Sequences [video] (www.youtube.com)
    2 points by larrytheliquid 7 months ago | 1 comments
32. Dafny Standard Libraries (dafny.org)
    2 points by todsacerdoti almost 2 years ago | discuss
33. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
    1 points by todsacerdoti 6 months ago | discuss
34. Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
    1 points by mrLSD-dev 9 months ago | discuss
35. Proving a stupid sort algorithm with Dafny (unnamed.website)
    1 points by fanf2 over 1 year ago | discuss
36. Dafny Autopilot (github.com)
    1 points by ahrenbach almost 2 years ago | discuss
37. Akamai Remembers Danny Lewin (www.akamai.com)
    32 points by shahargl over 1 year ago | 2 comments
38. 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
39. 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
40. 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
41. SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
    2 points by matt_d about 2 months ago | discuss
42. TEDxCaltech – Danny Hillis – Reminiscing about Richard Feynman [video] (www.youtube.com)
    2 points by rbanffy almost 2 years ago | discuss
43. Memoir of chess influencer and cult survivor Danny Rensch (www.newyorker.com)
    1 points by drw 11 months ago | discuss
44. Danny O'Brien's Oblomovka: teaching old hippies new tricks (www.oblomovka.com)
    1 points by todsacerdoti about 1 year ago | discuss
45. 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
46. Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox (github.com)
    327 points by isitcontent 6 months ago | 40 comments
47. Show HN: Tangent – Security log pipeline powered by WASM (github.com)
    28 points by ethanblackburn 9 months ago | 2 comments
48. Show HN: Blamo A vibecoded app for vibecoding vibe games (www.blamo.ai)
    11 points by semateos 3 months ago | 10 comments