Top of the day

Iniquity 3: A re-imagining of the iconic BBS software

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS

Ask HN: Lightweight Word Processors?

Show HN: TypeScript YAML Plugin – Typed .yaml imports with autocomplete

Mobile industry charts course to smartphone satellite broadband

Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)

Buy now, pay later is taking over the world. Good

Thursday briefing: How global preparedness prevented a tsunami tragedy

Show HN: Storm MCP – Custom Gateways for Verified MCP Servers

The Disturbing Implications of Jim Acosta's AI Interview

As AI Changes Internet Search, Reddit Lies in a Sweet Spot

Forward Deployed Engineering Principles

UK's Ministry of Defence pins hopes on AI to stop the next email blunder

Grid-Scale Battery Stabilizes Scottish Power Supply

I Built a Ballistic Missile Defense Simulator in a Browser

Who Got Arrested in the Raid on the XSS Crime Forum?

The how and why of GitHub to Codeberg

Faster Python: Unlocking the Python Global Interpreter Lock – The PyCharm Blog

Weeding Is Fundamental

19
20
21
22
23
24
25
26
27
28