(fun x -> x) myself
@smdsousa.bsky.social
Doing stuff, learning things, explaining them.
The OCaml Handbook: A Complete Guide from First Program to Production Systems by Steve T. Publications is a new release on Leanpub! Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook … leanpub.com/theocamlhand...
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 !
Researchers discover advanced language processing in the unconscious human brain
Baylor College of Medicine researchers have found that the human brain is capable of sophisticated language processing while in an unconscious state from...
bcm.edu
@simonbillouet.bsky.social ceci est susceptible de t'intéresser: blogs.mediapart.fr/david-monnia...
L'IA générative face au concours d'entrée à l'École normale supérieure
Dans un précédent billet, j'avais essayé un outil d'IA générative sur un commentaire historique. Passons maintenant à un énoncé de concours particulièrement difficile.
blogs.mediapart.fr
As always, art illuminates the human condition. Banksy, April 29, 2026. Photo by @vukvalcic.bsky.social
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. 🙃
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: …
Serre group - Wikipedia
en.wikipedia.org
discuss.ocaml.org/t/job-softwa...
[JOB] Software Engineer (OCaml) -- LexiFi, Paris
Hi all, LexiFi is looking for a Software Engineer to join our development team in Paris. The work is primarily in OCaml, contributing to our codebase across core components, tooling, and product feat...
discuss.ocaml.org
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)
PLP 9-9.2: Control Abstractions and Calling Sequences
YouTube video by Jonathan Aldrich
youtu.be
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.
OxCaml Educator :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
janestreet.com
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!
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
xvw.lol
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.
How do you compute the midpoint of an interval?
The algorithm that computes the midpoint of an interval with floating-point bounds requires some careful devising to correctly handle all possible inputs. We review several implementations from promin...
hal.science
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
Jane Street’s sneaky retention tactic
It involves the use of an obscure, French programming language
econ.trib.al
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...
« 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.
clement-martin.fr
See parsimoni.co/blog/2025-02... for more details 🤞
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...
parsimoni.co
