My name is Forest Belton. I'm a software engineer interested in many things, but mostly type theory and the foundations of mathematics. My current and past projects are available on my GitHub.

Some of my recent posts are:

For older posts, please see the archives.
An RSS feed for this site is available here.