corpus.blog
41554 blogs · [ { "id": "01a087e2-e3d7-73b2-8658-ff2b77d1d60d", "title": "I Moved My Website Into My Garage", "url": "https://soap.coffee/~lthms/posts/garage-website.html", "published_at": "2026-09-05T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b78a24532", "title": "What happened in February 2026?", "url": "https://soap.coffee/~lthms/posts/february-2026.html", "published_at": "2026-03-08T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b794d3472", "title": "Teaching Firefox About slack:// URLs", "url": "https://soap.coffee/~lthms/posts/teaching-firefox-about-slack.html", "published_at": "2026-02-19T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7a08083f", "title": "What Happened in January 2026?", "url": "https://soap.coffee/~lthms/posts/january-2026.html", "published_at": "2026-01-30T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7a2e0ba6", "title": "How I Want to Use LLMs in 2026", "url": "https://soap.coffee/~lthms/posts/how-i-want-to-use-llms-in-2026.html", "published_at": "2026-01-25T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7a7bcd05", "title": "I Cannot SSH Into My Server Anymore (And That’s Fine)", "url": "https://soap.coffee/~lthms/posts/i-cannot-ssh-into-my-server-anymore.html", "published_at": "2026-01-05T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7b619413", "title": "Peer-Programming in Modern OCaml with ChatGPT and Gemini", "url": "https://soap.coffee/~lthms/posts/PeerProgrammingWithLLMs.html", "published_at": "2025-06-02T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7bc1ed9c", "title": "What Happened in 2024?", "url": "https://soap.coffee/~lthms/posts/December2024.html", "published_at": "2025-01-01T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7c4d07e4", "title": "Serving This Article from RAM for Fun and No Real Benefit", "url": "https://soap.coffee/~lthms/posts/DreamWebsite.html", "published_at": "2024-12-25T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7cd0f920", "title": "On Vestigial Structures", "url": "https://soap.coffee/~lthms/posts/VestigialStructures.html", "published_at": "2024-08-16T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7d0eb4fe", "title": "Introducing bepo-tsrn.nvim", "url": "https://soap.coffee/~lthms/posts/BepoNvim.html", "published_at": "2024-05-23T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7dabc3b8", "title": "Installing a LUKS-Encrypted Arch Linux on a Vultr VPS", "url": "https://soap.coffee/~lthms/posts/LUKSEncryptedVPS.html", "published_at": "2024-02-25T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7e4b4655", "title": "Using git maintenance with Encrypted SSH Keys", "url": "https://soap.coffee/~lthms/posts/GitMaintenanceSshEncryptedKeys.html", "published_at": "2024-02-18T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7f39e24e", "title": "Building Static Binaries for OCaml Projects", "url": "https://soap.coffee/~lthms/posts/OCamlStaticBinaries.html", "published_at": "2023-12-31T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b7f8af4de", "title": "Spatial Shell 6th Release Might Be the Charm", "url": "https://soap.coffee/~lthms/posts/SpatialShell6.html", "published_at": "2023-12-30T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8036e3d2", "title": "The Free and Open Source Software Projects This Website is Built Upon in June 2023", "url": "https://soap.coffee/~lthms/posts/Thanks2023.html", "published_at": "2023-06-23T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8056f964", "title": "Extensible Records in OCaml Using dmap", "url": "https://soap.coffee/~lthms/posts/ExtensibleRecordsInOCaml.html", "published_at": "2023-06-20T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b80f5749c", "title": "The Chaotic Debut of My Software Projects", "url": "https://soap.coffee/~lthms/posts/ChaoticDebut.html", "published_at": "2023-05-29T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b81bd6495", "title": "What happened since December 2022?", "url": "https://soap.coffee/~lthms/posts/May2023.html", "published_at": "2023-05-18T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b82444265", "title": "Neovim, OCaml Interfaces, Tree-Sitter and LSP", "url": "https://soap.coffee/~lthms/posts/NeovimOCamlTreeSitterAndLSP.html", "published_at": "2023-05-01T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b833d7761", "title": "Spatial Shell: Call For Testers", "url": "https://soap.coffee/~lthms/posts/CFTSpatialShell.html", "published_at": "2023-04-27T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b83ad0d42", "title": "Patch Dependencies for Stacked Git", "url": "https://soap.coffee/~lthms/posts/StackedGitPatchTheory.html", "published_at": "2023-01-26T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8425b280", "title": "How I Keep Using Stacked Git at $WORK", "url": "https://soap.coffee/~lthms/posts/StackedGit2.html", "published_at": "2023-01-16T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b84dc9bcc", "title": "What happened in October and November 2022?", "url": "https://soap.coffee/~lthms/posts/November2022.html", "published_at": "2022-11-19T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b85913858", "title": "What happened in September 2022?", "url": "https://soap.coffee/~lthms/posts/September2022.html", "published_at": "2022-09-18T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b86634e5d", "title": "What happened in August 2022?", "url": "https://soap.coffee/~lthms/posts/August2022.html", "published_at": "2022-08-15T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b873dbcf4", "title": "Writing a Function Whose Argument is a Polymorphic Function in OCaml", "url": "https://soap.coffee/~lthms/posts/RankNTypesInOCaml.html", "published_at": "2022-08-07T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b87bd2b7e", "title": "How I Use Stacked Git at $WORK", "url": "https://soap.coffee/~lthms/posts/StackedGit.html", "published_at": "2022-01-16T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b88a6452b", "title": "Implementing an Echo Server in Coq with coqffi.1.0.0", "url": "https://soap.coffee/~lthms/posts/CoqffiEcho.html", "published_at": "2020-12-10T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b89610ad1", "title": "coqffi.1.0.0 In A Nutshell", "url": "https://soap.coffee/~lthms/posts/Coqffi-1-0-0.html", "published_at": "2020-12-10T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8984811b", "title": "Pattern Matching on Types and Contexts", "url": "https://soap.coffee/~lthms/posts/LtacPatternMatching.html", "published_at": "2020-08-28T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8a5b12f4", "title": "Ltac is an Imperative Metaprogramming Language", "url": "https://soap.coffee/~lthms/posts/LtacMetaprogramming.html", "published_at": "2020-08-28T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8b20eb15", "title": "Mixing Ltac and Gallina for Fun and Profit", "url": "https://soap.coffee/~lthms/posts/MixingLtacAndGallina.html", "published_at": "2020-07-26T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8b535c3d", "title": "Proving Algebraic Datatypes are “Algebraic”", "url": "https://soap.coffee/~lthms/posts/AlgebraicDatatypes.html", "published_at": "2020-07-12T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8bda79f5", "title": "A Study of Clight and its Semantics", "url": "https://soap.coffee/~lthms/posts/ClightIntroduction.html", "published_at": "2020-03-20T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8c5526fa", "title": "Release of colorless-themes-0.2", "url": "https://soap.coffee/~lthms/posts/ColorlessThemes-0.2.html", "published_at": "2020-02-15T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8cf91fa5", "title": "A Literate Toolchain To Build This Website", "url": "https://soap.coffee/~lthms/posts/CleopatraV1.html", "published_at": "2020-02-04T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8d572183", "title": "I am no longer a PhD. student", "url": "https://soap.coffee/~lthms/posts/EndOfPhd.html", "published_at": "2019-01-15T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8d655c5d", "title": "Discovering Common Lisp with trivial-gamekit", "url": "https://soap.coffee/~lthms/posts/DiscoveringCommonLisp.html", "published_at": "2018-06-17T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8e521e80", "title": "Extensible Type-Safe Error Handling in Haskell", "url": "https://soap.coffee/~lthms/posts/ExtensibleTypeSafeErrorHandling.html", "published_at": "2018-02-04T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8f10fd79", "title": "Monad Transformers are a Great Abstraction", "url": "https://soap.coffee/~lthms/posts/MonadTransformers.html", "published_at": "2017-07-15T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b8fb4465e", "title": "Rewriting in Coq", "url": "https://soap.coffee/~lthms/posts/RewritingInCoq.html", "published_at": "2017-05-13T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b902419f1", "title": "Implementing Strongly-Specified Functions with the Program Framework", "url": "https://soap.coffee/~lthms/posts/StronglySpecifiedFunctionsProgram.html", "published_at": "2017-01-01T00:00:00+00:00" }, { "id": "01a087e2-e3d7-73b2-8658-ff2b9080978b", "title": "Implementing Strongly-Specified Functions with the refine Tactic", "url": "https://soap.coffee/~lthms/posts/StronglySpecifiedFunctionsRefine.html", "published_at": "2015-01-11T00:00:00+00:00" } ] posts Claim your blog
Back to soap.coffee
Blog · corpus.blog/blogs/soap.coffee/posts

