Top all-time · #2665
Tarides
Company blog · tarides.com/blogprogrammingsystems
Tarides is the company blog at tarides.com, writing about programming and systems. Since 2019, 28 different Hacker News readers have linked it 43 times, most often “Making OCaml 5 Succeed for Developers and Organisations”. It is still writing: the last post was on 2026-10-29, and you can follow it by feed.
Tarides builds secure, high-performance software systems using OCaml and open-source technology. They offer development, consulting, and training services.
Most-linked posts?
- Making OCaml 5 Succeed for Developers and Organisations2 people · 2 mentions · first linked 2023-07-07
- Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml2 people · 2 mentions · first linked 2024-03-20
- The First WASM_of_OCaml Release Is Out2 people · 2 mentions · first linked 2025-02-19
- OCaml Web Development: Essential Tools and Libraries in 20252 people · 2 mentions · first linked 2025-05-16
- OCaml Labs Joins Tarides2 people · 2 mentions · first linked 2022-01-28
- OCaml 5.4 Release: New Features, Fixes, and More2 people · 2 mentions · first linked 2025-10-11
What Hacker News says?
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…
Comment linking /blog/2022-03-01-segfault-systems-joins-tarides
on “OCaml 5.0 Alpha Release”Submitted Improvements to OCaml code editing: the basics of a refactor engine as a story · 99 points
HN discussionNo 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://…
Comment linking /blog/2024-01-24-mirageos-designing-a-more-resilient-networking-stack-with-tcp/
on “Nanos – A Unikernel”Submitted Irmin in the Browser (OCaml/MirageOS) as a story · 58 points
HN discussionThis 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/0... A 2010 paper where I sketched out some of the early ideas around "multiscale" is here: https://anil.recoil.org/papers/…
Comment linking /blog/2022-03-08-secure-virtual-messages-in-a-bottle-with-scop
on “MirageOS 4.0 – Self-managed internet infrastructure with unikernels”Submitted OCaml Labs Joins Tarides as a story · 42 points
HN discussionTIL that OCaml is used in Docker Desktop's VPNkit - or I misinterpret the Tarides uses cases page: https://tarides.com/solutions
Comment linking /solutions
on “OCaml Labs Joins Tarides”Submitted Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot as a story · 34 points
HN discussionI looked at this last year when it came out in Tahoe: https://anil.recoil.org/notes/apple-containerisation and this looks like more of the same. They've now added a WSL-style virtual machine layer, but there's no x86 container story (Apple's killing Rosetta) so I imagine some qemu shimming will be required. There's still no equivalent to VPNKit or GVisor for networking so you'll be bridging I think. See: https://cac…
Comment linking /blog/2023-08-02-obuilder-on-macos/
on “macOS Container Machines”Submitted Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml as a story · 33 points
HN discussionWe do now though, with OxCaml! The local stack allocation mode puts in quite a strong constraint on the shape of the allocations that are possible. On my TODO list next is to hook up the various O(x)Caml memory profiling tools: we have statmemprof which does statistical sampling, and then the runtime events buffer, and (hopefully) stack activity in OxCaml's case from the compiler. This provides a pretty good automat…
Comment linking /blog/2025-03-06-feature-parity-series-statmemprof-returns/
on “My (very) fast zero-allocation webserver using OxCaml”Submitted OCaml 5.0 Beta Release as a story · 31 points
HN discussionAbsolutely, 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,…
Comment linking /blog/2023-07-31-ocaml-in-space-welcome-spaceos/
on “Mirage – A programming framework for building type-safe, modular systems”Submitted OCaml Web Development: Essential Tools and Libraries in 2025 as a story · 27 points
HN discussionSubmitted On the Road to Irmin v2 as a story · 21 points
HN discussionSubmitted Unikraft Support for MirageOS Unikernels as a story · 18 points
HN discussionSubmitted 8 OCaml Libraries to Make Your Life Easier as a story · 8 points
HN discussionSubmitted Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml as a story · 6 points
HN discussionSubmitted OCaml 5.4 Release: New Features, Fixes, and More as a story · 5 points
HN discussionSubmitted The First WASM_of_OCaml Release Is Out as a story · 5 points
HN discussionSubmitted OCaml 5.4 Release: New Features, Fixes, and More as a story · 3 points
HN discussionSubmitted OCaml Web Development: Essential Tools and Libraries in 2025 as a story · 3 points
HN discussionSubmitted Making OCaml 5 Succeed for Developers and Organisations as a story · 3 points
HN discussionSubmitted OCaml in Space: SpaceOS Is on a Satellite as a story · 2 points
HN discussionSubmitted We're Moving Ocsigen from Lwt to Eio as a story · 2 points
HN discussionSubmitted The First WASM_of_OCaml Release Is Out as a story · 2 points
HN discussionSubmitted Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned as a story · 2 points
HN discussionSubmitted Compiler Hacking in Cambridge Is Back as a story · 2 points
HN discussionSubmitted Up-to-Date Online Documentation as a story · 2 points
HN discussionSubmitted OCaml 5 Alpha Release as a story · 2 points
HN discussion
