Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
simonwillison.net
Largest cargo sailboat completes first Atlantic crossing
marineinsight.com
Marko – A declarative, HTML‑based language
markojs.com
Runc breaks pods when CPU requests aren't multiples of 10
github.com
Tabloid: The Clickbait Headline Programming Language
tabloid.vercel.app
Defeating Kaslr by Doing Nothing at All
googleprojectzero.blogspot.com
Forth – is it still relevant?
github.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Open-source communications by bouncing signals off the Moon
open.space
Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
github.com
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Avería: The Average Font (2011)
iotic.com
Study finds memory decline surge in young people
onepercentrule.substack.com
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Show HN: Geofenced chat communities anyone can create
vicinity.social
How to build your own VPN, or: the history of WARP
blog.cloudflare.com
Syntax and Semantics of Programming Languages (1995)
homepage.cs.uiowa.edu
Grok 4 Fast now has 2M context window
docs.x.ai
Show HN: PingStalker – A a macOS tool for network engineers
pingstalker.com
Oh yay. More AI powered slop.
And I do mean slop.
It was fixed already: https://github.com/opencontainers/runc/pull/4751
So the bot goes ahead and spams every project that has already done the work. And unrelated ones.
Whilst also leaking that this is to do with a GEO-location project building a cluster on AWS, for Accenture. Probably government contract.