Hey there! Welcome to my site.
I’m Alex. When I’m not reading, I try to make computers do cool things. Sometimes I succeed.
A verified algorithm for determining the intersection point of two lists in O(1) space
Determining the intersection point of two lists in O(1) space
On self-modifying executables in Go
I use Emacs to edit the Markdown posts on a computer running openbsd.
I use pandoc to convert the posts to HTML.
The site is hosted on openbsd.amsterdam.