Ironclad – formally verified, real-time capable, Unix-like OS kernel

Marko – A declarative, HTML‑based language

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

Study identifies weaknesses in how AI systems are evaluated

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

WriterdeckOS

Control structures in programming languages: from goto to algebraic effects

Judge says Education Dept partisan out-of-office emails violated First Amendment

Open-source communications by bouncing signals off the Moon

Avería: The Average Font (2011)

IP Blocking the UK Is Not Enough to Comply with the Online Safety Act

Cloudflare scrubs Aisuru botnet from top domains list

When a “feature” is worse than a bug

Humanity's Endgame

My first fifteen compilers (2019)

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]

Valdi – A cross-platform UI framework that delivers native performance

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

Why is Zig so cool?

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

Ticker: Don't die of heart disease

Opencloud – an alternative to Nextcloud written in Go