iiinova — where your digital self keeps evolving

Reposted by (fun x -> x) myself

Leanpub @leanpub.bsky.social · 06/07/2026

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

0106

Reposted by (fun x -> x) myself

OCaml @ocaml.org · 23/05/2026

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

141

Reposted by (fun x -> x) myself

Camille Roux @camilleroux.com · 23/05/2026

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 !

bcm.edu

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

196

Reposted by (fun x -> x) myself

The GNU C Library @glibc.bsky.social · 05/05/2026

fuck you

6716142

Reposted by (fun x -> x) myself

David Monniaux @monniauxd.bsky.social · 05/05/2026

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

031

Reposted by (fun x -> x) myself

Jonathan Aldrich @jonathanaldrich.bsky.social · 02/05/2026

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

071

Reposted by (fun x -> x) myself

Gro-Tsen @gro-tsen.bsky.social · 02/04/2026

The Onionification of reality continues:

3133

Reposted by (fun x -> x) myself

Gro-Tsen @gro-tsen.bsky.social · 17/02/2026

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

1153

Reposted by (fun x -> x) myself

Jason Moore @moorejh.bsky.social · 11/02/2026

sounds like academia!

0224

Reposted by (fun x -> x) myself

Gro-Tsen @gro-tsen.bsky.social · 15/01/2026

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: …

en.wikipedia.org

Serre group - Wikipedia

194

Reposted by (fun x -> x) myself

Jonathan Aldrich @jonathanaldrich.bsky.social · 08/12/2025

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)

youtu.be

PLP 9-9.2: Control Abstractions and Calling Sequences

YouTube video by Jonathan Aldrich

011

Reposted by (fun x -> x) myself

Mark J. Nelson @mm-jj-nn.bsky.social · 22/10/2025

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.

janestreet.com

OxCaml Educator :: Jane Street

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

1126

Reposted by (fun x -> x) myself

xvw @xvw.lol · 13/08/2025

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!

xvw.lol

Why I chose OCaml as my primary language

A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.

12611

Reposted by (fun x -> x) myself

Thiago Krause @thiagokrause.bsky.social · 14/08/2025

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

101566469

Reposted by (fun x -> x) myself

ikarius @ikarius.com · 04/08/2025

Vibe-coding

111

Reposted by (fun x -> x) myself

Mark J. Nelson @mm-jj-nn.bsky.social · 18/07/2025

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.

hal.science

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

1193

Reposted by (fun x -> x) myself

The Economist @economist.com · 27/06/2025

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 econ.trib.al/MPdov6Y

econ.trib.al

Jane Street’s sneaky retention tactic

It involves the use of an obscure, French programming language

0161

Reposted by (fun x -> x) myself

José A. Alonso @jalonso.eurosky.social · 15/06/2025

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

051

Reposted by (fun x -> x) myself

José A. Alonso @jalonso.eurosky.social · 14/06/2025

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

051

Reposted by (fun x -> x) myself

Aws Albarghouthi @awsto.bsky.social · 12/06/2025

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

34713

Reposted by (fun x -> x) myself

Clément Martin @clement-martin.fr · 05/06/2025

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

clement-martin.fr

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

62714

Reposted by (fun x -> x) myself

KC Sivaramakrishnan @kcsrk.info · 14/03/2025

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

55612

Reposted by (fun x -> x) myself

Bert Hubert 🇺🇦🇪🇺🇺🇦 @berthubert.bsky.social · 23/02/2025

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

berthub.eu

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

35799361

Reposted by (fun x -> x) myself

KC Sivaramakrishnan @kcsrk.info · 25/01/2025

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

0204

Reposted by (fun x -> x) myself

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · 23/12/2024

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.

2195

Reposted by (fun x -> x) myself

Thomas Gazagnaire @gazagnaire.org · 13/12/2024

💻 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

janestreet.com

Home :: Jane Street

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

2559

Reposted by (fun x -> x) myself

José A. Alonso @jalonso.eurosky.social · 06/12/2024

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

012