Folklore trick for dollar-store dependent types

A nice trick, indeed.

JS/frontend syntax highlighter (similar to highlight.js) that uses the new CSS ::highlight() functionality to provide syntax highlighting

An educational puzzle game. Solve a series of tasks where you build increasingly powerful components. Starts with the simplest logical components and ends up with a programmable computer.

After putting it off for years—and in that time taking a computer architecture class—I finally beat the “Computer” track of NandGame. Wahoo!

Inline assembly if it was good

Modern hard- and software systems have a lot of features, which make programs fast, but can make it difficult to understand what is going on. Let’s look at some fictitious benchmark results and think through possible causes for them.

Property-Based Testing (PBT) is a lightweight formal method offering an attractive blend of the abstract (formal specification) and the concrete (executability). Its popularity in the functional programming community has grown steadily over the past 25 years, and it is poised to play a key role in the larger software industry, mediating between human programmers and their AI collaborators. I’ll describe a collection of recent advances and remaining challenges in this space.

I didn’t know that BCP was a big formal methods guy; I am pleasantly surprised!

A compendium of absurd “open-source” licenses.