Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code(github.com)permute602h22
DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It(ciphercue.com)adulion665h48
Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs(github.com)ruhani_grover402h5
Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)(jfrog.com)882542F3884314B353h19
Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser(scalatutorials.com)eranation474d10
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review(fermisense.com)ilreb27013h90
Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules(necroticgnome.com)doener264d11
Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts(arsastronomica.com)sweisman9710h30
Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals(www.rise-reforming.com)george_rose258219h36
Show HN: Yap – OSS on-device voice dictation for macOS with no model to download(github.com)pancomplex8921h32
Show HN: Open-source Cloudflare deployed agent native task management and wiki(tajd.github.io)tajd95h0
Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles(eaton-works.com)EatonZ1611d54
Netflix employee fired for sharing personal details in retreat trust exercise(nypost.com)softwaredoug39116h422
Show HN: BeatFlow: Codex skill for composing music as editable multi-track MIDI(github.com)vaergawdd44h0