Explore OCaml, MirageOS, and Secure Systems Engineering (3)

Person in blue suit using a laptop, blue background.

Wed, 05 Jul 2023

#cybersecurity #memory-safety #mirageos #ocaml

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 Zero tracks zero-day vulnerabilities at major software vendors. In 2021, their tracker noted the detection and disclosure of 58 in-the-wild zero-day exploits, …

Isabella Leandersson

Communications Officer

Group on mountain peak, blue sky, white clouds.

Tue, 20 Jun 2023

#awards #ocaml

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 winners are from Tarides. This represents a huge success for the language, the named maintainers, and everyone who has worked on improving OCaml. We want to th…

Thomas Gazagnaire

CEO

Blue cubes with white symbols, arranged in a grid.

Fri, 05 May 2023

#blockchain #irmin

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 2022, our main focus was on improving storage performance and UX for running nodes and bakers. Our efforts resulted in significant improvements, including reduc…

IT

Irmin Team

Large group posing; letters "MDCTN23"; banners.

Fri, 28 Apr 2023

#events #open-source

OCaml at MinidebConf TN 2023

MinidebConf TN 23 was organised by Debian Developers and Villupuram Linux Users Group (VGLUG) as a precursor to DebConf 23 in September at Kochi, India. I had an opportunity to attend and speak at MiniDebConf TN. I presented two sessions, one built on our experiences of introducing a Code of Conduct…

Sudha Parimala

Senior Software Engineer

Man in red jacket near presentation slide.

Wed, 22 Mar 2023

#compiler #events #ocaml

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

Crowd holding protest signs, one reads "#MARCH 4WOMEN".

Wed, 08 Mar 2023

#community #events

More Than a Day: How Does Tarides Promote Women in Tech?

The aim of International Women’s Day is to raise awareness of gender inequalities and call for the empowerment of women worldwide. The goal is to forge a gender equal world and advance women’s equality in all forms. Within the field of technology, the focus is on elevating and advancing gender p…

Gemma Gordon

COO

Winding road through a mountainous landscape, aerial view.

Thu, 02 Mar 2023

#multicore #ocaml #open-source

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

Tents and campfire in a forest at night.

Thu, 12 Jan 2023

#events #functional-programming

Lambda Retreat Report

Today we're taking a little pause from our OCaml 5 series to talk about a programming retreat. I spent a week in the woods with fellow programmers at the Lambda Retreat. It was a wonderful way to explore the nature of computations, abrstractions, and paradigms. Although I mostly work in OCaml, it wa…

Sudha Parimala

Senior Software Engineer

Hands typing on a laptop keyboard, blurred cup.

Tue, 10 Jan 2023

#compiler #interview #ocaml

Engineer Spotlight: Sudha Parimala

For our third and final Engineer Spotlight, we interviewed Sudha Parimala, a Tarides engineer who works primarily on the Multicore Applications team. She talks about what lead her to become an OCaml programmer and why she's excited about OCaml 5, as our blog series on Multicore OCaml continues. Chr…

Christine Rose

Technical Writer

Sudha Parimala

Senior Software Engineer

Plants with small pink and white flowers in a field.

Thu, 05 Jan 2023

#interview #irmin #ocaml

Engineer Spotlight: Zach Shipko

Tarides engineer Zach Shipko answers a few questions about why he decided to learn OCaml and why he's particularly excited about the OCaml 5 release. In celebration of OCaml 5, we've interviewed several engineers about their personal experience with the language and what features they enjoy. It's a …

Christine Rose

Technical Writer

Zach Shipko

Senior Software Engineer

Person wearing headphones, using laptop in cafe.

Thu, 29 Dec 2022

#functional-programming #interview #ocaml

Engineer Spotlight: Jules Aguillon

In celebration of the OCaml 5 release, we decided to interview a few of our talented engineers about OCaml. While it isn't a well-known language outside of the functional programming community, we're striving to get the word out about the great benefits of OCaml and why it's worth your time to try i…

Jules Aguillon

Senior Software Engineer

Christine Rose

Technical Writer

Roller coaster, upside-down, "TURBO" sign, blue sky.

Tue, 27 Dec 2022

#eio #functional-programming #memory-safety #ocaml

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

Two camels walking in a sandy desert landscape.

Thu, 22 Dec 2022

#compiler #multicore #ocaml

OCaml 5 Multicore Testing Tools

