Tutorial: How to Port Lwt to Eio
Thomas Leonard and Jonathan Ludlam hosted a tutorial on porting Lwt applications to OCaml 5 and Eio at arguably the world's largest functional programming conference: ICFP. The tutorial is a great introduction to Eio, with a clear step-by-step approach that is accessible to developers of different…
→ Read more
A Year of SpaceOS: Showing the World the Benefits of OCaml
I have had the pleasure of attending some great conferences over the past year, where I have presented some of the latest and most exciting…
→ Read more
Our Experience at Tarides: Projects From Our Internships in 2023
Internships at Tarides We regularly have the pleasure of hosting internships where we work with engineers from all over the world on a…
→ Read more
The State of the Art in Functional Programming: Tarides at ICFP 2023
ICFP 2023 The 28th ACM Sigplan International Conference on Functional Programming is taking place in Seattle as I’m typing. This is the…
→ Read more
Your Programming Language and its Impact on the Cybersecurity of Your Application
Did you know that the programming language you use can have a huge impact on the cybersecurity of your applications? In a 2022 meeting of…
→ Read more
Kcas: Building a Lock-Free STM for OCaml (2/2)
This is the follow-up post continuing the discussion of the development of Kcas. Part 1 discussed the development done on the library to…
→ Read more
Kcas: Building a Lock-Free STM for OCaml (1/2)
In the past few months I've had the pleasure of working on the Kcas library. In this and a follow-up post, I will discuss the history and…
→ Read more
OBuilder on macOS
Introduction The CI team at Tarides provides critical infrastucture to support the OCaml community. At the heart of that infrastructure is…
→ Read more
OCaml in Space - Welcome SpaceOS!
Our mission is to build sustainable and secure software infrastructure that will not only work for decades but also positively impact the…
→ Read more
Reflections on the MirageOS Retreat in Morocco
Introduction Since we are a hybrid remote and distributed company, everyone at Tarides knows first-hand how important in-person retreats are…
→ Read more
Sandmark: Boosting Multicore Projects with Performance Benchmarking
Introduction In the realm of software development, continuous improvement is paramount. When it comes to Multicore projects, the need for…
→ Read more
OCaml-CI Renovated
OCaml-CI started with the goal of making a better continuous build system for OCaml projects. When we began in 2019, the goals were clear…
→ Read more
Making OCaml 5 Succeed for Developers and Organisations
OCaml recently won the ACM SIGPLAN PL Software Award. The award recognises a software system that has had a significant impact on…
→ Read more
Zero-Day Attacks: What Are They, and Can a Language Like OCaml Protect You?
Zero-day attacks have been getting increased media attention lately, but what are they? And how can we protect ourselves? Google’s Project…
→ Read more
OCaml Receives the ACM SIGPLAN Programming Languages Software Award
OCaml has received one of the most prestigious awards in the field of programming languages, and we are very thrilled that four of the award…
→ Read more
Optimising Archive Node Storage for Tezos
For the past few years, Tarides has been responsible for the storage component of Tezos, from L1 and L2 shells up to the Tezos protocol. In…
→ Read more