Hi, I’m lthms.

I didn’t like syntax highlighting, but I like types and functional programming languages. He/him.

Interested in starting a discussion? Don’t hesitate to shoot me an email.

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, or I would be if I knewPlease, let me know!.

Last Contents

All categories combined, here is the last pieces of contents I have published on this website.

I had an RSS feed once, but it’s long gone, mostly because the toolchain I ended up writing for generating this website does not allow me to generate one easily. I hope it might come back at some point.

Projects

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

• ogam is a domain-specific markup language intended to free fiction writers from the pain to enforce typographic rules themselves.
• keyr is a collection of software to know how many keystrokes you have made since you have started using it.
• coqffi is a tool that generates the necessary boilerplate to use OCaml functions in a Coq development, and configure the Coq extraction mechanism accordingly.
• Spatial Sway is a daemon that enables a dynamic tiling management workflow a la Material Shell and PaperWM.