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.
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…
COO
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
Tarides sponsors the Oxbridge Women in Computer Science Conference 2020
The Oxbridge Women in Computer Science conference is an annual one-day event hosted by the Universities of Oxford and Cambridge (UK). The conference is free and open to everyone from any discipline, regardless of gender identity. Its purpose is to spotlight the successes of women within computer sci…
Building portable user interfaces with Nottui and Lwd
At Tarides, we build many tools and writing UI is usually a tedious task. In this post we will see how to write functional UIs in OCaml using the Nottui & Lwd libraries. These libraries were developed for Citty, a frontend to the Continuous Integration service of OCaml Labs. In thi…
Principal Software Engineer
Tarides is now a sponsor of the OCaml Software Foundation
Tarides is pleased to provide support for the OCaml Software Foundation, a non-profit foundation hosted by the Inria Foundation. The OCaml Software Foundation's mission is to promote the OCaml programming language and its ecosystem by supporting the growth of a diverse and international community of…
Irmin: September 2020 update
This post will survey the latest design decisions and performance improvements made to irmin-pack, the Irmin storage backend used by Tezos. Tezos is an open-source blockchain technology, written in OCaml, which uses many libraries from the MirageOS ecosystem. For more context on the design of irmin-…
Introducing irmin-pack
irmin-pack is an Irmin storage backend that we developed over the last year specifically to meet the Tezos use-case. Tezos nodes were initially using an LMDB-based backend for their storage, which after only a year of activity led to 250 GB disk space usage, with a monthly growth of 25 GB. Our goal …
Senior Software Engineer
Fuzzing OCamlFormat with AFL and Crowbar
AFL (and fuzzing in general) is often used to find bugs in low-level code like parsers, but it also works very well to find bugs in high level code, provided the right ingredients. We applied this technique to feed random programs to OCamlFormat and found many formatting bugs. OCamlFormat is a tool …
Principal Software Engineer
The future of Tezos on MirageOS
We are very glad to announce that Tarides has been awarded two new grants from the Tezos Foundation. Thanks to these new grants, Tarides will continue to work on the integration between Tezos and MirageOS. We believe that the secure deployment of blockchains is still a major challenge today, and tha…
Tarides wins the FIC 2020 startup award
We are very excited to announce that Tarides has won an award from the International Cybersecurity Forum (FIC 2020). Organized every year in Lille (France), the International Cybersecurity Forum has become the leading European event on cybersecurity and digital trust. Its main goal is to foster refl…
MirageOS talk at the Paris Open Source Summit
We are thrilled to have been selected by the Paris Open Source Summit committee to talk about “Secure-by-design IoT applications using MirageOS”. The Paris Open Source Summit is an annual event where you can connect to open-source communities and learn from tech leaders, project committers and C…
Introducing the GraphQL API for Irmin 2.0
With the release of Irmin 2.0.0, we are happy to announce a new package - irmin-graphql, which can be used to serve data from Irmin over HTTP. This blog post will give you some examples to help you get started, there is also a section in the irmin-tutorial with similar information. To avoid writing …
Irmin v2
We are pleased to announce Irmin 2.0.0, a major release of the Git-like distributed branching and storage substrate that underpins MirageOS. We began the release process for all the components that make up Irmin back in May 2019, and there have been close to 1000 commits since Irmin 1.4.0 released …
Mr. MIME - Parse and generate emails
We're glad to announce the first release of mrmime, a parser and a generator of emails. This library provides an OCaml way to analyze and craft an email. The eventual goal is to build an entire unikernel-compatible stack for email (such as SMTP or IMAP). In this article, we will show what is current…
Software Engineer
Decompress: Experiences with OCaml optimization
In our first article we mostly discussed the API design of decompress and did not talk too much about the issue of optimizing performance. In this second article, we will relate our experiences of optimizing decompress. As you might suspect, decompress needs to be optimized a lot. It was used by sev…
Software Engineer
An introduction to fuzzing OCaml with AFL, Crowbar and Bun
American Fuzzy Lop or AFL is a fuzzer: a program that tries to find bugs in other programs by sending them various auto-generated inputs. This article covers the basics of AFL and shows an example of fuzzing a parser written in OCaml. It also introduces two extensions: the Crowbar library which can …
Senior Software Engineer
Decompress: The New Decompress API
RFC 1951 is one of the most used standards. Indeed, when you launch your Linux kernel, it inflates itself according zlib standard, a superset of RFC 1951. Being a widely-used standard, we decided to produce an OCaml implementation. In the process, we learned many lessons about developing OCaml where…
Software Engineer
i-Lab 2019
We are thrilled to announce that Tarides is laureate of the 21st edition of the i-Lab innovation contest for its innovative technological solution: OSMOSE. Organized by the French Ministry of Higher Education, Research and Innovation in partnership with Bpifrance, the objective of this competition i…
Release of OCamlFormat 0.10
We are pleased to announce the release of OCamlFormat 0.10 (available on opam). There have been numerous changes since the last release, so here is a comprehensive list of the new features and breaking changes to help the transition from OCamlFormat 0.9. ocamlformat-0.10 now works on the 4.08 AST, a…
Senior Software Engineer
On the road to Irmin v2
Over the past few months, we have been heavily engaged in release engineering the Irmin 2.0 release, which covers multiple years of work on all of its constituent elements. We first began Irmin in late 2013 to act as a Git-like distributed and branchable storage substrate that would let us escape th…
An introduction to OCaml PPX ecosystem
These last few months, I spent some time writing new OCaml PPX rewriters or contributing to existing ones. It's a really fun experience. Toying around with the AST taught me a lot about a language I thought I knew really well. Turns out I actually had no idea what I was doing all these years. All jo…
Senior Software Engineer
7th MirageOS hack retreat
Let's talk sun, mint tea and OCaml: Yes, you got it, the MirageOS biennial retreat at Marrakesh! For the 7th iteration of the retreat, the majority of the Tarides team took part in the trip to the camels country. This is a report about what we produced and enjoyed while there. Charles-Edouard Lecat …
Software Engineer
Dune 1.9.0
Tarides is pleased to have contributed to the dune 1.9.0 release which introduces the concept of library variants. Thanks to this update, unikernels builds are becoming easier and faster in the MirageOS universe! This also opens the door for a better cross-compilation story, which will ease the addi…
Senior Software Engineer
Release of OCamlFormat 0.9
We are pleased to announce the release of OCamlFormat (available on opam). There have been numerous changes since the last release, so here is a comprehensive list of the new features and breaking changes to help the transition from OCamlFormat 0.8. Additional dependencies OCamlFormat now requires: …
Senior Software Engineer
Release of Base64
MirageOS is a library operating system written from the ground up in OCaml. It has an impossible and incredibly huge goal to re-implement all of the world! Looking back at the work accomplished by the MirageOS team, it appears that's what happened for several years. Re-implementing the entire stack,…
Software Engineer
How configurator reads C constants
Dune comes with a library to query OS-specific information, called configurator. It is able to evaluate C expressions and turn them into OCaml value. Surprisingly, it even works when compiling for a different architecture. How can it do that? …
Principal Software Engineer
MirageOS, towards a smaller and safer OS
Presentation about MirageOS in Lambda World Cadìz on October 26th …
Software Engineer
ocaml-git 2.0
I'm very happy to announce a new major release of ocaml-git (2.0). This release is a 2-year effort to get a revamped streaming API offering a full control over memory allocation. This new version also adds production-ready implementations of the wire protocol: git push and git pull now work very rel…
Software Engineer
OCamlFormat 0.8
We are proud to announce the release of OCamlFormat 0.8 (available on opam). To ease the transition from the previous 0.7 release here are some highlights of the new features of this release. The full changelog is available on the project repository. Precedence of options In the previous version you…
Senior Software Engineer
OCaml Workshop 2018
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. OCaml 2018 was held on September 27th, 2018 in St. Louis, Missouri, USA, colocated with ICFP 2018. Check Tarides' talks: RFCs…
Software Engineer
Dune 1.2.0
After a tiny but important patch release as 1.1.1, the dune team is thrilled to announce the release of dune 1.2.0! Here are some highlights of the new features in that version. The full list of changes can be found in the dune repository. Watch mode When developing, it is common to edit a file, run…
Principal Software Engineer
