please participate in the OCaml Users Survey 2026, still open until and including May 25, 2026! link below

Sous anesthésie générale, le cerveau traite le langage, anticipe les mots suivants et apprend — sans aucune conscience. Ce que ça implique pour les interfaces cerveau-machine et notre compréhension de la mémoire est vertigineux !

@simonbillouet.bsky.social ceci est susceptible de t'intéresser: blogs.mediapart.fr/david-monnia...

fuck you

@ccailleaux.bsky.social entendu dans le hall de l'UFR

As always, art illuminates the human condition. Banksy, April 29, 2026. Photo by @vukvalcic.bsky.social

The Onionification of reality continues:

Je soupçonne qu'il existe quelque part une thèse en sociologie du milieu universitaire dont la conclusion est que personne ne lit les thèses, et que, malheureusement, personne ne l'a jamais lue. 🙃

sounds like academia!

Apropos the annoying habit mathematicians have of naming mathematical objects after people, a little anecdote: I once attended a talk during which the speaker mentioned the “Serre group”. en.wikipedia.org/wiki/Serre_g... An elderly man in the front row raised his hand and asked: …

PLP 9-9.2: Control Abstractions and Calling Sequences - youtu.be/KQ-if8ClF_E Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)

If you're someone who has "experience teaching CS topics in a university setting" and wants to jump ship to industry training, Jane Street is hiring for an educator to teach their new OxCaml set of OCaml language extensions. Pay is... well, a lot more than I make at a university.

Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/... I hope you find this interesting, and I welcome any feedback!

As always, Ted Chiang is great in this interview. cdh.princeton.edu/blog/2025/08...

Vibe-coding

How do you compute the midpoint of an interval bounded by (a,b)? Obviously just (a+b)/2. Alas, if you're working on a computer in floating point, it's not so simple... nice 28-page pedagogical article on what to do instead.

X-OR, le shift, le shift de l'espace ! florian.github.io//xor-trick/

nice! rwmj.wordpress.com/2009/08/04/o...

Jane Street is the quant shop's quant shop. The goose that lays the golden egg is its tech system, which is built rather unusually https://econ.trib.al/MPdov6Y

Introduction to competitive programming in Haskell. ~ Brent Yorgey. byorgey.github.io/blog/posts/2... #Haskell #FunctionalProgramming

Is Emacs an operating system? irreal.org/blog/?p=13051 #Emacs

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra! The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs. paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla

« Et l'IA, alors ? » À force qu'on me pose la question, j'ai fini par mettre à plat mon opinion sur l'usage de l'IA générative en traduction. Ce n'est pas un article pour spécialistes, mais j'espère que ceux qui n'y connaissent rien en sortiront mieux renseignés. clement-martin.fr/2025/06/05/e...

See parsimoni.co/blog/2025-02... for more details 🤞

If all goes well, OCaml 5 code will ride into space in < 24 hrs. www.dphispace.com/post/parsimo...

It is very hard to accept, but it is no longer safe to move EU governments & societies to US clouds. Not only is it dangerous to do so, it is also likely flat out illegal in the near feature. We're trading convenience for utter dependence on a mad king. It should stop. berthub.eu/articles/pos...

Aalok Thakkar is teaching Introduction to Computer Science at Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍

A paper from 2008 co-authored by @yminsky.bsky.social on why Jane Street started using OCaml for a wide range of tasks: critical trading systems, quantitative research, systems software, and system administration.

💻 Jane Street: OCaml at Scale 🚀 With 65M lines of OCaml, including 1.35M open-source, Jane Street is among the largest OCaml users globally. 20 people in the language team and 1250 OCaml developers out of 3000 employees. OCaml powers mission-critical systems in finance and beyond! 👉 janestreet.com

Pourquoi existe-t-il de nombreux paradigmes de programmation? ~ Oscar Plaisant, Max Lemoine. arxiv.org/abs/2412.00248 #Programming #CompSci