Subscribe to our mailing list to receive the latest news from Tarides.
By signing up, you agree to receive emails from Tarides. You can unsubscribe at any time.
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…
Senior Software Engineer
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…
Principal Software Engineer
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.…
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 …
Senior Software Engineer
Intern Software Engineer
Senior Software Engineer
Senior Software Engineer
Principal Software Engineer
Senior Software Engineer
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…
Senior Software Engineer
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…
Principal Software Engineer
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…
Technical Writer
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…
Technical Writer
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…
Communications Officer
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…
Technical Writer
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…
Principal Software Engineer
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,…
COO
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…
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 …
Communications Officer
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…
Intern Software Engineer
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…
Communications Officer
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 …
Principal Software Engineer
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…
Technical Writer
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…
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…
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…
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…
Communications Officer
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, …
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…
Senior Software Engineer
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 (…
Communications Officer
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…
Principal Software Engineer
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…
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…
Head of Human Resources
Communications Officer
What's New in MirageOS 4!
MirageOS 4.0 Release Week Tarides is thrilled to see the great responses to MirageOS 4.0 and the excitement that’s building across the community. We’re proud to have played an important part in its development and release, bringing great tools and opportunities to OCaml developers. If you haven…
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…
Communications Officer
Secure Virtual Messages in a Bottle with SCoP
People love to receive mail, especially from loved ones. It’s heartwarming to read each word as their thoughts touch our deepest feelings. Now imagine someone else reading those private sentiments, like a postal worker. Imagine how violated they’d feel if their postal carrier handed them an open…
Senior Software Engineer
Technical Writer
Segfault Systems Joins Tarides
We are delighted to announce that Segfault Systems, a spinout from IIT-Madras, is joining Tarides. Tarides has worked closely with Segfault Systems over the last couple of years, most notably on the award-winning Multicore OCaml project and the upstreaming plans for OCaml 5.0. This alliance furthers…
OCaml Labs Joins Tarides
Today I am incredibly delighted to announce that OCaml Labs, a spinout from the University of Cambridge, is joining Tarides. After successfully collaborating on many OCaml projects over the last four years, this alliance will combine the expertise of both groups and enable us to bring OCaml, one of …
'Signals and Threads' Podcast: What is an Operating System?
November has become MirageOS month! Between the upcoming official MirageOS 4.0 release, making custom Christmas Tree garlands with MirageOS on a Raspberry Pi, and now this "What is an Operating System?" podcast (featuring Tarides advisor and core MirageOS maintainer Anil Madhavapeddy), it truly is M…
Technical Writer
Tarides & Hyper: Partners in Agricultural Innovation
We are thrilled to announce a partnership between Tarides and Hyper, a technology provider in the agritech space who’s building an "operating system for high-performing farms." Indoor and vertical farms are becoming tech businesses that require scalable, flexible, and easy-to-use tools to facilita…
Technical Writer
MirageOS Workshop: Working with the Raspberry Pi 4
Earlier this week, Romain Calascibetta hosted an in-house MirageOS workshop for employees, both locally and remotely around the world. This interactive workshop taught participants how to build an operating system on a Raspberry Pi 4 using MirageOS. They got to create their own OS and play with proj…
Technical Writer
MirageOS 4.0 Preview Live Presentation
The official release of MirageOS 4.0 quickly approaches! Learn about some general MirageOS concepts and get a sneak park at the forthcoming changes in MirageOS 4.0 during a LIVE presentation today at 15h CET. Lucas Pluvinage will lead you through a live-streaming presentation to acquaint you with Mi…
Technical Writer
SCoP Passed Phase 1 of the DAPSI Initiative!
In April, we announced that the DAPSI initiative accepted the proposal for our Secure-by-Design Communication Protocols (SCoP) project. Today, we are thrilled to announce that SCoP has passed the initiative’s Phase 1, and we are now on our way to Phase 2! SCoP is an open, secure, and resource-effi…
Software Engineer
Technical Writer
The New Replaying Benchmark in Irmin
As mentioned in our Tezos Storage / Irmin Summer 2021 Update on the Tezos Agora forum, the Irmin team's goal has been to improve Irmin's performance in order to speed up the Baking Account migration process in Octez, and we managed to make it 10x faster in the first quarter of 2021. Since then, we'v…
Senior Software Engineer
Announcing Tezos’ 8th protocol upgrade proposal: Hangzhou
The last upgrade of the Tezos protocol, Granada, activated on August 6th, 2021. We are now glad to announce a new protocol proposal, Hangzhou, the result of a collaborative work from various teams. This is a joint post with Nomadic Labs, Marigold, Oxhead Alpha and DaiLambda. …
Tarides Returns to FIC 2021
Last year, Tarides had the honour of winning the “Coup de Coeur” Startup Award at the International Cybersecurity Forum (FIC). It’s the leading cybersecurity event in the EU. It’s both a forum, to present and discuss innovations and reflect on the state of the European cybersecurity ecosyste…
Technical Writer
Tarides Engineers to Present at ICFP 2021
This year marks the 25th anniversary of the OCaml Language! It's an exciting time for OCaml programmers and enthusiasts. A fun and informative way to celebrate OCaml's birthday is to attend the 26th Annual International Conference on Functional Programming (ICFP), held online this year due to ongoin…
Technical Writer
Benchmarking OCaml projects with current-bench
Regular CI systems are optimised for workloads that do not require stable performance over time. This makes them unsuitable for running performance benchmarks. current-bench provides a predictable environment for performance benchmarks and a UI for analysing results over time. Similar to a CI system…
Software Engineer
Tarides at WomenHack Virtual Event
Tarides takes great pride in a diverse workforce and strives to continue bringing talented people to its team from around the globe. This is why Sonja Heinze, a Tarides software engineer, and the Head of HR, Héloïse Lutton, will attend WomenHack, an online event dedicated to recruiting more women …
Technical Writer
Tarides Introduces OSMOSE at the Open-Source Innovation Sprint
Tarides is excited to announce that our CEO, Dr. Thomas Gazagnaire, and Prof. Anil Madhavapeddy, from the University of Cambridge, will present their innovative platform OSMOSE at the Open Source Innovation Sprint (OSIS) conference on 1 July 2021. This event is organized by Systematic. OSMOSE is a s…
Technical Writer
Tarides project SCoP is selected as one of the brightest Data Portability projects in Europe!
Tarides is taking part in the Data Portability & Services Incubator (DAPSI), a 3-year EU funded project that empowers internet innovators to develop new solutions in the Data Portability field. What is DAPSI? The Data Portability and Services Incubator (DAPSI) is an EU funded project, under the Euro…
Florence and beyond: the future of Tezos storage
In collaboration with Nomadic Labs, Marigold and DaiLambda, we're happy to announce the completion of the next Tezos protocol proposal: Florence. Tezos is an open-source decentralised blockchain network providing a platform for smart contracts and digital assets. A crucial feature of Tezos is self-a…
Software Engineer
Partnering for more diversity in Tech
Tarides is very glad to announce our partnership with Ada Tech School. Founded in 2019 and based in Paris (France), Ada Tech School, named for pioneer computer scientist Ada Lovelace, is a programming school designed for women but open to all. The program is driven by three values: feminism, empathy…
Recent and upcoming changes to Merlin
Merlin is a language server for the OCaml programming language; that is, a daemon that connects to your favourite text editor and provides the usual services of an IDE: instant feedback on warnings and errors, autocompletion, "type of the code under the cursor", "go to definition", etc. As we (Fréd…
Principal Software Engineer
