(fun x -> x) myself

Vibe-coding

Quelle tristesse...

Gilles Dowek, informaticien engagé et vulgarisateur, est mort Passionné par la dimension éthique de sa discipline, le chercheur de l’Inria et professeur attaché à l’ENS Paris-Saclay, est décédé lundi 21 juillet, à l’âge de 58 ans.

www.lemonde.fr/disparitions...

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/

A beginners guide to OCaml internals In this 6 part series, I’m going to introduce the internals of the OCaml programming language (tutorial and other references here). This isn’t going to be very comprehensive or in-depth…

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

Jane Street’s sneaky retention tactic It involves the use of an obscure, French programming language

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 ? » - Clément Martin Les quelques raisons pour lesquelles je n'utilise pas l'IA générative dans le cadre de mon travail de traduction.

« 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...

Parsimoni to demonstrate its SpaceOS in orbit on Clustergate-1 Parsimoni's SpaceOS secure operating system to launch aboard DPhi Space's Clustergate-1 on SpaceX Transporter-13 mission, validating unikernel technology for enhanced satellite payload security and ef...

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 no longer safe to move our governments and societies to US clouds - Bert Hubert The very short version: it is madness to continue transferring the running of European societies and governments to American clouds. Not only is it a terrible idea given the kind of things the “King o...

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.

Home :: Jane Street Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

💻 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