What Deleuze and Guattari's assemblage names in a multiagent system, and the formal theories, from session types to Dec-POMDPs, that let us reason about it

Places, transitions, and the token game; why fixed topology buys decidability, and what workflow nets make of it

An introduction to Milner's calculus of mobile processes, and what it has to say about actors, agents, and orchestration

Using Elixir's homoiconic AST as a query language—from IEx exploration to structural fingerprinting

An introduction to Backus-Naur Form notation for formally specifying programming language syntax

An introduction to database normalisation theory from First Normal Form through Boyce-Codd Normal Form, with practical examples and historical context.

Karp's 21 NP-complete problems and why reductions matter for algorithms and complexity

Why erasing bits costs energy, and how reversible computing tries to avoid it

Using async generators, for-await loops, and streams to handle data incrementally

The foundational 1987 paper introducing linear logic