Tarides

1.3K posts

Tarides banner
Tarides

Tarides

@tarides_

We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫

Paris, France Katılım Eylül 2017
231 Takip Edilen1.9K Takipçiler
Tarides retweetledi
Oskar Wickström
Oskar Wickström@owickstrom·
We're hiring for Bombadil! Come work with me on the future of browser testing — specification languages and temporal logic, JS runtimes, bundlers, and WASM frontends in Rust, and lots and lots of property-based testing. Apply here: antithesis.com/company/career… Retweets appreciated.
English
10
45
194
14.6K
Tarides
Tarides@tarides_·
The new ocaml.nvim plugin provides Neovim integration to OCaml's LSP server – giving users access to advanced ocaml-lsp features with less fuss 🌟 tarides.com/blog/2025-12-1…
English
1
1
2
1.2K
Tarides retweetledi
OCaml
OCaml@ocaml_org·
OCaml Weekly News for March 17, 2026 aggregates the week's most important developments in the OCaml ecosystem. Catch up on what you missed: alan.petitepomme.net/cwn/2026.03.17…
English
1
1
6
217
Tarides retweetledi
Yaron (Ron) Minsky
Yaron (Ron) Minsky@yminsky·
It's been a minute, but, time for another Signals and Threads, this one with Will Wilson about the testing tools he's building at @AntithesisHQ. And, in a bow to modernity, we have a video version of this one too!
Yaron (Ron) Minsky tweet media
English
9
19
119
9.8K
Tarides retweetledi
KC Sivaramakrishnan
KC Sivaramakrishnan@kc_srk·
1/ Our paper on end-to-end compartmentalisation for mixed safe/unsafe language systems got accepted at AsiaCCS 2026. FIDES enforces function-level isolation across OCaml and C with just 2 custom RISC-V instructions. No MMU or OS required.
KC Sivaramakrishnan tweet media
English
3
9
56
3.6K
Tarides retweetledi
KC Sivaramakrishnan
KC Sivaramakrishnan@kc_srk·
Shout-out to Sai, who hacked across the stack -- writing OCaml for MirageOS unikernels, hacking on the OCaml and Clang compilers, hacking linkers, hacking firmware to get bare-metal setup, and hacking Bluespec to extend the Shakti RISC-V processor with security extensions!
KC Sivaramakrishnan@kc_srk

1/ Our paper on end-to-end compartmentalisation for mixed safe/unsafe language systems got accepted at AsiaCCS 2026. FIDES enforces function-level isolation across OCaml and C with just 2 custom RISC-V instructions. No MMU or OS required.

English
1
4
40
1.7K
Tarides retweetledi
KC Sivaramakrishnan
KC Sivaramakrishnan@kc_srk·
Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming. Build real systems, publish research, contribute to open source. fplaunchpad.org/2026/03/06/app…
English
4
18
50
4.7K
Tarides retweetledi
Anil Madhavapeddy
Anil Madhavapeddy@avsm·
.plan-26-w10: Streaming TESSERA embeddings straight into the browser with wasm is ridiculously good fun. Release next week if I can get enough oxcaml written to finish the transcoding of embeddings into Zarr! anil.recoil.org/notes/2026w10
English
3
7
51
4.3K
Tarides retweetledi
Adithya Nair
Adithya Nair@nairad1thya·
Just wrote my first expect test in OCAML and I'm completely sold. What a lovely way to explore and figure out the right behaviour for your function and then being able to solidify that in your tests with very minimal effort.
English
3
5
28
2.4K
Tarides retweetledi
Tech Daily 24/7
Tech Daily 24/7@techdaily24·
Neocaml is a new Emacs package designed for OCaml programming, created by the Rubocop creator. It features TreeSitter-powered major modes for OCaml code and interface files. The package also includes integration with an OCaml toplevel (REPL).
Tech Daily 24/7 tweet media
English
0
2
6
277
Tarides retweetledi
OCaml
OCaml@ocaml_org·
[Changelog] Release of OCaml 5.4.1 and 4.14.3: We have the pleasure of announcing the dual releases of OCaml 4.14.3 and OCaml 5.4.1, dedicated to the memory of Nicolaas Govert de Bruijn on the anniversary of his death. Those releases are a collection… dlvr.it/TR8grJ
English
0
3
12
409
Tarides retweetledi
Anil Madhavapeddy
Anil Madhavapeddy@avsm·
Got the right cufflinks on for tonight’s British High Commission event in Delhi #ocaml
Anil Madhavapeddy tweet media
English
1
2
38
1.1K
Tarides
Tarides@tarides_·
Take a journey back to Singapore and the biggest functional programming conference of 2025 in this post from our blog: tarides.com/blog/2025-12-0…
English
0
2
6
336
Tarides retweetledi
Nathan Farlow
Nathan Farlow@0x1337cafe·
OCaml sudoku solver running on a 1960s UNIVAC 1219B! (OCaml -> C -> RISC-V -> RISC-V emu written in UNIVAC asm). Many more cool demos to come. There's lots of cool tech in this project to talk about. This is the first time C is run on this machine, let alone OCaml 🐪
Nathan Farlow tweet mediaNathan Farlow tweet media
English
7
32
351
28.3K
Tarides retweetledi
Anil Madhavapeddy
Anil Madhavapeddy@avsm·
OxCaml isn't just useful due to its language extensions; it's making us think through how to engineer OCaml code to be lower allocation by default even before switching. See Mark's progress on an MP3 decoder to speed it up 10x tunbury.org/2026/02/11/oca…
English
1
8
45
2.5K
Tarides
Tarides@tarides_·
With Emacs integration to OCaml's LSP server, both the user and the maintainer benefit from a simplified setup! You can learn more on our blog: tarides.com/blog/2025-11-2…
English
1
4
13
807