soap.coffee

soap.coffee

2026

I Moved My Website Into My Garageoriginal ↗
5 Sept 2026
What happened in February 2026?original ↗
8 Mar 2026
Teaching Firefox About slack:// URLsoriginal ↗
19 Feb 2026
What Happened in January 2026?original ↗
30 Jan 2026
How I Want to Use LLMs in 2026original ↗
25 Jan 2026
I Cannot SSH Into My Server Anymore (And That’s Fine)original ↗
5 Jan 2026

2025

Peer-Programming in Modern OCaml with ChatGPT and Geminioriginal ↗
2 Jun 2025
What Happened in 2024?original ↗
1 Jan 2025

2024

Serving This Article from RAM for Fun and No Real Benefitoriginal ↗
25 Dec 2024
On Vestigial Structuresoriginal ↗
16 Aug 2024
Introducing bepo-tsrn.nvimoriginal ↗
23 May 2024
Installing a LUKS-Encrypted Arch Linux on a Vultr VPSoriginal ↗
25 Feb 2024
Using git maintenance with Encrypted SSH Keysoriginal ↗
18 Feb 2024

2023

Building Static Binaries for OCaml Projectsoriginal ↗
31 Dec 2023
Spatial Shell 6th Release Might Be the Charmoriginal ↗
30 Dec 2023
The Free and Open Source Software Projects This Website is Built Upon in June 2023original ↗
23 Jun 2023
Extensible Records in OCaml Using dmaporiginal ↗
20 Jun 2023
The Chaotic Debut of My Software Projectsoriginal ↗
29 May 2023
What happened since December 2022?original ↗
18 May 2023
Neovim, OCaml Interfaces, Tree-Sitter and LSPoriginal ↗
1 May 2023
Spatial Shell: Call For Testersoriginal ↗
27 Apr 2023
Patch Dependencies for Stacked Gitoriginal ↗
26 Jan 2023
How I Keep Using Stacked Git at $WORKoriginal ↗
16 Jan 2023

