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
\inferconstruct better. Right now it’s extremely ugly, and I have to fill in the top of axioms with manual length declarations.
- Captivate readers with more about my trials and tribulations on this About page.
- Get some of dat sweet sweet SEO going and sell out to my readers with advertising
Feel free to reach out at email@example.com if you’d like to tear my work apart, or if you have any comments! I am hesistant to add comments to my posts directly—you know how the Internet can be.