Tarides Logo
Services Innovation Open Source Blog About Us

Engineering Blog

#awards #blockchain #business #community #compiler #cybersecurity #devtools #editor #eio #events #functional programming #functional-programming #interview #iot #irmin #memory-safety #mirageos #multicore #ocaml #open-source #partnership #space #sponsor #team #tutorial #wasm #windows
Various hand tools organized on a wooden wall rack.
#multicore #ocaml

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

Olivier Nicole

Senior Software Engineer

FB

Fabrice Buoro

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

Blue screen with error text, geometric shapes around.
#cybersecurity #functional-programming #memory-safety

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

Miklos Tomka

Head Consulting Services

Isabella Leandersson

Isabella Leandersson

Communications Officer

Laptop with code, orange mug, lamp, and shelf.
#devtools #ocaml

OCaml Compiler Manual HTML Generation

In order to avoid long, confusing URLs on the OCaml Manual pages, we set out to create a solution that shortens these URLs, including section references, and contains the specific version. The result improves readability and user experience. This article outlines the motivation behind these changes …

Shakthi Kannan

Shakthi Kannan

Senior Software Engineer

CPU chip hovering over a motherboard.
#cybersecurity #mirageos #ocaml

Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS

We entrust some of our most sensitive information to an invisible stream of information flowing back and forth across the globe. Cybersecurity concerns everyone, and Tarides is developing secure, lasting, and high-performing solutions for a diverse set of users. This post introduces you to cutting-e…

KC Sivaramakrishnan

KC Sivaramakrishnan

CTO

Isabella Leandersson

Isabella Leandersson

Communications Officer

Shattered glass pieces on a black background.
#devtools #ocaml

Effective ML Through Merlin's Destruct Command

The Merlin server and OCaml LSP server, two closely related OCaml language servers, enhance productivity with features like autocompletion and type inference. Their lesser known, yet highly useful destruct command simplifies the use of pattern matching by generating exhaustive match statements, as w…

Xavier Van de Woestyne

Xavier Van de Woestyne

Senior Software Engineer

Microsoft logo on a glossy square with colored lights.
#ocaml #windows

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

Sudha Parimala

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

Silhouette of camel, solar eclipse, desert landscape.
#compiler #ocaml

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

Isabella Leandersson

Communications Officer

Windows logo background, Ubuntu and OCaml logos overlap.
#ocaml #windows

How to Setup OCaml on Windows with WSL

The stable opam 2.2 and a fully Windows compatible ecosystem of OCaml libraries and tools are getting closer every month. That's extremely exciting! With opam 2.2, Windows users will be able to use OCaml directly and natively without extra set-up or workarounds. Everyone is excited about this future…

Pizie Dust

Pizie Dust

Software Engineer

Abstract blue and white light streaks on black background.
#devtools #ocaml

Creating the SyntaxDocumentation Command - Part 1: Merlin

OCaml development has never been more enchanting, thanks to Merlin – the wizard of the editor realm. The magic of Merlin is something that makes programming in OCaml a very nice experience. By Merlin, I don't mean the old gray-haired, staff-bearing magic guy. I'm talking about the editor service t…

Pizie Dust

Pizie Dust

Software Engineer

Open silver padlock with digital circuit pattern.
#multicore #ocaml

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

Carine Morel

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

People's hands, laptop on glass table.
#ocaml

Updates to OCaml.org's Learn Section: Enhancing UI and UX

Over the past year, the OCaml.org team has been hard at work addressing user feedback to make the OCaml.org Learn section more accessible and organised in order to facilitate learning OCaml and enriching the overall OCaml experience. In 2023, I joined the OCaml.org team as a UX /UI Designer. One of …

Claire Vandenberghe

Claire Vandenberghe

UX/UI Designer

Laptops with shield icons in a circle.
#cybersecurity #mirageos #ocaml

NetHSM: Bringing Open Source to the World of Hardware Security Modules

Nitrokey is one of the world’s foremost open-source hardware security companies. They develop IT security hardware for data encryption, decryption, and signing, including key and user authentication. After eight years of development, they recently released the first fully open-source Hardware Secu…

Isabella Leandersson

Isabella Leandersson

Communications Officer

Virgile Robles

Virgile Robles

Principal Software Engineer

Containers, cranes, ships, ocean, and industrial area.
#eio #multicore #ocaml

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

Isabella Leandersson

Communications Officer

Thomas Leonard

Thomas Leonard

Principal Software Engineer

Anil Madhavapeddy

Anil Madhavapeddy

Advisor

Blue padlock on abstract brown and orange blocks.
#multicore #ocaml

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

Carine Morel

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

Shelves with stacked blue, green, yellow folders.
#devtools #ocaml

Meet odoc, OCaml's Documentation Generator

Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and its tooling, which leads to more robust and maintainable code. When it comes to OCaml, odoc is the wizard behind the scenes, ensuring developers not only underst…

Christine Rose

Christine Rose

Technical Writer

Blue lockers, text "EDUCATION CHANGES THE WORLD."
#community #team

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

Isabella Leandersson

Communications Officer

Two dogs on a Zoom call; left with yellow, right red.
#compiler #ocaml #tutorial

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

Isabella Leandersson

Communications Officer

A group of 13 people smiling indoors.
#events #ocaml

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

Isabella Leandersson

Communications Officer

Modern library, staircases, bookshelves, people, seating.
#irmin #tutorial

Tutorial: Building a Browser Extension With Irmin

Irmin is a collection of OCaml libraries that makes it easy to build applications with Git-like data stores. We recently released irmin-client and irmin-server as official Irmin packages. These packages open up a new way to use Irmin by implementing a custom protocol that lets you write a client app…

IT

Irmin Team

Horses racing with jockeys in colorful attire.
#multicore #ocaml

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 …

FB

Fabrice Buoro

Senior Software Engineer

Olivier Nicole

Olivier Nicole

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

Colorful speech bubbles with various emoji faces.
#events #team

Prioritising Mental Health at Tarides

In a world that never stops, it's easy to get lost in the hustle and bustle of daily life, often overlooking the importance of maintaining our mental well-being, one of the most vital aspects of our existence. Especially on World Mental Health Day, observed every October 10th, it's crucial to reflec…

Christine Rose

Christine Rose

Technical Writer

Toy green tractor on sand.
#devtools #ocaml

Porting OBuilder to FreeBSD

OBuilder is a tool for performing arbitrary, reproduceable builds of OCaml-related software within a sandboxed environment. It is used by the CI team at Tarides to provide OCaml-based Continuous Integration (CI) for projects like opam-repo-ci, ocaml-ci, and multicoretest-ci. Originally written for L…

Miod Vallat

Miod Vallat

Principal Software Engineer

Tim McGilchrist

Tim McGilchrist

Principal Software Engineer

Boat with eight rowers on a wavy sea.
#interview #ocaml

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 diverse range of projects. By collaborating with people who are relatively new to the OCaml ecosystem, we get to benefit from their perspective. Seeing things with f…

DK

Dipesh Kafle

Intern Software Engineer

SK

Shreyas Krishnakumar

Intern Software Engineer

AC

Adithya Chandraserry