Flycheck has been one of my favorite Emacs packages ever since it was released 10 years ago. I love writing clean idiomatic code, I love the help that lint tools provide with this, and I wasn’t particularly happy with the “tried and true” Flymake back in…

My personal website

This is my home screen in February 2024.

In the spirit of Chinese New Year, I hacked up a small extension for
Emacs to render the current time of day using emoji and Chinese
characters:

Various configurations for your mode line.

One of the things I want to do now that I have some time is get my head around all the modern AI stuff. I'm starting with a review or things I've already done by going through Andrew Ng's Coursera ML class. I'll probably continue with his courses but I'm…

Various things, when rooting around for help in Emacs

I’ve started CIDER’s OpenCollective some 7-8 years ago and over the course of time it became of the main donation channels for the project. In good years it would raise somewhere between $10,000 and $15,000. While my initial plan was to use the money to fund…

Truth tables are great way to design and verify combinational logic. Useful as truth tables are, they however can be onerous to write: as the number of inputs grow, so does the size of table...

TL;DR: “We have X-references at home”
Cross-references in Org mode are not as well developed as its (relatively) new citation system. Org’s built-in linking system is fairly comprehensive and exports to all formats well enough. But if you’re coming to Org…