Martin Jambon
mjambon.bsky.social
Martin Jambon
@mjambon.bsky.social
Not a single song by Jesus, though
December 14, 2025 at 4:27 AM
This inspired me to start a new project targeted at developers (library or dev tool) using AI. We'll see where this takes me but I'm more hopeful about this than AI contributions/slop made to existing projects.
December 13, 2025 at 12:30 AM
ChatGPT explains:
December 11, 2025 at 10:47 PM
In my 20s, I figured it was triggered by worrying and caring deeply about two conflicting goals simultaneously. Relaxing and not worrying resolves it and prevents reoccurrence in the following months or years. (2/2)
en.wikipedia.org/wiki/Precord...
#medicine #anxiety #pain
Precordial catch syndrome - Wikipedia
en.wikipedia.org
December 11, 2025 at 10:41 PM
It's sort of like a Turing machine can simulate another Turing machine but can't be it.
December 7, 2025 at 9:39 PM
I'm now looking into the fact that I can't know what it is to be you. The only way for me to know [perfectly] what it is to be you would be to be you and not me. This seems a little different than incompleteness since we're considering subsystems trying to understand each other.
December 7, 2025 at 9:39 PM
Somehow being able to quantify how much we can't know would be great.
December 7, 2025 at 8:44 PM
Difficult concepts that really need [a reminder of] a formal definition before deserving to be in the title of a mathy paper include: understanding, consciousness, simulation
December 6, 2025 at 8:43 PM
The game of matching loose intuitions with mathematical objects is what we're after but it's rarely done successfully.
December 6, 2025 at 8:20 PM
The term "computation" works better than "simulation" although some folks then claim that the world is a computer which isn't the same as "the world can be modeled as a computer", computers being machines created by engineers, unlike Turing machines which are well-defined mathematical objects.
December 6, 2025 at 8:16 PM
The notion of a simulation requires intentionality, opening a can of worms. Claiming a system is or isn't a simulation isn't the same as claiming that it could be simulated given enough resources. Maybe this is obvious to some folks (?). It unnecessarily invites deities to the conversation.
December 6, 2025 at 8:04 PM
120 × 80 = 9600 m² = un hectare environ pour toute la pelouse. C'est le chiffre que je vais retenir 😀
December 6, 2025 at 9:29 AM
105 × 68 = 7140 m² pour un match international, sans les bordures
December 6, 2025 at 9:24 AM
The string "-*- tuareg -*-" is to tell emacs to use tuareg-mode (editing mode for OCaml programs). It's funny that dune reused this.
December 6, 2025 at 12:12 AM
The question is whether providing functions that deal with special subproblems or use cases are easier to understand than more minimal and more generic interfaces.

For example, should a standard library provide a List.sort_alphabetically function when 'List.sort String.compare items' does the job?
December 4, 2025 at 9:15 PM
I guess several people or companies are already working on this.
December 4, 2025 at 7:51 PM
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 7:49 PM