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
-
Teaching Firefox About
slack://URLs ( - What Happened in January 2026? (
- ★ How I Want to Use LLMs in 2026 (
- I Cannot SSH Into My Server Anymore (And That’s Fine) (
- Peer-Programming in Modern OCaml with ChatGPT and Gemini (
- What Happened in 2024? (
- Serving This Article from RAM for Fun and No Real Benefit (
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.