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

WriterdeckOS

Characterizing the American Upper Paleolithic

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

Control structures in programming languages: from goto to algebraic effects

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

Avería: The Average Font (2011)

Cloudflare scrubs Aisuru botnet from top domains list

Open-source communications by bouncing signals off the Moon

My first fifteen compilers (2019)

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

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

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

Ticker: Don't die of heart disease

Why is Zig so cool?

How to declutter, quiet down, and take the AI out of Windows 11 25H2

Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies

Syntax and Semantics of Programming Languages

Opencloud – an alternative to Nextcloud written in Go

52 Year old data tape could contain Unix history

Myna: Monospace typeface designed for symbol-heavy programming languages