Thomas Letan
@lthms.soap.coffee
Technical debt producer. He/him.
https://soap.coffee/~lthms
https://soap.coffee/~lthms
Pinned
Thomas Letan
@lthms.soap.coffee
· Jun 2
Peer-Programming in Modern OCaml with ChatGPT and Gemini
A recollection of challenging myself to implement a simple tool to generate a summary from YouTube videos using Vosk for speech recognition and Ollama for generating summaries using LLMs running local...
soap.coffee
My notes on a recent experiment: Peer-Programming in Modern #OCaml with ChatGPT and Gemini
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
I like giving talks, and I often prepare them the same way: I make a first (very bad) deck of slides, and then I rehearse and refine the slides as many time as necessary to find my flow.
It’s not necessarily ineffective, but I don’t know… I like the process.
It’s not necessarily ineffective, but I don’t know… I like the process.
November 1, 2025 at 4:02 PM
I like giving talks, and I often prepare them the same way: I make a first (very bad) deck of slides, and then I rehearse and refine the slides as many time as necessary to find my flow.
It’s not necessarily ineffective, but I don’t know… I like the process.
It’s not necessarily ineffective, but I don’t know… I like the process.
Too many negativity on Twitter so I deleted the app on an impulse and here I am 😆
October 30, 2025 at 9:39 PM
Too many negativity on Twitter so I deleted the app on an impulse and here I am 😆
Allez ça part en préco
MON NOUVEAU LIVRE
Quand la parole du pouvoir se laisse corrompre par les mensonges, c'est la démocratie elle-même qui chancelle. Et si, insidieusement, nous avions déjà basculé en logocratie ?
Quand la parole du pouvoir se laisse corrompre par les mensonges, c'est la démocratie elle-même qui chancelle. Et si, insidieusement, nous avions déjà basculé en logocratie ?
September 20, 2025 at 3:43 AM
Allez ça part en préco
Reposted by Thomas Letan
Reposted by Thomas Letan
PSA! Please share around! Due to a limited number of submissions, we're extending the OCaml Workshop deadline by a week to July 10th AoE!
Functional programmers! Heed my call! We need your submissions!!
Functional programmers! Heed my call! We need your submissions!!
Calling for Presentations!!!
The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!!
Submissions due: July 3rd AoE
Workshop: Oct 17th
Here's the link to website:
conf.researchr.org/home/icfp-sp...
#OCaml
The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!!
Submissions due: July 3rd AoE
Workshop: Oct 17th
Here's the link to website:
conf.researchr.org/home/icfp-sp...
#OCaml
OCaml 2025 - OCaml Users and Developers Workshop 2025 - ICFP/SPLASH 2025
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have b...
conf.researchr.org
July 6, 2025 at 7:59 AM
PSA! Please share around! Due to a limited number of submissions, we're extending the OCaml Workshop deadline by a week to July 10th AoE!
Functional programmers! Heed my call! We need your submissions!!
Functional programmers! Heed my call! We need your submissions!!
Maybe my fix to cohttp-lwt connection cache will be merged some day.
July 5, 2025 at 12:45 PM
Maybe my fix to cohttp-lwt connection cache will be merged some day.
Can we talk about K-Pop Demon Hunters?
No i mean, really. Can we?? I’m kinda obsessed already
No i mean, really. Can we?? I’m kinda obsessed already
June 23, 2025 at 9:58 PM
Can we talk about K-Pop Demon Hunters?
No i mean, really. Can we?? I’m kinda obsessed already
No i mean, really. Can we?? I’m kinda obsessed already
Omg OpenTelemetry is so cool I gonna die
a stuffed unicorn with a unicorn horn is being held by a girl
ALT: a stuffed unicorn with a unicorn horn is being held by a girl
media.tenor.com
June 15, 2025 at 6:54 PM
Omg OpenTelemetry is so cool I gonna die
Reposted by Thomas Letan
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
June 13, 2025 at 2:14 PM
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
MPL is really my favorite license. Do whatever with my code, build a proprietary product if you want—I’d be flattered, even. But if you end up having to modify it, publish the changes!
June 9, 2025 at 9:13 AM
MPL is really my favorite license. Do whatever with my code, build a proprietary product if you want—I’d be flattered, even. But if you end up having to modify it, publish the changes!
cohttp-connpool-lwt-unix is now a thing :D
June 8, 2025 at 9:14 PM
cohttp-connpool-lwt-unix is now a thing :D
Step 1. Write tests to find bugs in my new library
Step 2. Run into a bug in one dependency of my new library
Took me a while, but I managed to pinpoint the issue
Step 2. Run into a bug in one dependency of my new library
Took me a while, but I managed to pinpoint the issue
Fix `Connection_cache.call` hanging on unreachable server by lthms · Pull Request #1113 · mirage/ocaml-cohttp
What
The Connection_cache.call function could hang indefinitely when attempting to establish a connection to an unreachable server. This change resolves that issue by ensuring that the connection ...
github.com
June 8, 2025 at 8:42 PM
Step 1. Write tests to find bugs in my new library
Step 2. Run into a bug in one dependency of my new library
Took me a while, but I managed to pinpoint the issue
Step 2. Run into a bug in one dependency of my new library
Took me a while, but I managed to pinpoint the issue
I think Cohttp_lwt_unix.Server does not close persistent connections when it’s stopped ):
June 8, 2025 at 6:01 PM
I think Cohttp_lwt_unix.Server does not close persistent connections when it’s stopped ):
I’ve started a Lwt_unix backend for cohttp-connpool.
I have the perfect use case in mind for it 😄 but that’ll have to wait for the end of the week-end.
I have the perfect use case in mind for it 😄 but that’ll have to wait for the end of the week-end.
GitHub - lthms/cohttp-connpool: Connection pool for `cohttp` client backends, enabling reuse of HTTP connections
Connection pool for `cohttp` client backends, enabling reuse of HTTP connections - lthms/cohttp-connpool
github.com
June 8, 2025 at 12:40 PM
I’ve started a Lwt_unix backend for cohttp-connpool.
I have the perfect use case in mind for it 😄 but that’ll have to wait for the end of the week-end.
I have the perfect use case in mind for it 😄 but that’ll have to wait for the end of the week-end.
Embracing the future
Migrate to `dune pkg` for project setup and builds · lthms/cohttp-connpool-eio@2e021d0
* What
This commit transitions the project's dependency management from a
custom `Makefile` to the integrated `dune pkg` system. The `Makefile`
has been entirely removed, and instructions for ...
github.com
June 8, 2025 at 9:55 AM
Embracing the future
My notes on a recent experiment: Peer-Programming in Modern #OCaml with ChatGPT and Gemini
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
Peer-Programming in Modern OCaml with ChatGPT and Gemini
A recollection of challenging myself to implement a simple tool to generate a summary from YouTube videos using Vosk for speech recognition and Ollama for generating summaries using LLMs running local...
soap.coffee
June 2, 2025 at 9:20 PM
My notes on a recent experiment: Peer-Programming in Modern #OCaml with ChatGPT and Gemini
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
A devlog of sort. I wanted to share how it was, using LLMs to write a small tool in a more “niche” language.
The daemon has been running for 5 months without any issue \o/.
(I find joy where it is)
(I find joy where it is)
My website is now served from memory by an HTTP server implemented with Dream. Want to learn more about how I did it? It involved #OCaml, getting a refresher about HTTP, and some #Docker (because why not?).
Here is a sneak peek in my next blog post.
Here is a sneak peek in my next blog post.
Serving This Article from RAM with Dream for Fun and No Real Benefit
soap.coffee
June 2, 2025 at 8:59 PM
The daemon has been running for 5 months without any issue \o/.
(I find joy where it is)
(I find joy where it is)
Okay, so. I still expect a few hiccups, but so far, `dune pkg lock` seems already like a solid solution
June 1, 2025 at 10:58 AM
Okay, so. I still expect a few hiccups, but so far, `dune pkg lock` seems already like a solid solution
Tried `dune pkg lock` this morning
`dune exec examples/main.exe` took as much time as the `dune build` that came before it 🤔 need to dig that a little
`dune exec examples/main.exe` took as much time as the `dune build` that came before it 🤔 need to dig that a little
June 1, 2025 at 10:38 AM
Tried `dune pkg lock` this morning
`dune exec examples/main.exe` took as much time as the `dune build` that came before it 🤔 need to dig that a little
`dune exec examples/main.exe` took as much time as the `dune build` that came before it 🤔 need to dig that a little
Eio.Private.Trace.with_span is not reentrant ):
May 31, 2025 at 9:13 PM
Eio.Private.Trace.with_span is not reentrant ):
Okay, no I can make calls to Ollama with peace of mind, knowing I can reuse HTTP connections 🥸
Where it started: I want to use ollama from OCaml
Where it went: I can do two HTTP request from the same connection 🎉
Where it went: I can do two HTTP request from the same connection 🎉
May 31, 2025 at 5:38 PM
Okay, no I can make calls to Ollama with peace of mind, knowing I can reuse HTTP connections 🥸
I still need to pick a license (probably MPL) but here is cohttp-connpool-eio: github.com/lthms/cohttp...
Feedback welcome!
Feedback welcome!
GitHub - lthms/cohttp-connpool-eio: Connection pool for `cohttp-eio`, enabling reuse of HTTP connections
Connection pool for `cohttp-eio`, enabling reuse of HTTP connections - lthms/cohttp-connpool-eio
github.com
May 31, 2025 at 5:16 PM
I still need to pick a license (probably MPL) but here is cohttp-connpool-eio: github.com/lthms/cohttp...
Feedback welcome!
Feedback welcome!
Okay, eio-trace is pretty awesome
May 31, 2025 at 2:31 PM
Okay, eio-trace is pretty awesome
Btw, latest Eio’s commit is 4 month old?
May 31, 2025 at 1:42 PM
Btw, latest Eio’s commit is 4 month old?