We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Joined September 2017
- Tweets 1,367
- Following 231
- Followers 1,932
- Likes 2,115
81 Photos and videos
Tarides retweeted
Jun 9
New podcast episode!
Richard Eisenberg (@RaeHaskCaml) on OCaml, effective AI, teaching programming, career pivot points, Haskell, language design, hiring and much more:
1
6
32
1,949
Tarides retweeted
Jun 9
🎉 Summit Day 1 is here!
The keynote room is set, attendees are filing in, and the energy is building as we get ready to kick off RISC-V Summit Europe 2026.
Take a look below for this morning's schedule and follow along throughout the day for highlights, insights, and announcements from Bologna.
#RISCVSummitEurope #RISCV #RISCVEverywhere
5
27
1,151
Tarides retweeted
Jun 8
We’re in Bologna 🇮🇹
Member Day Developer Workshops kick off today, and the main conference starts tomorrow at RISC-V Summit Europe.
Still thinking of joining? You can register on-site at the door (credit card only).
Let’s go 🔥 #RISCVSummitEurope #RISCV
1
8
37
1,684
Tarides retweeted
I'm offering "Functional Programming with OCaml" on the NPTEL platform in July 2026 sem. Enrollment is open now.
The first 8 modules of the interactive book should be fairly stable. The rest is still in development. Sharing early in the spirit of building in the open.
Yo dawg, I heard you like interpreters.
So here's your OCaml program, running in a bytecode interpreter, running on an emulated x86 CPU, JIT-compiled to Wasm, running in your browser, JIT-compiled to run on your local machine.
7
38
198
12,624
Tarides retweeted
Jun 1
A fun post about the renaissance we've been seeing in terminal UIs, and some of the things we've built in service of that.
blog.janestreet.com/strace-u…
4
20
191
11,483
Join Tim on a tour of 🐫 OCaml's newest features in our latest tech talk ✨ youtube.com/watch?v=Wv0pHpSy…
1
3
132
Tarides retweeted
May 26
superb piece of work getting merlin's typing recovery upstreamed into the OCaml compiler; it might even make 5.5! "the typer won't stop at the first error. Instead it will continue typing as much as possible, reporting other errors along the way" github.com/ocaml/ocaml/pull/…
1
4
18
1,099
Convert Lwt libraries to Eio concurrency with the new 'ciao-lwt' set of tools! Learn more on our blog: tarides.com/blog/2026-03-05-…
3
218
Tarides retweeted
May 20
It was, however, extremely cool to see the first js_of_ocaml compiled user interface projected into a BBC studio! bbc.co.uk/iplayer/episode/m0… (22:29s mark). This is the year for obscure world firsts
3
36
7,833
Tarides retweeted
May 16
A pure-OCaml software stack is now reportedly running on a satellite in orbit , handling encrypted telemetry and command systems without Linux underneath.
Programming languages are becoming infrastructure in places where failure is not an option.
3
10
274
Discover the tweaks we have made to optimise Wasm_of_ocaml over the past year in this update from the blog: tarides.com/blog/2026-02-11-…
2
143
Tarides retweeted
May 9
Love the interactivity! Jsoo for the win!
"Data race freedom in OxCaml" kcsrk.info/ocaml/oxcaml/x-oc…
Every code block is a live x-ocaml cell, an OxCaml toplevel running in your browser, with errors and all. Type into the examples and the compiler talks back.
1
3
49
7,094
Tarides retweeted
May 1
A fascinating blog from Jane Street about our recent work: Group Representational Position Encoding!
blog.janestreet.com/using-gr…
ArXiv: arxiv.org/abs/2512.07805
9
66
691
136,806
Tarides retweeted
May 4
Cornell's Introduction to Functional Programming with Types
by Robert Constable
PDF: cs.cornell.edu/courses/cs311…
24
205
7,980
Tarides retweeted
Apr 30
The OCaml Users Survey 2026 is now open! 📊
Share your experience with OCaml - from tools you use to new questions on AI/LLM tooling and debugging. Takes 10-15 minutes, open until May 25th.
forms.gle/gt5nikqUmoQWeYYQ9
1
3
3
439
Tarides retweeted
Apr 28
OCaml Meeting 2026 in Tokyo、8/22 です。よろしくお願いいたします:
ocamljp.connpass.com/event/3…
13
17
2,765
Tarides retweeted
Apr 28
🔥 GitHub RCE via single git push!
CVE-2026-3854: Unsanitized push options let attackers run commands on backend servers, bypassing sandboxing (cross-tenant risk).
🔗 Learn how header injection led to full compromise → thehackernews.com/2026/04/re…
Patched within hours.
8
59
164
23,506
Tarides retweeted
Apr 29
kcsrk.info/verification/rdts…
Wrote up a companion blog post for the keynote talk.
Apr 28
Did a Keynote talk at PaPoC 2026 workshop on
"From Convergence to Confidence: Push-button verification for Replicated Data Types"
on verifying RDTs and some very recent work on agentic-proof-oriented programming in Lean.
kcsrk.info/talks#papoc_2026
See fplaunchpad.org/sal.
2
4
25
2,797
Tarides retweeted
Apr 28
The @fp_launchpad YouTube is now up with talks from the kick-off event fplaunchpad.org/2026/03/30/f…
featuring @ShriramKMurthi, @yminsky, @ilyasergey, @avsm, @RSNikhil, @krishnan_rag, Chester Rebeiro, Manas Thakur & Prof Kamakoti Director @iitmadras
youtube.com/@fp_launchpad
8
33
9,451
