• Open Source
  • Services
  • Careers
  • Blog
  • About Us

Tarides

Tutorial: How to Port Lwt to Eio

by Isabella Leandersson on 2023-09-27

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

by Shakthi Kannan on 2023-09-20

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

by Dipesh Kafle, Shreyas Krishnakumar, Adithya Chandraserry on 2023-09-15

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

by Isabella Leandersson on 2023-09-08

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

by Shakthi Kannan on 2023-08-17

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)

by Vesa Karvonen on 2023-08-10

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)

by Vesa Karvonen on 2023-08-07

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

by Mark Elvers on 2023-08-02

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!

by Miklos Tomka on 2023-07-31

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

by Antonin Décimo, Isabella Leandersson, Fabrice Buoro, Christiano Haesbaert, Jules Aguillon, Paul-Elliot, Sonja Heinze on 2023-07-27

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

by Shakthi Kannan on 2023-07-19

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

by Navin Keswani and Tim McGilchrist on 2023-07-12

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

by KC Sivaramakrishan on 2023-07-07

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?

by Isabella Leandersson on 2023-07-05

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

by Thomas Gazagnaire on 2023-06-20

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

by Irmin Team on 2023-05-05

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
12345678
❭
Copyright Tarides 2018–2022
  • Open Source
  • Services
  • Careers
  • Blog
  • About Us