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 moreKcas: 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 moreOBuilder on macOS
Introduction The CI team at Tarides provides critical infrastucture to support the OCaml community. At the heart of that infrastructure is…
→ Read moreOCaml 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 moreReflections 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 moreSandmark: 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 moreOCaml-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 moreMaking 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 moreZero-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 moreOCaml 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 moreOptimising 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 moreOCaml 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…
→ Read moreCompiler 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…
→ Read moreMore 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…
→ Read moreThe 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…
→ Read more