Hello! I’m trying out this whole blogging thing, first by writing about nerdy stuff that interests me. We’ll see what happens after that.

On my TODO list to improve this site:

• Figure out how to implement the $\rm\LaTeX$ \infer construct better. Right now it’s extremely ugly, and I have to fill in the top of axioms with manual length declarations.