Explore articles by Thomas Gazagnaire, featuring deep insights into systems programming, distributed computing, and cutting-edge technology. Discover the author's unique perspective and technical expertise that contribute to innovation at Tarides.
Tarides: 2024 in Review
In 2024, Tarides focused on making OCaml easier to adopt with better tools, expanded Windows support, and key ecosystem integrations like multicore and WebAssembly. Discover the highlights, including the first stable multicore release and the success of FUN OCaml.
Unlock your Team’s Potential with Expert Training in OCaml, Cybersecurity Fundamentals, Functional Programming, and More
Training your teams has proven benefits, enhancing the efficiency and quality of work, and equipping members with the skills they need to tackle new challenges. Specialist training empowers them to use new techniques, leverage advanced technologies, and solve more complex problems. At Tarides, we ar…
Head Consulting Services
A Time for Change: Our Response to the White House Cybersecurity Press Release
As seasoned proponents of safety-by-design, we were pleased to see the February 26th White House press release titled "Future Software Should Be Memory Safe." The accompanying report touches on important topics, most significantly regarding the critical importance of memory safety. The U.S. governme…
OCaml: Memory Safety and Beyond
Your choice of programming language matters. A recent press release from the US National Security Agency (NSA), in tandem with the US Cybersecurity and Infrastructure Security Agency (CISA) alongside international cybersecurity agencies, urges the adoption of memory-safe programming languages for en…
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…
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…
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 …
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 …
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…
Station F
We are thrilled to have been accepted into the Founders Progam's 3rd batch at Station F! Station F is "the only startup campus gathering a whole entrepreneurial ecosystem under one roof" and is providing 3000+ desks and 26 international startup programs. Our Paris offices are now located in that inc…
OCaml Users in Paris (OUPS)
Thomas Gazagnaire gave a presentation on MirageOS to the OCaml meetup in Paris. Check the slides for more details. …
MirageOS + Tezos funding
We are excited to announce that the Tezos Foundation will trust Tarides to package Tezos nodes as MirageOS unikernel, which will help participants establish nodes on the Tezos network in a more efficient and secure manner. …
Invited lecture at ENS
Thomas Gazagnaire gave an invited lecture at the computer science department of ENS, in Paris. This was part of the system and network L3 course. Check the slides (in english) and the exercices (in french). …
HotPOST'18
Anil Madhavapeddy and Gemma Gordon presented our new operating system for connected buildings: OSMOSE to HotPOST’18. OSMOSE is based on MirageOS and Irmin and we hope to explore that area more in the coming months! …
An Architecture for Interspatial Communication
Position paper on “An Architecture for Interspatial Communication” accepted to HotPOST’18. …
