Hacker News with Generative AI

How Arthur Conan Doyle Explored Men's Mental Health Through Sherlock Holmes (scienceclock.com)
Linux Kernel Explorer (reverser.dev)
Penpot: The Open-Source Figma (github.com/penpot)
Ray Marching Soft Shadows in 2D (rykap.com)
Music eases surgery and speeds recovery, study finds (bbc.com)
Interactive λ-Reduction (deltanets.org)
DIY NAS: 2026 Edition (briancmoses.com)
G0-G3 corners, visualised: learn what "Apple corners" are (printables.com)
Willis Whitfield: A simple man with a simple solution that changed the world (sandia.gov)
Closest Harmonic Number to an Integer (johndcook.com)
S&box is now an open source game engine (sbox.game)
Coq: The World's Best Macro Assembler? [pdf] [2013] (nickbenton.name)
Gemini CLI Tips and Tricks for Agentic Coding (github.com/addyosmani)
Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
Running Unsupported iOS on Deprecated Devices (nyansatan.github.io)
$96M AUD revamp of Bom website bombs out on launch (bbc.com)
Migrating the main Zig repository from GitHub to Codeberg (ziglang.org)
How/why to sweep async tasks under a Postgres table (taylor.town)
A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards) (benjoffe.com)
Voyager 1 is about to reach one light-day from Earth (scienceclock.com)
Technical Deflation (benanderson.work)
Last Issue of "ECMAScript News" (ecmascript.news)
Fara-7B: An efficient agentic model for computer use (github.com/microsoft)
Show HN: Era – Open-source local sandbox for AI agents (github.com/BinSquare)
Can you take an ox to Oxford? (alexwlchan.net)
C100 Developer Terminal (caligra.com)
The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop (arstechnica.com)
Bring bathroom doors back to hotels (bringbackdoors.com)