type theory
16 feeds in the directory cover this.
QA9
Exploring the Computational Logic Literature
Higher Logics
The House Carpenter
Guesses based on what each set of time and change is touching
anarchitekt
Anarchitecture
yager.io :: Will Yager
Assorted Articles and Crazed Ravings From the Website of Will Yager
Twan van Laarhoven's blog
Amelia's Blag: Latest articles
tekne.dev
Blog by Jad Ghalayini
Ryan's Blog
Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy.
Mitchell Is Typing
jcreedcmu.github.io
Occasional blogging
Dogma & Ritual
Recent content on Dogma & Ritual
Jadon
Personal blog on software development, game modding
The If Works
Xoltar
kleisli blog
Applying effect systems and type theory to infrastructure.
Machine-readable: JSON · all topics