From ACM communications a sign of the current state of software and #systems #osresearch #docker
https://cacm.acm.org/research/a-decade-of-docker-containers/

How to specify operating systems. A slow start.
https://www.yodaiken.com/2025/10/24/specifications-like-temporal-logic-but-with-ordinary-mathematics/

Free speech enthusiasts encounter people who are not impressed with Donald Trump.

Thanks for your servility Google

AI in action

Auragen computers board wiring

https://spectrum.ieee.org/amp/lean-software-development-2667183018
(via @dabeaz )

Academic Integrity