Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Tabloid: The Clickbait Headline Programming Language
tabloid.vercel.app
Marko – A declarative, HTML‑based language
markojs.com
Largest cargo sailboat completes first Atlantic crossing
marineinsight.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Syntax and Semantics of Programming Languages (1995)
homepage.cs.uiowa.edu
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Open-source communications by bouncing signals off the Moon
open.space
Avería: The Average Font (2011)
iotic.com
How to build your own VPN, or: the history of WARP
blog.cloudflare.com
Boring Company fined nearly $500K after it dumped drilling fluids into manholes
yahoo.com
IP blocking the UK is not enough to comply with the Online Safety Act
prestonbyrne.com
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]
goskagit.com
My first fifteen compilers (2019)
blog.sigplan.org
When a “feature” is worse than a bug
medium.com
Valdi – A cross-platform UI framework that delivers native performance
github.com
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
Ticker: Don't die of heart disease
myticker.com
This post has the better title, but there is more discussion over at https://news.ycombinator.com/item?id=45861635