I am Byron Ellacott. I have an interest in type systems, algebraic theories of computing, and 1980s era computers, and so those are typically the things I write about.

Some parts of this site are created by others.