Top stories for one week

ODF is the future, OOXML is the past

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types

The Cloud: The dystopian book that changed Germany (2022)

Browser-based SFX synthesizer using WASM/Zig

Single ATC controller was managing LaGuardia Airport at time of Air Canada crash [video]

Trump Postpones Iran Energy Strikes for Five Days, Citing "Productive" Talks

Show HN: I built an OS that is pure AI

Be careful: chatting with AI about your case is discoverable

Japan research uncovers how coffee constituent limit growth of colorectal cancer

Judge's Remarks on Anthropic vs. Pentagon

Grove: Distributed ML Training over AirDrop

US SEC's ex-enforcement chief clashed with bosses over cases before leaving

ARM to make processors for first time in their history

Ask HN: Is anyone here also developing "perpetual AI psychosis" like Karpathy?

Clojure: The Documentary (April 16th) [video]

GLM-5.1 Is Available

Anthropic is preparing to release new models – Mythos and Capybara

People Cheering Verdicts Against Meta Should Understand What Theyre Cheering For

We're Saying Goodbye to Sora

Kimchi-derived probiotic found to promote excretion of intestinal nanoplastics

21 22 23 24 25 26 27 28 29 30