The new version of OCaml 5 is here! It brings the ability to program multicore applications and to maximise our usage of all the CPU cores without a global lock getting in the way of performance. What's most exciting to me though is that we have a whole new way of writing... bugs! And with so much p…

AW

Arthur Wendling

Principal Software Engineer

Square metal framework with blue sky background.

Wed, 21 Dec 2022

#devtools #ocaml

Advanced Merlin Features: Destruct and Construct

Merlin is one of the most important tools for OCaml users, but a lot of its advanced feature often remain unknown. For OCaml newcomers who might not know, Merlin is the server software that provides intelligence to code editors when working on OCaml documents. It allows one to easily navigate the co…

Ulysse Gérard

Principal Software Engineer

Glowing cube network, circle with symbol, purple background.

Tue, 20 Dec 2022

#blockchain #interview #multicore

How Nomadic Labs Used Multicore Processing to Create a Faster Blockchain

The technology that makes blockchain possible is complex, cutting-edge, and fascinating. Balancing efficiency and security on a knife's edge, it finds perfect harmony between high transaction speeds and safe, predictable results. Blockchain technology is constantly evolving, pushing the boundaries o…

Isabella Leandersson

Communications Officer

Camel adorned with colorful decorations. Desert backdrop.

Mon, 19 Dec 2022

#compiler #ocaml

OCaml 5 With Multicore Support Is Here!

It's here! It's finally here! On Friday, 16 December 2022, the OCaml community announced the official release of Multicore OCaml! From the beginning, Tarides has been deeply involved in OCaml's evolution, so we're very proud to present OCaml 5! Our work with the myriad of academics, industrial devel…

Christine Rose

Technical Writer

A ship with sails near ice; a camel on ice.

Wed, 14 Dec 2022

#devtools #mirageos

Hillingar: MirageOS Unikernels on NixOS

NixOS allows reproducible deployments of systems by managing configuration declaratively. MirageOS is a unikernel creation framework that creates targeted operating systems for high-level applications that can run on a hypervisor. By building MirageOS unikernels with Nix, we can enable reproducible …

RG

Ryan Gibb

Software Engineer

Wed, 07 Dec 2022

#compiler #ocaml

OCaml 5 Release Candidate Now Available!

We're in the home stretch for the full OCaml 5 release. Multicore is almost here! Yesterday its Release Candidate (RC) was announced on the OCaml Discuss, which is the final step before the major release, expected before Christmas. To learn more about the exciting features coming with OCaml 5, you c…

Christine Rose

Technical Writer

Silhouettes of camels and riders on a blue background.

Tue, 29 Nov 2022

#compiler #ocaml

OCaml 5 Beta2 Release

