Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Marko – A declarative, HTML‑based language
markojs.com
Largest Cargo Sailboat Completes Historic First Atlantic Crossing
marineinsight.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Characterizing the American Upper Paleolithic
science.org
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
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
boston25news.com
Avería: The Average Font (2011)
iotic.com
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
Open-source communications by bouncing signals off the Moon
open.space
My first fifteen compilers (2019)
blog.sigplan.org
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
prestonbyrne.com
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
Valdi – A cross-platform UI framework that delivers native performance
github.com
Ticker: Don't die of heart disease
myticker.com
How to declutter, quiet down, and take the AI out of Windows 11 25H2
arstechnica.com
Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies
hollywoodreporter.com
Syntax and Semantics of Programming Languages
homepage.cs.uiowa.edu
Opencloud – an alternative to Nextcloud written in Go
github.com
52 Year old data tape could contain Unix history
theregister.com
Myna: Monospace typeface designed for symbol-heavy programming languages
github.com
Building new operating systems seems so ambitious to me. Radiant Computer (https://radiant.computer/) was also recently posted.
What other exciting projects like these exist?