formal methods
11 feeds in the directory cover this.
Subscribe:.rss.atom.json.m3u.pls
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
Metadata
On distributed systems broadly defined and other curiosities. The opinions on this site are my own.
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.
Andy Sylvester's Web
Software development, music, and the World Wide Web
Assistant to the Proof Assistant
Writings on computer stuff.
Assistant to the Proof Assistant
Writings on computer stuff.
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics