Hi!

Welcome to my little corner of the Internet.

You will find it dusty more often than not, but it’s been there for quite a while now, and its contents might be of interest for you. If that is the case, I’m thrilled!

Latest Posts

Peer-Programming in Modern OCaml with ChatGPT and Gemini (June 2, 2025)
What Happened in 2024? (January 1, 2025, )
Serving This Article from RAM for Fun and No Real Benefit (December 25, 2024)
★ On Vestigial Structures (August 16, 2024)
Introducing bepo-tsrn.nvim (May 23, 2024)
Installing a LUKS-Encrypted Arch Linux on a Vultr VPS (February 25, 2024, )
Using git maintenance with Encrypted SSH Keys (February 18, 2024)

See more →

Projects

Here is a list of the free software projects I have most enjoyed writing, and that made an impact on my daily life.

Spatial Shell (MPL-2.0) enables a dynamic tiling management a la Material Shell, for i3 and sway.
keyr (GPL-3) lets you know how many keystrokes you have made since you have started using it.
coqffi (MIT) generates the necessary boilerplate to use OCaml functions in a Coq development, and configure the Coq extraction mechanism accordingly.
ogam (MPL-2.0) is a domain-specific markup language intended to free fiction writers from the pain to enforce typographic rules themselves.