Alex’s website

Hey there! Welcome to my site.

Writing (RSS feed)

A simple problem that isn’t

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

Blogroll

Laurențiu

Andrei

About

I use Vim to edit the Markdown posts on computers running openbsd and macOS.

I use pandoc to convert the posts to HTML.

I use a hacky Go utility I wrote to generate the RSS feed.

The publishing “pipeline” is a collection of shell scripts that I run manually.

The monospaced font is Cascadia Code.

The site is hosted on openbsd.amsterdam.