formal methods
7 feeds in the directory cover this.
SpeyTech - Technical Articles
Technical articles on deterministic computing, safety-critical systems, and production AI architecture.
thepragmaticquant
Building tools and writing about them honestly.
William Schultz
My personal website.
Tack, Hunt, Pool
Sourceless
My personal site and the code that generates it
Unfooling
Writing about computers and other beautiful and worthwhile things.
Finite Simulations
An amazing website.
Machine-readable: JSON · all topics