Welcome!
This is a blog about a variety of things, but with a bit of a focus on math and programming. It aims to be a small repository of mainly information about small things I stumble through as well as the occasional opinion about something.
It's a small hope that the hours and days I spend debugging and hacking around things help at least one other person.
Note that all posts on this website are available in Markdown form and/or
LaTeX form if you would prefer to consume things without the noise of
HTML/CSS/Javascript getting in the way. Simple change the suffix of a post's
web address to .md
or .tex
. The LaTeX support is
slightly rough right now; you have to manually add a preamble before it will
compile.
The slider above should have some of my most recent posts (unless you have Javascript disabled in which case you will only see my most recent post and be unable to use the slider): below are some of my more popular ones.
Popular Posts
-
cmus Problems on Debian
Sometimes CMus breaks down on you and you need to build it by hand... - March 19, 2014
-
Extensible unions in Elm
Extensible unions happen to be a great fit for Elm! - August 3, 2020
-
A Language Agnostic Introduction to Dependent Types
An explanation of dependent types that assumes only basic familiarity with any statically typed programming language - August 16, 2021
-
Moving to a Static Site
Moved this site from Django to Hakyll. Reasons were mainly reproducibility, security, and just curiosity. - November 13, 2016