Hackernews posts about Dafny

1. 01
   

   newEric Bauza, Voice of Bugs Bunny and Daffy Duck, Dies at 46www.washingtonpost.com

   ▲ 6bookofjoe8d💬 2savesaved
2. 02
   

   newDanny Ische draws pixels, cross-stitch and paperclips – all with a trusty pencilwww.creativeboom.com

   ▲ 3andsoitis22ddiscusssavesaved
3. 03
   

   newShow HN: Monitor Postgres Healthgithub.com

   ▲ 2dm0351421ddiscusssavesaved
4. 04
   

   newShow HN: Control – Data Observability for Postgres, Pipelines and CDCcontrol.turbolytics.io

   ▲ 1dm035145d💬 1savesaved
5. 05
   

   newShow HN: Mistake Trainer – Spaced repetition from your own Lichess gamesmistake-trainer.pages.dev

   ▲ 1pandigital30hdiscusssavesaved
6. 06
   

   newBinance gave Russia data on IT worker jailed 13 years for $700 Ukraine donationmeduza.io

   ▲ 29souvlakee7ddiscusssavesaved
7. 07
   

   newMorph Map – Visualise your codebase, sketch a refactor, and export the promptgithub.com

   ▲ 2dannynatha19ddiscusssavesaved
8. 08
   

   newNew CRAM method offers giant boost to compressed memory readswww.tomshardware.com

   ▲ 61danny0026d💬 25savesaved
9. 09
   

   newChina proposes export controls on open weight modelsreddit.com

   ▲ 5dannyw18ddiscusssavesaved
10. 10
    

    newBlack Octobermili.dev

    ▲ 4dannygreer10d💬 1savesaved
11. 11
    

    newCanva's image model reaches #4 on Design Arenatwitter.com

    ▲ 3dannyw11ddiscusssavesaved
12. 12
    

    newPersonalization Needs to Be Trainedinnodata.com

    ▲ 2dannyrosen19ddiscusssavesaved
13. 13
    

    newUnintentional Type Theoryncatlab.org

    ▲ 2danny0024ddiscusssavesaved
14. 14
    

    newOpenAI models hacked a crypto wallet and breached more websitesarstechnica.com

    ▲ 1dannyw15d💬 2savesaved
15. 15
    

    newShow HN: BoothWall – open-source live photo wall for Fire TV and any browsergithub.com

    ▲ 1dannyded47hdiscusssavesaved
16. 16
    

    newShow HN: Sturnus, a latency-based LLM load balancergithub.com

    ▲ 1dannyboland8ddiscusssavesaved
17. 17
    

    newShow HN: Travel Like a Celebritywherecelebsgo.com

    ▲ 1danny02114ddiscusssavesaved
18. 18
    

    newDafny: Verification-Aware Programming Languagedafny.org

    ▲ 110handfuloflight321d💬 33savesaved
19. 19
    

    newTeaching Program Verification in Dafny at Amazon (2023)dafny.org

    ▲ 61Jtsummers518d💬 20savesaved
20. 20
    

    newCompiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]www.doc.ic.ac.uk

    ▲ 42matt_d651d💬 2savesaved
21. 21
    

    newShow HN: LemmaScript, a verification toolchain for TypeScript via Dafnygithub.com

    ▲ 5namin196ddiscusssavesaved
22. 22
    

    newFrom Intent to Proof: Dafny Verification for Web Appsmidspiral.com

    ▲ 5namin312ddiscusssavesaved
23. 23
    

    newA Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMsgithub.com

    ▲ 4namin270d💬 2savesaved
24. 24
    

    newLemmaScript: A Verification Toolchain for TypeScript via Dafnymidspiral.com

    ▲ 4namin194ddiscusssavesaved
25. 25
    

    newGetting Started with Dafny: A Guidedafny.org

    ▲ 4gone35503ddiscusssavesaved
26. 26
    

    newGetting started with Dafny: Your first formal proofblog.applied-algorithms.tech

    ▲ 3algorithmsRcool560ddiscusssavesaved
27. 27
    

    newReplacing probabilistic AI with deterministic math and Dafny formal verificationgist.github.com

    ▲ 2kevinkibeom192d💬 1savesaved
28. 28
    

    newTurning Dafny Sets into Sequences [video]www.youtube.com

    ▲ 2larrytheliquid307d💬 1savesaved
29. 29
    

    newLeaning Into the Coding Interview: Lean 4 vs. Dafny cage-matchntaylor.ca

    ▲ 1todsacerdoti261ddiscusssavesaved
30. 30
    

    newFormal Verification of a Token Sale Launchpad: A Compositional Approach in Dafnyarxiv.org

    ▲ 1mrLSD-dev362ddiscusssavesaved
31. 31
    

    newProving a stupid sort algorithm with Dafnyunnamed.website

    ▲ 1fanf2559ddiscusssavesaved
32. 32
    

    newShow HN: Forall – An AI coding agent that generates machine-checkable proofsgithub.com

    ▲ 11Nolan_Lwin110ddiscusssavesaved
33. 33
    

    newAkamai Remembers Danny Lewinwww.akamai.com

    ▲ 32shahargl698d💬 2savesaved
34. 34
    

    newDanny McBride's Solution to the Masculinity Crisiswww.newyorker.com

    ▲ 2petethomas55ddiscusssavesaved
35. 35
    

    newSE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checkerse-radio.net

    ▲ 2matt_d137ddiscusssavesaved
36. 36
    

    newMemoir of chess influencer and cult survivor Danny Renschwww.newyorker.com

    ▲ 1drw413ddiscusssavesaved
37. 37
    

    newDanny O'Brien's Oblomovka: teaching old hippies new trickswww.oblomovka.com

    ▲ 1todsacerdoti524ddiscusssavesaved
38. 38
    

    newShow HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBoxgithub.com

    ▲ 327isitcontent269d💬 40savesaved
39. 39
    

    newShow HN: Tangent – Security log pipeline powered by WASMgithub.com

    ▲ 28ethanblackburn348d💬 2savesaved
40. 40
    

    newShow HN: Blamo A vibecoded app for vibecoding vibe gameswww.blamo.ai

    ▲ 11semateos179d💬 10savesaved
41. 41
    

    newShow HN: Tools for Humans – Public Tracker for Workflowsturboops.io

    ▲ 7dm03514305ddiscusssavesaved
42. 42
    

    newShow HN: I Recreated the Windows Longhorn (2004) Aurora Effect in HTML5 Canvasgithub.com

    ▲ 3AntonioEritas338ddiscusssavesaved
43. 43
    

    newShow HN: SQLFlow (DuckDB for streaming data) Go Rewrite 10x Throughputturbolytics.io

    ▲ 2dm0351463ddiscusssavesaved
44. 44
    

    newShow HN: Astro Editor – Free macOS Markdown editor for Astro content collectionsgithub.com

    ▲ 2dannysmith342ddiscusssavesaved
45. 45
    

    newShow HN: I created a SEO machine for Next.jswww.seosys.tech

    ▲ 1Ad_stefnum670ddiscusssavesaved
46. 46
    

    newMacro Splats 2025danybittel.ch

    ▲ 425danybittel387d💬 71savesaved
47. 47
    

    newPrinting Gaussian Splatswww.patreon.com

    ▲ 375ilnmtlbnm135d💬 46savesaved

· edit