This page is an interactive terminal and needs JavaScript. The notes are at
/blog/
.