Just about a month after the OCaml 5 Beta release, the OCaml 5 Beta2 version has been released, taking us one step closer to the full OCaml 5 with Multicore release later this year. The OCaml community's collaboration is coming to fruition! Although we're not quite ready for the RC1 (Release Candida…

Christine Rose

Technical Writer

Advent calendar squares with numbers and decor.

Thu, 24 Nov 2022

#events #ocaml

Solve the 2022 Advent of Code Puzzles with OCaml

Too many programmers only know OCaml through a functional programming language overview course at university. They erroneously believe OCaml is used primarily in academia rather than in the real world. Not only is OCaml already used in several prominent businesses, it can also be used for fun projec…

Christine Rose

Technical Writer

Silhouettes: camels, people; orange sky; sun setting.

Tue, 22 Nov 2022

#business #functional-programming #memory-safety #ocaml

Six Surprising Reasons the OCaml Programming Language is Good for Business

Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers. Examples of functional programming languages include OCaml, Erlang, Clojure, Haskell, Scala, and Common Lisp. Choosing the right programming language is criti…

Isabella Leandersson

Communications Officer

Auditorium with text about Open Source India.

Wed, 16 Nov 2022

#events #ocaml #open-source

OCaml 5 at Open Source India 2022

With OCaml 5 just around the corner, it's been a really exciting year to attend conferences all over the world. Just recently, I presented some highlights of the OCaml 5 update, building on KC Sivaramakrishnan's great keynote address at the 19th annual Open Source India 2022 conference. Since Taride…

Shakthi Kannan

Senior Software Engineer

Glass pyramid with colorful lights, red surface.

Tue, 15 Nov 2022

#events #functional-programming #ocaml

Presenting on Algebraic Effects at FP-SYD

At ICFP this year, KC Sivaramakrishnan gave two talks that put OCaml 5 in the spotlight: his keynote, “Retrofitting Concurrency - Lessons from the Engine Room,” and the opening presentation of the OCaml workshop, “OCaml 5.0 - Concurrent and Parallel Programming.” Effect Handlers feature heav…

NK

Navin Keswani

Principal Software Engineer

A leafy branch in a clear glass jar with water.

Thu, 10 Nov 2022

#blockchain #irmin

Towards Minimal Disk-Usage for Tezos Bakers

Over the last few months, Tarides has focused on designing, prototyping, and integrating a new feature for Tezos bakers: automatic context pruning for rolling and full nodes. This feature will allow bakers to run Tezos with minimal disk usage while continuing to enjoy 12x more responsive operations.…

IT

Irmin Team

Room with arched windows, people inside, plants outside.

Fri, 28 Oct 2022

#events #mirageos

The MirageOS Retreat: A Journey of Food, Cats, and Unikernels

MirageOS is an OCaml ecosystem to construct unikernels, i.e., minimal operating systems. Here, we write about our social and technical experience at the MirageOS retreat in Morocco, as well as the vibe and wonderful organisational details. To sum up the technical part, we worked on different facets …

Jules Aguillon

Senior Software Engineer

SB

Sayo Bamigbade

Intern Software Engineer

Enguerrand Decorne

Senior Software Engineer

Sonja Heinze

Senior Software Engineer

Jan Midtgaard

Principal Software Engineer

Lucas Pluvinage

Senior Software Engineer

Yellow pipes on modern building against blue sky.

Thu, 20 Oct 2022

#devtools #ocaml

Up-to-Date Online Documentation

Into the Fire The OCaml ecosystem relies on various resources and infrastructure such as ocaml.org, OCaml Docker images, opam-repo-ci, that are built and deployed using OCurrent. OCurrent is a library to express workflows and keep things up to date. As many of these projects are created using the sa…

Étienne Marais

Senior Software Engineer

Circular view, road with cars, surrounded by trees.

Wed, 19 Oct 2022

#eio #mirageos #ocaml

Porting Charrua-Unix and Rawlink to Eio

This article describes the porting of the DHCP daemon charrua-unix and its companion library rawlink to Eio for the upcoming OCaml 5 release. Before we get started, it makes sense to briefly describe what DHCP is and how we use it in production. What is DHCP? DHCP stands for Dynamic Host Configurati…

Christiano Haesbaert

Principal Software Engineer

Blue arched tunnel, blurred train, empty platform.

Tue, 18 Oct 2022

#devtools #ocaml

OCaml's Platform Installer Alpha Release

Yesterday we announced the OCaml 5 beta release, and today we're excited to introduce the OCaml Platform Installer! The OCaml Platform is the recommended toolchain when working with OCaml. This new installer enables programmers to quickly set up the OCaml developer environment, so they don't need to…

Christine Rose

Technical Writer

Camel silhouette, mountains, orange sky.

Mon, 17 Oct 2022

#compiler #ocaml

OCaml 5 Beta Release

Back in June, we announced the OCaml 5 alpha release, and today we're excited to announce the first beta release! Now is an excellent time to test it and report positive or negative feedback on your projects (i.e., did it work, did you see impressive performance speed up, did you have issues finding…

Christine Rose

Technical Writer

Four camels walking on a desert landscape.

Fri, 14 Oct 2022

#functional-programming #ocaml #sponsor

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

Wed, 12 Oct 2022

#functional-programming #ocaml #open-source

8 OCaml Libraries to Make Your Life Easier

OCaml is a statically-typed programming language that emphasizes readability, programmer efficiency, and semantic clarity. This powerful and efficient language has been gaining popularity among developers. The growing adoption of OCaml is because it's fast, type safe, and secure. It can be used in i…

Christine Rose

Technical Writer

Buildings with red roofs, castle on hill, cloudy sky.

Mon, 10 Oct 2022

#events #functional-programming #ocaml

ICFP 2022 Review

After two years of online conferences, it was fantastic to have ICFP 2022 in person. The conference organisers had done a fantastic job adjusting to online conferences, but nothing beats the hallway track for meeting new people and catching up with old friends. This year, Slovenia's capital hosted t…

Tim McGilchrist

Principal Software Engineer

Silhouette of person balancing at sunset.

Fri, 23 Sep 2022

#events #sponsor

Tarides Sponsors High School Hackers

Tarides is excited to sponsor the Paradigm Conference (previously EsoLangConf) high school hackathon. This weekend, students from all over the world will team up to solve tricky programming problems, investigate diverse features of a range of programming languages, and build cool things! At Tarides,…

Gemma Gordon

COO

Hands typing on a laptop keyboard, watch visible.

Tue, 06 Sep 2022

#community #sponsor

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

Person kayaking on a blue lake with mountains.

Fri, 26 Aug 2022

#events #team

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

Tue, 02 Aug 2022

#interview #irmin #ocaml

Irmin in the Browser

Introduction Over the past six months, I have been working on using Irmin in the browser, including irmin-server and the GraphQL interface. This has been fun and a great learning journey for me. Before this internship, irmin-server was primarily a Unix-based application. My project was to port irmin…

Odinaka Joy

Intern Software Engineer

Satellite dish with starry sky backdrop.

Tue, 19 Jul 2022

#cybersecurity #iot #mirageos

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

Hand holding black smartwatch, bokeh lights behind.

Tue, 12 Jul 2022

#devtools #ocaml

Faster Incremental Builds with Dune 3

In February 2022, we released Dune 3.0. This updated version is the result of considerable development work over the previous six months. Dune 3.0 contains many new features, one of which is “watch mode,” an exciting new feature explained below. As a build system, Dune’s main goal is to build …

Etienne Millon

Principal Software Engineer

Face and hands with string lights in focus.

Tue, 05 Jul 2022

#devtools #ocaml

The Magic of Merlin

Tarides provides support and development services for OCaml tools, packages, and libraries for our commercial partners and for the benefit of the entire OCaml community. We focus on groundbreaking innovation, feature development, and crucial maintenance of OCaml-based projects. One of these projects…

Christine Rose

Technical Writer

Two laptops, hands writing on paper with pencils.

Tue, 28 Jun 2022

#awards #cybersecurity #mirageos

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

A group of people posing in front of a building.

Thu, 23 Jun 2022

#events #team

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

Silhouetted people, large display, bright sunlight.

Tue, 21 Jun 2022

#events #functional-programming #ocaml

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

Wed, 15 Jun 2022

#compiler #functional-programming #ocaml

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

Tree on sandy beach, ocean, blue sky, few clouds.

Mon, 13 Jun 2022

#blockchain #irmin

Adding Merkle Proofs to Tezos

The Upcoming Tezos Jakarta Protocol will support compact Merkle proofs to scale the network's trust infrastructure. This allows nodes that do not trust each other to agree on the validity of Tezos transactions with orders of magnitude smaller storage requirements. For instance, the block 2,400,319, …

IT

Irmin Team

Thu, 09 Jun 2022

#cybersecurity #mirageos

OCaml Matrix: A Virtual World

Introduction One of Tarides' projects is to create an open and secure infrastructure for communication protocols, initially focusing on emails and Matrix. This will allow organisations to self-host their messaging services, using either personal cloud resources or low-cost embedded devices. Individu…

Irina Mariuca Asavoea

Senior Software Engineer

Sailboats on shimmering water, casting long shadows.

Thu, 02 Jun 2022

#events #functional-programming #sponsor

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

A camel with colorful fabric on its back in a desert.

Mon, 02 May 2022

#community #ocaml

OCaml.org Reboot: User-Centric Design & Content

Tarides is pleased to announce the launch of the updated community site, ocaml.org. Over the past year and a half, we have supported and collaborated with members of the OCaml community on the creation of an updated community website. We are proud to present new features and improvements that will b…

Thibaut Mattio

Principal Software Engineer

Night sky, light trail arc, stars, water below.

Tue, 26 Apr 2022

#blockchain #irmin

Lightning Fast with Irmin: Tezos Storage is 6x faster with 1000 TPS surpassed

Over the last year, the Tarides storage team has been focused on scaling the storage layer of Octez, the most popular node implementation for the Tezos blockchain. With the upcoming release of Octez v13, we are reaching our performance goal of supporting one thousand transactions per second (TPS) in…

IT

Irmin Team

Three people, two laptops, sofa, colorful stickers.

Tue, 19 Apr 2022

#community #events #partnership

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…

Héloïse Berra Lutton

Head of Human Resources

Isabella Leandersson

Communications Officer

Engineering Blog

Stay Updated on OCaml and MirageOS!