2022

What happened in October and November 2022?original ↗
19 Nov 2022
What happened in September 2022?original ↗
18 Sept 2022
What happened in August 2022?original ↗
15 Aug 2022
Writing a Function Whose Argument is a Polymorphic Function in OCamloriginal ↗
7 Aug 2022
How I Use Stacked Git at $WORKoriginal ↗
16 Jan 2022

2020

Implementing an Echo Server in Coq with coqffi.1.0.0original ↗
10 Dec 2020
coqffi.1.0.0 In A Nutshelloriginal ↗
10 Dec 2020
Pattern Matching on Types and Contextsoriginal ↗
28 Aug 2020
Ltac is an Imperative Metaprogramming Languageoriginal ↗
28 Aug 2020
Mixing Ltac and Gallina for Fun and Profitoriginal ↗
26 Jul 2020
Proving Algebraic Datatypes are “Algebraic”original ↗
12 Jul 2020
A Study of Clight and its Semanticsoriginal ↗
20 Mar 2020
Release of colorless-themes-0.2original ↗
15 Feb 2020
A Literate Toolchain To Build This Websiteoriginal ↗
4 Feb 2020

2019

I am no longer a PhD. studentoriginal ↗
15 Jan 2019

2018

Discovering Common Lisp with trivial-gamekitoriginal ↗
17 Jun 2018
Extensible Type-Safe Error Handling in Haskelloriginal ↗
4 Feb 2018

2017

Monad Transformers are a Great Abstractionoriginal ↗
15 Jul 2017
Rewriting in Coqoriginal ↗
13 May 2017
Implementing Strongly-Specified Functions with the Program Frameworkoriginal ↗
1 Jan 2017

2015

Implementing Strongly-Specified Functions with the refine Tacticoriginal ↗
11 Jan 2015