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.

🚀 New Remote Job Alert! 💼 Software Engineer – OCaml & GraphQL API 🏢 Twine 🌍 UK 📁 Technical Support 💰 £60,000 - £90,000 #RemoteJobs #RemoteWork #WorkFromHome #Hiring #JobOpportunity Apply now: https://customerremotejobs.com/job/twine-software-engineer-ocaml-graphql-api

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