… the essence of technology is by no means anything technological. Thus we shall never experience our relationship to the essence of technology so long as we merely conceive and push forward the technological, put up with it, or evade it. Everywhere we remain unfree and chained to technology, whether we passionately affirm or deny it. But we are delivered over to it in the worst possible way when we regard it as something neutral; for this conception of it, to which today we particularly like to do homage, makes us utterly blind to the essence of technology.

(Martin Heidegger, The Question Concerning Technology)

I write pretty regularly, and sometimes what I write feels polished or useful enough to warrant inclusion here.

Using Menhir to parse into idiomatic JS (TypeScript) structures -- 2024-01-07

• OCaml offers some of the most advanced programming meta-language tools in existence. This note records how to use some of those tools to write a parser that can be used in preexisting JS/TypeScript projects.

Configuration Files in Terms of User Empowerment -- 2020-11-30

• An argument for safe, programmable configuration formats, based on a framing of configuration as a way of empowering users.

A Lightweight OCaml Webapp Tutorial -- 2020-01-05

• A boring, backend-only webapp using Opium, Caqti, and Tyxml

On Encyclopedias -- 2019-12-30

• A note on encyclopedias, and wikipedia, and the mounting "mountain of facts".

Finishing Work on the Incomplete -- 2019-11-05

• A meditation on the difference between finishing and completing