The amount of content on this blog is monotonically increasing. Thus, as time goes on, it’s becoming harder and harder to see at a glance what kind of articles I write. To address this, I’ve curated a small selection of articles from this site that I’ve particularly enjoyed writing, or that I think turned out especially well. They’re listed below, most recent first.
Advent of Code in Coq - Day 1
3502 words, about 17 minutes to read.
The first puzzle of this year’s Advent of Code was quite simple, which gave me a thought: “Hey, this feels within reach for me to formally verify! . . .
How Many Values Does a Boolean Have?
2079 words, about 10 minutes to read.
A friend of mine recently had an interview for a software engineering position. They later recounted to me the content of the technical questions that they had been asked. . . .
Meaningfully Typechecking a Language in Idris, Revisited
2962 words, about 14 minutes to read.
Some time ago, I wrote a post titled Meaningfully Typechecking a Language in Idris. The gist of the post was as follows: . . .
Compiling a Functional Language Using C++, Part 10 - Polymorphism
8082 words, about 38 minutes to read.
In part 8, we wrote some pretty interesting programs in our little language. We successfully expressed arithmetic and recursion. But there’s one thing that we cannot express in our language without further changes: an if statement. . . .