Tarides Logo

Articles by Isabella Leandersson

Explore articles by Isabella Leandersson, featuring deep insights into systems programming, distributed computing, and cutting-edge technology. Discover the author's unique perspective and technical expertise that contribute to innovation at Tarides.

Summer of Internships: Projects From the OCaml Compiler Team

We have had the pleasure of hosting several interns in the compiler team this past year. Their projects have tackled varied and challenging tasks touching on different aspects of compiler development, ranging from modularising the observability tool Olly to creating eBPF-based kernel-side performanc…

Isabella Leandersson

Communications Officer

Eio From a User's Perspective: An Interview With Simon Grondin

Are you curious about Eio but not sure what to expect? Eio is an effects-based direct-style concurrency library for OCaml 5. I recently spoke with Simon Grondin from Asemio about his personal experience using the I/O library Eio. He was kind enough to share the good and the bad and give me insight i…

Isabella Leandersson

Communications Officer

Feature Parity Series: Compaction is Back!

Compaction is a feature that rearranges OCaml values in memory to free up space, which can then be returned to the operating system. In the OCaml 5.2 release, the technique returns to the OCaml Garbage Collector for the first time since its removal in the 5.0 multicore update. This is part one of ou…

SJ

Sadiq Jaffer

NB

Nick Barnes

Isabella Leandersson

Communications Officer

How TSan Makes OCaml Better: Data Races Caught and Fixed

Parallel programming opens up brand-new possibilities. Using multiple cores means that users can benefit from powerful OCaml features (like formal proofs and high security) while enjoying greater performance, enabling them to improve their services or projects. However, introducing such a significan…

Olivier Nicole

Senior Software Engineer

Fabrice Buoro

Senior Software Engineer

Isabella Leandersson

Communications Officer

Monoculture of Insecurity: How CrowdStrike's Outage Exposes the Risks of Unchecked Complexity in Cybersecurity

A seismic event in the IT world, everyone is talking about the CrowdStrike update that caused global chaos earlier this month. There are many great articles and blog posts dissecting the event and suggesting ways to avoid a repeat. Rather than join our voice to the chorus and explain how a small cha…

Miklos Tomka

Head Consulting Services

Isabella Leandersson

Communications Officer

Deep Dive: Optimising Multicore OCaml for Windows

We love hosting internships. It is rewarding to potentially facilitate someone’s first foray into the OCaml ecosystem, helping them establish a hopefully life-long foothold in the world of open-source programming. It is also a great opportunity to get new perspectives on existing issues. Fresh eye…

Isabella Leandersson

Communications Officer

Introducing Olly: Providing Observability Tools for OCaml 5

It might be tempting to think that we can write code that works perfectly the first time around, but in reality optimisation and troubleshooting forms a big part of programming. However, there are more and less productive (and frustrating!) ways of problem solving. Having the right tools to guide yo…

Isabella Leandersson

Communications Officer

Launching the First-Class Windows Project

We want to make learning and using OCaml easier for more people. Realising this goal involves expanding OCaml support to where the users are and making their experience smooth and hassle-free. It is generally accepted that the current state of OCaml on Windows is not comparable to other popular plat…

Sudha Parimala

Senior Software Engineer

Isabella Leandersson

Communications Officer

The OCaml 5.2 Release: Features and Fixes!

There has been a new release of OCaml! The 5.2 release brings several new features, along with improvements, optimisations, and bug fixes. New features include compaction, ThreadSanitizer, and restored support for compiling to the POWER architeture on OCaml, plus other crucial changes that prepare t…

Isabella Leandersson

Communications Officer

We Host Our First OCaml Retreat in India!

