Thomas Letan’s Blog soap.coffee

What happened in February 2026?

soap.coffee·10w

Teaching Firefox About slack:// URLs

soap.coffee·12w

What Happened in January 2026?

soap.coffee·15w

How I Want to Use LLMs in 2026

soap.coffee·16w

Experimenting with Fedora CoreOS and Quadlets to host my blog

soap.coffee·18w·Lobsters, Hacker News, r/selfhosted

Peer-Programming in Modern OCaml with ChatGPT and Gemini

soap.coffee·49w

Implementing Strongly-Specified Functions with the refine Tactic

soap.coffee·51w

Implementing Strongly-Specified Functions with the Program Framework

soap.coffee·51w

Monad Transformers are a Great Abstraction

soap.coffee·51w

Extensible Type-Safe Error Handling in Haskell

soap.coffee·51w

Discovering Common Lisp with trivial-gamekit

soap.coffee·51w

A Study of Clight and its Semantics

soap.coffee·51w

Release of colorless-themes-0.2

soap.coffee·51w

A Literate Toolchain To Build This Website

soap.coffee·51w

Rewriting in Coq

soap.coffee·51w

Proving Algebraic Datatypes are “Algebraic”

soap.coffee·51w

I am no longer a PhD. student

soap.coffee·51w

Mixing Ltac and Gallina for Fun and Profit

soap.coffee·51w

coqffi.1.0.0 In A Nutshell

soap.coffee·51w

What happened in October and November 2022?

soap.coffee·51w

Log in to enable infinite scrolling