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.
🚀 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
Quelle tristesse...
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/
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...
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