Hacking retreats are great ways for programmers to connect, explore new ideas, and learn from each other. One of the most popular OCaml retreats is the much-loved Mirage retreat, organised annually in Morocco. But for us OCaml enthusiasts located elsewhere, the journey can be challenging (not to men…

Sudha Parimala

Senior Software Engineer

Isabella Leandersson

Communications Officer

Multicore Testing Tools: DSCheck Pt 2

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter implementation. This post will give you a behind-the-scenes look at how DSCheck works its magic, including the theory behind it and how to write a test for our nai…

Carine Morel

Senior Software Engineer

Isabella Leandersson

Communications Officer

Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml

The OCaml 5 update brought much-anticipated support for programming on multiple cores. It also introduced support for concurrency via effect handlers – one of the first mainstream languages to do so. This significant update has had profound performance and UX implications, propelling OCaml into ne…

Isabella Leandersson

Communications Officer

Thomas Leonard

Principal Software Engineer

Anil Madhavapeddy

Advisor

Multicore Testing Tools: DSCheck Pt 1

Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played a significant part in making OCaml Multicore a reality, and we have continued to work on supporting tools that make parallel programming in OCaml as seamless as…

Carine Morel

Senior Software Engineer

Isabella Leandersson

Communications Officer

What are Data Races? And do They Threaten Your Business?

Imagine you have a brand-new coffee machine. One morning, you traipse excitedly down the stairs only to discover that, alas, your appliance has turned into a potato. The next day, it turns back into a coffee machine. And so it continues: on some days, it dispenses you perfect, frothy coffee; on othe…

Isabella Leandersson

Communications Officer

International Disability Day 2023: Why It Matters

When I was in my early 20s, I developed a chronic illness that (amongst other things) has affected my mobility. Becoming disabled is an eye-opening experience, as it makes you acutely aware of two things: First, there are many ways in which society genuinely tries to help people with disabilities, a…

Isabella Leandersson

Communications Officer

How to Install OCaml 5: A Video Tutorial

Have you had difficulty installing OCaml for your projects? We have created a video tutorial showing you how to use Opam to install OCaml on Linux and macOS. All you need to complete the tutorial is a computer running either Linux or macOS, and an internet connection. By the end of the tutorial you …

Isabella Leandersson

Communications Officer

OCaml Hacking Day in Chennai!

It is a truth universally acknowledged, that a programmer in possession of a free Saturday afternoon must be in want of a good old OCaml hacking session. To address this pressing need, we recently hosted another OCaml Hacking Day event – this time at our Tarides India office in Chennai. We had a t…

Isabella Leandersson

Communications Officer

WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml

OCaml is constantly evolving. Developers collaborate to bring support for new features, improve workflows, and resolve pain points. To this end, the OCaml-Wasm GitHub organisation was recently established. Its goal is to bring WebAssembly support to OCaml. WebAssembly, more commonly known as Wasm, i…

Isabella Leandersson

Communications Officer

Off to the Races: Using ThreadSanitizer in OCaml

OCaml Multicore opened up a new world of performance for developers, something that Nomadic Labs has tested with great results. Rather than relying on one core to do everything, the program can take advantage of multiple cores simultaneously for a significant performance boost. With new programming …

Fabrice Buoro

Senior Software Engineer

Olivier Nicole

Senior Software Engineer

Isabella Leandersson

Communications Officer

Tutorial: How to Port Lwt Applications 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 e…

Isabella Leandersson

Communications Officer

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 for collaborating on software development. They give us a chance to focus more deeply on our work, collaborate closely, and learn from one another. We are part…

Antonin Décimo

Senior Software Engineer

Isabella Leandersson

Communications Officer

Fabrice Buoro

Senior Software Engineer

Christiano Haesbaert

Principal Software Engineer

Jules Aguillon

Senior Software Engineer

P

Paul-Elliot

Sonja Heinze

Senior Software Engineer

Compiler Hacking in Cambridge is Back!

What’s the best way to spend a Friday evening? We think most people would agree that hacking on OCaml is pretty much at the top of that list (although full disclosure, our sample size for this data could be larger). On Friday the 24th of February, Tarides’s UK office hosted an evening of compile…

Isabella Leandersson

Communications Officer

The Journey to OCaml Multicore: Bringing Big Ideas to Life

Continuing our blog series on Multicore OCaml, this blog provides an overview of the road to OCaml Multicore. If you want to know how you can use OCaml 5 in your own projects, please contact us for more information. We also recommend watching KC Sivaramakrishnan's ICFP 22' talk Retrofitting Concurre…

Isabella Leandersson

Communications Officer

Love Rust? Then OCaml's New Eio Library is for You

We’ve come to expect a lot from the programming languages we use. We want the memory safety of Java, the performance of C/C++, and the concurrency of Go. On top of this, we need robust cybersecurity tools to protect us from the many risks and vulnerabilities in the world, all in an intuitive and e…

Isabella Leandersson

Communications Officer

Real World OCaml Book Giveaway!

Real World OCaml is a fantastic book on OCaml and functional programming – a great resource for beginners and experienced users alike. At Tarides, we want to support new learners of OCaml as much as we can, making it easier for people to become part of the vibrant community surrounding the languag…

Isabella Leandersson

Communications Officer

Tarides Sponsors Girls Can Code

The tech industry has long struggled with a lack of diversity. This existing imbalance combined with social and educational problems such as early gender bias still tends to prevent lots of people, including women, from entering the field. Girls Can Code aims to help young women learn programming an…

Isabella Leandersson

Communications Officer

Tarides Goes on Holiday!

Relaxing in today’s world can be difficult. Taking the time you need to cool off, refocus, and explore something new requires a solid amount of time in which you can disconnect from daily habits and find a new beat. At Tarides we address this by providing the framework needed for our employees to …

Isabella Leandersson

Communications Officer

Tarides is on the Wavestone Radar!

Cybersecurity is a growing concern for individuals and companies alike. At Tarides, security is at the centre of every solution we provide, and this year we have been recognised for our efforts! We’ve been accepted to Cyber@StationF’s acceleration program and are now featured in the 2022 Cyberse…

Isabella Leandersson

Communications Officer

Thales Cyber@Station F Selection

The online world is becoming an increasingly bigger part of our everyday lives, bringing the issue of cybersecurity to the forefront of more and more minds. At Tarides we put security at the centre of everything we do, and we’re honoured to be part of Cyber@Station F in 2022. Tarides is thrilled t…

Isabella Leandersson

Communications Officer

Team Tarides Visits a 17th Century Chateau

Everyone at Tarides recently had the opportunity to meet up in person for the first time! Since the global pandemic left much of our distributed team unable to meet, we organised a working retreat that brought all our teams together to work, learn, and have fun. This was the first formal retreat we��

Isabella Leandersson

Communications Officer

Functional Conf 2022

This year, Tarides attended the 2022 Functional Conf in India. Tarides’s engineers Sudha Parimala and Shakthi Kannan gave presentations on the OCaml platform and Sandmark, a continuous benchmarking tool for Multicore OCaml. The Functional Conf is a three-day conference on everything functional pro…

Isabella Leandersson

Communications Officer

OCaml 5 Alpha Release

OCaml 5 is live! This major release introduces domains and effects, delivering unprecedented speed and efficiency to OCaml. Testing shows that OCaml 5 is able to outperform Go and closely match Rust in terms of performance. Keep reading for more details! Tarides is thrilled that the alpha release of…

Isabella Leandersson

Communications Officer

Tarides Sponsors 12th Annual Journées Franciliennes

Tarides is proud to sponsor the 12th annual programming contest Journées Franciliennes de Programmation! On the 31st of May 2022, students from three different Parisian universities met at La Sorbonne University to engage in some friendly but lively competition. Bachelor students from La Sorbonne (…

Isabella Leandersson

Communications Officer

Tarides Partners with 50inTech!

50inTech Tarides is proud to have been recognised by 50inTech and featured on their website! 50inTech’s mission is to achieve a 50% representation of women in tech by 2050. To this end, 50inTech runs several amazing initiatives that generate opportunities for women looking to have successful caree…

HBL

Héloïse Berra Lutton

Isabella Leandersson

Communications Officer

MirageOS 4 Released!

Tarides is delighted to announce that MirageOS 4 is finally released! As core contributors to the project, we are proud to have been part of the journey to 4.0. What is MirageOS? MirageOS is a library operating system that constructs unikernels for fast and secure network applications that work acro…

Isabella Leandersson

Communications Officer