Hi, I’m lthms.

I don’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.