-
Ironclad – formally verified, real-time capable, Unix-like OS kernel
-
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
-
Marko – A declarative, HTML‑based language
-
Study identifies weaknesses in how AI systems are evaluated
-
WriterdeckOS
-
Largest Cargo Sailboat Completes Historic First Atlantic Crossing
-
Control structures in programming languages: from goto to algebraic effects
-
US Air Traffic Controllers Start Resigning as Shutdown Bites
-
What Hallucinogens Will Make You See
-
Avería: The Average Font (2011)
-
Cloudflare scrubs Aisuru botnet from top domains list
-
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
-
My first fifteen compilers (2019)
-
Open-source communications by bouncing signals off the Moon
-
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
-
How to declutter, quiet down, and take the AI out of Windows 11 25H2
-
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
-
Syntax and Semantics of Programming Languages
-
Valdi – A cross-platform UI framework that delivers native performance
-
Ticker: Don't die of heart disease
-
Why is Zig so cool?
-
I Want You to Understand Chicago
-
52 Year old data tape could contain Unix history
-
Myna: Monospace typeface designed for symbol-heavy programming languages
-
Cekura (YC F24) Is Hiring
-
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
-
Computational Complexity of Air Travel Planning (2003) [pdf]
-
How did I get here?
-
Immutable Software Deploys Using ZFS Jails on FreeBSD
-
The modern homes hidden inside ancient ruins