Hacker News Digest · November 09, 2025

Grok 4 Fast now has 2M context window docs.x.ai / 13 comments

Tabloid: The Clickbait Headline Programming Language tabloid.vercel.app / 12 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel ironclad-os.org / 36 comments

Boring Company fined nearly $500K after it dumped drilling fluids into manholes yahoo.com / 14 comments

Marko – A declarative, HTML‑based language markojs.com / 115 comments

Largest cargo sailboat completes first Atlantic crossing marineinsight.com / 102 comments

Study identifies weaknesses in how AI systems are evaluated oii.ox.ac.uk / 163 comments

Syntax and Semantics of Programming Languages (1995) homepage.cs.uiowa.edu / 12 comments

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs downtowndougbrown.com / 0 comments

Control structures in programming languages: from goto to algebraic effects xavierleroy.org / 8 comments

Last updated: 2025-11-09 05:02:11 UTC