About Me

I’m a software engineer. In my free time I write code, a blog, fiction, and build a programming language.

I have too many interests to list exhaustively, but this is a representative sample of how I spend my time:

  1. Software engineering, theory and practice. Compilers, programming languages, type systems, parsers; not abstractly but with the goal of improving engineering practices.
  2. Data modeling, ontologies, logic, information management: choosing the right formalisms to model the world.
  3. Self-improvement: autodidactism, lifting, productivity, time-tracking.
  4. The future: what does life look like after biology, and what does the universe look like after intelligence?

If this is interesting to you, send me an email.

Contact

About This Site

This is a repository for my projects, blog, and fiction.

Best Posts

  1. Effective Spaced Repetition
  2. Unbundling Tools for Thought
  3. Introducing Austral: A Systems Language with Linear Types and Capabilities
  4. Language Pragmatics Engineering
  5. Lessons from Writing a Compiler
  6. Signed Integers are Asymmetrical

Colophon

This website is built with Emacs, Jekyll, and Sass. Hosting is provided by GitHub Pages.

Icon Sources

  1. About: Pandora by John William Waterhouse.
  2. Portfolio: An Iron Forge by Joseph Wright of Derby.
  3. Articles: Jason and Medea by John William Waterhouse.
  4. Fiction: The Mermaid by John William Waterhouse.