Tarides Blog
tarides.com · Company blog · on HN since 2019
Tarides is a company building OCaml and MirageOS tooling, and its blog covers OCaml releases, Eio, and web development.
What HN saysHN commenters cite it in OCaml 5 discussions, including Eio's performance against Rust Tokio, effects-based concurrency, and MirageOS unikernels.
28HN people shared it
5linked it in comments
36stories submitted
424story points
5 months agolast shared
2019people per year2026
Most-shared posts
- 1OCaml Labs Joins Tarides2 people · 44 points · first shared 2022 · 4 comments on HN
- 2Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml2 people · 39 points · first shared 2024 · 1 comments on HN
- 3OCaml Web Development: Essential Tools and Libraries in 20252 people · 30 points · first shared 2025 · 4 comments on HN
- 4OCaml 5.4 Release: New Features, Fixes, and More2 people · 8 points · first shared 2025 · discussion on HN
- 5The First WASM_of_OCaml Release Is Out2 people · 7 points · first shared 2025 · discussion on HN
- 6Making OCaml 5 Succeed for Developers and Organisations2 people · 4 points · first shared 2023 · discussion on HN
- 7Improvements to OCaml code editing: the basics of a refactor engine1 people · 99 points · first shared 2025 · 18 comments on HN
- 8Irmin in the Browser (OCaml/MirageOS)1 people · 58 points · first shared 2022 · 3 comments on HN
- 9Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot1 people · 34 points · first shared 2025 · discussion on HN
- 10OCaml 5.0 Beta Release1 people · 31 points · first shared 2022 · 3 comments on HN
- 11On the Road to Irmin v21 people · 21 points · first shared 2019 · 5 comments on HN
- 12Unikraft Support for MirageOS Unikernels1 people · 18 points · first shared 2025 · 1 comments on HN
- 138 OCaml Libraries to Make Your Life Easier1 people · 8 points · first shared 2022 · 1 comments on HN
- 14OCaml 5 Alpha Release1 people · 2 points · first shared 2022 · discussion on HN
- 15OCaml in Space: SpaceOS Is on a Satellite1 people · 2 points · first shared 2025 · discussion on HN
What HN people wrote when they linked it
anentropic · 2024-03-14
No idea if any others are closer to that ideal, but MirageOS unikernel (OCaml) offers nods in that direction:
"Possible to formally verify critical components" https://www.cs.williams.edu/~cs432/osco/01-whit.pdf
"As part of our mission to build robust and secure systems, we strive to support technology that roots its design in the field of formal methods" has a TCP stack manually derived from a formal model https://tarides.com/blog/2024-01-24-mirageos-designing-a-more-resilien…
kcsrk · 2022-06-15
For nested parallel computations (think Scientific Programming, where one would use OpenMP, Rust Rayon, etc), we have domainslib [1]. Eio, a direct-style, effect-based IO library is pretty competitive against Rust Tokio [2]. The performance will only get better as we get closer to the 5.0 release.
[1] https://github.com/ocaml-multicore/domainslib
[2] See the http server performance graphs at https://tarides.com/blog/2022-03-01-segfault-systems-joins-tarides#eco…
avsm · 2022-03-29
This all started because we wanted to _get away_ from the need to fork or run multiple processes, since that's so hard in a variety of hardware architectures (like mobile or embedded).
Other researchers also share the dislike of fork...
https://www.microsoft.com/en-us/research/uploads/prod/2019/04/fork-hot…
A 2010 paper where I sketched out some of the early ideas around "multiscale" is here: https://anil.recoil.org/papers/2010-bcs-visions.pdf
It took a little longer than I'd planned, but thanks to the hard work of so many MirageOS contributors, now's a pretty good time to glue back personal containers and self-hosted data management infrastructure again! Unikernel-based messaging has really come together in the past couple of years: https://tarides.com/blog/2022-03-08-secure-virtual-messages-in-a-bottl…
ofrzeta · 2022-02-02
TIL that OCaml is used in Docker Desktop's VPNkit - or I misinterpret the Tarides uses cases page: https://tarides.com/solutions
eriangazag · 2023-11-24
Absolutely, MirageOS is indeed pivotal in the development of unikernels. MirageOS not only developed the unikernel concept but also coined the term 'unikernel'.
MirageOS represents a significant shift in cloud and network computing, focusing on building highly specialized, secure, and efficient unikernels that streamline application deployment by shedding unnecessary components. It also puts extra focus on security, with most of the stack — including TCP and TLS — being rewritten in a type-safe language (OCaml).
Currently, MirageOS is expanding to include bare-metal and embedded systems, aiming to bring the same level of security and efficiency to this domain. The move towards embedded systems is a natural progression for MirageOS, given our emphasis on minimalism and security in environments where resources are limited and reliability is crucial. See for instance what is happening with SpaceOS: https://tarides.com/blog/2023-07-31-ocaml-in-space-welcome-spaceos/