Martin Jambon
@mjambon.bsky.social
Pinned
Martin Jambon
@mjambon.bsky.social
· Sep 16
Topics on which I'm able (and willing) to have expert-level conversations:
- programming, software engineering, OCaml
- art
- general biology, mycology, mushroom hunting
- psychedelics
- rowing, running, trail running
- epistemology, artificial minds, hypothetical societies
- programming, software engineering, OCaml
- art
- general biology, mycology, mushroom hunting
- psychedelics
- rowing, running, trail running
- epistemology, artificial minds, hypothetical societies
Testo 0.3 is out! discuss.ocaml.org/t/ann-testo-... #ocaml
[ANN] Testo 0.3
Testo 0.3.4 is out! Testo is an industry-grade test framework for OCaml. It is suitable for unit-testing OCaml code and for end-to-end testing command-line executables. Testo is an open-source projec...
discuss.ocaml.org
January 18, 2026 at 11:48 PM
Testo 0.3 is out! discuss.ocaml.org/t/ann-testo-... #ocaml
I am being hit by the absurdity of the question "what did you learn?". I could summarize what I learned but it wouldn't teach you what I learned, only some of it. Contrast this with discovery—where the work I did to learn a new thing can now be bypassed.
January 11, 2026 at 9:13 PM
I am being hit by the absurdity of the question "what did you learn?". I could summarize what I learned but it wouldn't teach you what I learned, only some of it. Contrast this with discovery—where the work I did to learn a new thing can now be bypassed.
OCaml exercise for enjoyers of mutability: write a program that parses the command line using the standard Arg module but without using globals.
Note that in practice, you might want to prefer the cmdliner library since its UI is more attractive. Arg is easier to grasp, though.
Note that in practice, you might want to prefer the cmdliner library since its UI is more attractive. Arg is easier to grasp, though.
January 9, 2026 at 8:31 PM
OCaml exercise for enjoyers of mutability: write a program that parses the command line using the standard Arg module but without using globals.
Note that in practice, you might want to prefer the cmdliner library since its UI is more attractive. Arg is easier to grasp, though.
Note that in practice, you might want to prefer the cmdliner library since its UI is more attractive. Arg is easier to grasp, though.
I wrote an #OCaml program that checks whether a regular expression matches every input string. If not, it provides an example of nonmatching input.
$ echo '.? | [^h]. | .[^i] | ...+' | exhausteve
The provided regular expression is not exhaustive.
Here is an example of nonmatching input:
"hi"
$ echo '.? | [^h]. | .[^i] | ...+' | exhausteve
The provided regular expression is not exhaustive.
Here is an example of nonmatching input:
"hi"
GitHub - mjambon/exhausteve: My name is Steve, Exhausteve
My name is Steve, Exhausteve. Contribute to mjambon/exhausteve development by creating an account on GitHub.
github.com
December 29, 2025 at 9:53 AM
I wrote an #OCaml program that checks whether a regular expression matches every input string. If not, it provides an example of nonmatching input.
$ echo '.? | [^h]. | .[^i] | ...+' | exhausteve
The provided regular expression is not exhaustive.
Here is an example of nonmatching input:
"hi"
$ echo '.? | [^h]. | .[^i] | ...+' | exhausteve
The provided regular expression is not exhaustive.
Here is an example of nonmatching input:
"hi"
They're both Swiss cheese except the Swiss cheese 🤯
December 21, 2025 at 9:19 PM
They're both Swiss cheese except the Swiss cheese 🤯
AI says my AI-friendliness will get me in trouble.
December 20, 2025 at 12:41 AM
AI says my AI-friendliness will get me in trouble.
Achieving immortality is basically the bro version of solving the halting problem.
But yeah, no longer dying of old age makes death less predictable. No more retirement, only long vacations. You'll work all your life and die by slipping on a banana peel. Why not.
x.com/bryan_johnso...
But yeah, no longer dying of old age makes death less predictable. No more retirement, only long vacations. You'll work all your life and die by slipping on a banana peel. Why not.
x.com/bryan_johnso...
Bryan Johnson on X: "I’m going to try and achieve immortality by 2039. One year of time passes and I remain the same biological age. I invite you to join me. The search for the fountain of youth is the oldest story ever told. It’s been the dream of dreamers for millennia but always painfully out https://t.co/BwrU1ckOi6" / X
I’m going to try and achieve immortality by 2039. One year of time passes and I remain the same biological age. I invite you to join me. The search for the fountain of youth is the oldest story ever told. It’s been the dream of dreamers for millennia but always painfully out https://t.co/BwrU1ckOi6
x.com
December 17, 2025 at 10:11 PM
Achieving immortality is basically the bro version of solving the halting problem.
But yeah, no longer dying of old age makes death less predictable. No more retirement, only long vacations. You'll work all your life and die by slipping on a banana peel. Why not.
x.com/bryan_johnso...
But yeah, no longer dying of old age makes death less predictable. No more retirement, only long vacations. You'll work all your life and die by slipping on a banana peel. Why not.
x.com/bryan_johnso...
My Spotify likes include 3 songs with Jesus in the title lol
December 14, 2025 at 4:26 AM
My Spotify likes include 3 songs with Jesus in the title lol
I have to remember that my chest pain condition is called Precordial Catch Syndrome (PCS). It's scary and strange but benign. It started when I was 14 years old with occasional recurrences now and then at different times in my life. (1/2)
#medicine #anxiety #pain
#medicine #anxiety #pain
Precordial catch syndrome - Wikipedia
en.wikipedia.org
December 11, 2025 at 10:41 PM
There are no nontrivial context-free physical objects.
The trivial ones are the world and nothingness.
This seems important.
The trivial ones are the world and nothingness.
This seems important.
December 7, 2025 at 10:21 PM
There are no nontrivial context-free physical objects.
The trivial ones are the world and nothingness.
This seems important.
The trivial ones are the world and nothingness.
This seems important.
Un terrain de foot = un hectare = 10,000 m²
You're welcome
You're welcome
120 × 80 = 9600 m² = un hectare environ pour toute la pelouse. C'est le chiffre que je vais retenir 😀
December 6, 2025 at 9:31 AM
Un terrain de foot = un hectare = 10,000 m²
You're welcome
You're welcome
Reposted by Martin Jambon
Frank Gehry, 1929–2025 www.nytimes.com/2025/12/05/a...
December 5, 2025 at 7:27 PM
Frank Gehry, 1929–2025 www.nytimes.com/2025/12/05/a...
The Beach Boys - Kokomo (1988)
YouTube video by ClassicVideos80s
www.youtube.com
December 5, 2025 at 2:18 AM
Hypothesis: writing and maintaining code is easier—can be done with simpler designs—if you and all your current and future collaborators have great memory.
While we're at it, It could also design libraries and tools to target LLMs i.e. programmers with immense knowledge but shallow intelligence.
December 4, 2025 at 9:15 PM
Hypothesis: writing and maintaining code is easier—can be done with simpler designs—if you and all your current and future collaborators have great memory.
Cocorico
Le Français Thibault Gonzales sacré champion du monde de pâté-croûte
Le Français Thibault Gonzales sacré champion du monde de pâté-croûte
Le Français Thibault Gonzales a été sacré champion du monde de pâté-croûte lundi soir à Lyon, un titre que les chefs japonais défendent farouchement depuis plusieurs années.
f24.my
December 2, 2025 at 8:41 PM
Cocorico
I'm experimenting with pairing my concise notes with longer explainers written by ChatGPT. Here's one:
"There's no correct perception"
Original note: mjambon.com/notes/theres...
ChatGPT explainer: mjambon.com/notes/theres...
Let me know how you feel about this.
"There's no correct perception"
Original note: mjambon.com/notes/theres...
ChatGPT explainer: mjambon.com/notes/theres...
Let me know how you feel about this.
November 30, 2025 at 7:00 AM
I'm experimenting with pairing my concise notes with longer explainers written by ChatGPT. Here's one:
"There's no correct perception"
Original note: mjambon.com/notes/theres...
ChatGPT explainer: mjambon.com/notes/theres...
Let me know how you feel about this.
"There's no correct perception"
Original note: mjambon.com/notes/theres...
ChatGPT explainer: mjambon.com/notes/theres...
Let me know how you feel about this.
November 30, 2025 at 4:56 AM
After spending an evening shopping for a walking treadmill and giving up upon learning that they consume over 2000 watts and then briefly considering a manual treadmill, I find myself looking for something simpler to encourage movement at my standing desk. Suggestions welcome!
November 30, 2025 at 2:17 AM
After spending an evening shopping for a walking treadmill and giving up upon learning that they consume over 2000 watts and then briefly considering a manual treadmill, I find myself looking for something simpler to encourage movement at my standing desk. Suggestions welcome!
I made an awesome playlist for my nephew based on L'Aventurier by Indochine. Enjoy if you dare!
open.spotify.com/playlist/4Op...
open.spotify.com/playlist/4Op...
La compil de tonton Martin
open.spotify.com
November 27, 2025 at 10:16 PM
I made an awesome playlist for my nephew based on L'Aventurier by Indochine. Enjoy if you dare!
open.spotify.com/playlist/4Op...
open.spotify.com/playlist/4Op...
I have way too many fun and good projects for this Thanksgiving weekend and upcoming Christmas break. I'm not sure if I should do a little bit of each kind at the risk of spreading thin or go all in on one project. Maybe I'll pick one big project and several tiny ones for easy wins.
November 26, 2025 at 10:00 PM
I have way too many fun and good projects for this Thanksgiving weekend and upcoming Christmas break. I'm not sure if I should do a little bit of each kind at the risk of spreading thin or go all in on one project. Maybe I'll pick one big project and several tiny ones for easy wins.
To be clear, there are way better explanations of entropy if you need one. I'm a little fuzzy on the limits of its applicability in physics, though.
Explain entropy:
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.
November 26, 2025 at 12:30 AM
To be clear, there are way better explanations of entropy if you need one. I'm a little fuzzy on the limits of its applicability in physics, though.
Explain entropy:
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.
November 26, 2025 at 12:26 AM
Explain entropy:
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.
Everything eventually turns to shit and evens out—but here and there, highly organized anti-shit emerges producing even more shit around it in the process.