CuBit: A General-Purpose Operating System in SPARK/Ada - The AdaCore Blog
A gardening guide for your mind • Mental Nodes
About Cheapskate's Guide to Computers and the Internet
GitHub - HeyPuter/puter: 🌐 The Internet OS! Free, Open-Source, and Self-Hostable.
Heterodox Technology is a link log about alternatives to the Windows / Intel / ARM / Android / MacOS / HTTPS status quo.