Blog
Notes on networks, distributed systems, multi-agent systems, machine learning, and the engineering of intelligence.
-
There Is No Now
A message can arrive on time and still belong to a world that has already changed. What a paper from 1978 can teach us about group chats, shared decisions, and the computers we trust to act for us.
-
Every Program Proves Something
Two people, decades apart, never working on the same problem, build the same machine. Notes on the Curry-Howard correspondence and the fifty-year two-way traffic between logic and programming.
-
How to Trust a Noisy World
Claude Shannon showed how a message could survive an imperfect world. The beauty of his work is in how much it lets us preserve.
-
A Machine That Can Have Grandchildren
Von Neumann's reproducing automata meet the engineering of interstellar probes: closure, energy, waste heat, delayed messages, and what it takes for a machine to build its own successor somewhere else.
-
Von Neumann, Automata, and the Problem of Organized Complexity
A close reading of von Neumann's 1948 lecture: reliability, error, representation, universal construction and self reproduction, and why the interesting properties of a machine live in its organization rather than its parts.
-
A Network That Can Wait
Store and Forward turns waiting into a network operation. Once routes can cross time as well as space, satellites, vehicles, and disconnected machines become part of the same fabric.
-
All the Letters of AGI
Generality is a greedy play when the world is partly observable and the budget is finite. Specialization, and wiring specialists together, is how real systems afford intelligence.