Favorites
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.
-
Microfeatures I Love in Blogs and Personal Websites
3126 words, about 15 minutes to read.
Some time ago, Hillel Wayne published an article titled Microfeatures I’d like to see in more languages . In this article, he described three kinds of features in programming languages: fundamental features, deeply engrained features, and nice-to-have convenience features. ...
-
Advent of Code in Coq - Day 1
3515 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?
2084 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
2970 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
8124 words, about 39 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. ...