Discover our latest posts on #ocaml and explore related insights and stories.
Creating the SyntaxDocumentation Command - Part 1: Merlin
OCaml development has never been more enchanting, thanks to Merlin – the wizard of the editor realm. The magic of Merlin is something that makes programming in OCaml a very nice experience. By Merlin, I don't mean the old gray-haired, staff-bearing magic guy. I'm talking about the editor service t…
Software Engineer
Multicore Testing Tools: DSCheck Pt 2
Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter implementation. This post will give you a behind-the-scenes look at how DSCheck works its magic, including the theory behind it and how to write a test for our nai…
Senior Software Engineer
Communications Officer
Updates to OCaml.org's Learn Section: Enhancing UI and UX
Over the past year, the OCaml.org team has been hard at work addressing user feedback to make the OCaml.org Learn section more accessible and organised in order to facilitate learning OCaml and enriching the overall OCaml experience. In 2023, I joined the OCaml.org team as a UX /UI Designer. One of …
UX/UI Designer
NetHSM: Bringing Open Source to the World of Hardware Security Modules
Nitrokey is one of the world’s foremost open-source hardware security companies. They develop IT security hardware for data encryption, decryption, and signing, including key and user authentication. After eight years of development, they recently released the first fully open-source Hardware Secu…
Communications Officer
Principal Software Engineer
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
The OCaml 5 update brought much-anticipated support for programming on multiple cores. It also introduced support for concurrency via effect handlers – one of the first mainstream languages to do so. This significant update has had profound performance and UX implications, propelling OCaml into ne…
Communications Officer
Principal Software Engineer
Advisor
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…
Two Major Improvements in odoc: Introducing Search Engine Integration
In the world of OCaml documentation generation, there have been two significant enhancements that promise to make navigating OCaml documentation easier and more efficient. These improvements are divided into two distinct but interrelated components: changes in odoc itself and improvements in a searc…
Senior Software Engineer
Technical Writer
My Experience With Tarides at ICFP 2023!
ICFP 2024 will be upon us sooner than you might think! The call for papers closes on the 28th of February, and I wish everyone submitting good luck. Hopefully I will see you around Milan this upcoming September (at the OCaml Workshop, of course!) and to stave off your ICFP cravings until then, enjoy…
Senior Software Engineer
Multicore Testing Tools: DSCheck Pt 1
Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played a significant part in making OCaml Multicore a reality, and we have continued to work on supporting tools that make parallel programming in OCaml as seamless as…
Senior Software Engineer
Communications Officer
Improving OCaml.org to Provide an Engaging UX and Trusted User Resources
The OCaml.org team, which includes members from Tarides, have been working hard to improve OCaml.org. In the first half of 2023, our primary focus was on the much-needed overhaul of OCaml.org's documentation and overall UX Design. We aspired to enhance user experience and accessibility throughout th…
Technical Writer
Are Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml
As programs grow in size and complexity, they become more challenging to optimise. When the cause of a particular performance issue can theoretically be attributed to multiple sources, developers need concrete data to drive their decision making and avoid time-consuming guesswork. As you can imagine…
Communications Officer
MirageOS: Designing a More Resilient Networking Stack With µTCP
There is no room for complacency in software development! In the OCaml ecosystem, improvements are continuously introduced to optimise existing workflows, introduce new features, and boost performance. MirageOS is a toolchain for creating unikernels (very small images that embed both an application …
Principal Software Engineer
What are Data Races? And do They Threaten Your Business?
Imagine you have a brand-new coffee machine. One morning, you traipse excitedly down the stairs only to discover that, alas, your appliance has turned into a potato. The next day, it turns back into a coffee machine. And so it continues: on some days, it dispenses you perfect, frothy coffee; on othe…
Communications Officer
Meet odoc, OCaml's Documentation Generator
Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and its tooling, which leads to more robust and maintainable code. When it comes to OCaml, odoc is the wizard behind the scenes, ensuring developers not only underst…
Technical Writer
Announcing the ORCHIDE Project: Powering Satellite Innovation
It has been a few months since we announced our new product for both older and newer models of satellites: SpaceOS. Since then, there have been exciting updates to the use of SpaceOS for innovative satellite applications. Tarides is thrilled to announce our partnership with several esteemed organisa…
Communications Officer
OCaml Survey: Developers' Perception, Interest, and Perceived Barriers
Tarides is conducting a survey targeting non-OCaml programmers to learn their thoughts about this functional programming language and uncover any misconceptions surrounding it. Please take a few mintues to fill it out if you haven't yet done so. This post shows our preliminary findings based on a re…
Technical Writer
How to Install OCaml 5: A Video Tutorial
Have you had difficulty installing OCaml for your projects? We have created a video tutorial showing you how to use Opam to install OCaml on Linux and macOS. All you need to complete the tutorial is a computer running either Linux or macOS, and an internet connection. By the end of the tutorial you …
Communications Officer
OCaml Hacking Day in Chennai!
It is a truth universally acknowledged, that a programmer in possession of a free Saturday afternoon must be in want of a good old OCaml hacking session. To address this pressing need, we recently hosted another OCaml Hacking Day event – this time at our Tarides India office in Chennai. We had a t…
Communications Officer
WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
OCaml is constantly evolving. Developers collaborate to bring support for new features, improve workflows, and resolve pain points. To this end, the OCaml-Wasm GitHub organisation was recently established. Its goal is to bring WebAssembly support to OCaml. WebAssembly, more commonly known as Wasm, i…
Communications Officer
Off to the Races: Using ThreadSanitizer in OCaml
OCaml Multicore opened up a new world of performance for developers, something that Nomadic Labs has tested with great results. Rather than relying on one core to do everything, the program can take advantage of multiple cores simultaneously for a significant performance boost. With new programming …
Senior Software Engineer
Senior Software Engineer
Communications Officer
Porting OBuilder to FreeBSD
OBuilder is a tool for performing arbitrary, reproduceable builds of OCaml-related software within a sandboxed environment. It is used by the CI team at Tarides to provide OCaml-based Continuous Integration (CI) for projects like opam-repo-ci, ocaml-ci, and multicoretest-ci. Originally written for L…
Principal Software Engineer
Principal Software Engineer
Tutorial: How to Port Lwt Applications to Eio
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 e…
Communications Officer
A Year of SpaceOS: Showing the World the Benefits of OCaml
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 OCaml use cases developed at Tarides. With our new SpaceOS solution, Tarides can provide significant quality-of-life upgrades for industries that rely on satell…
Senior Software Engineer
Our Experience at Tarides: Projects From Our Internships in 2023
Internships at Tarides We regularly have the pleasure of hosting internships where we work with engineers from all over the world on a diverse range of projects. By collaborating with people who are relatively new to the OCaml ecosystem, we get to benefit from their perspective. Seeing things with f…
Intern Software Engineer
Intern Software Engineer
The State of the Art in Functional Programming: Tarides at ICFP 2023
ICFP 2023 The 28th ACM Sigplan International Conference on Functional Programming is taking place in Seattle as I’m typing. This is the largest international research conference on functional programming, and this year’s event features fascinating keynotes (including one from OCaml’s very own …
Communications Officer
Your Programming Language and its Impact on the Cybersecurity of Your Application
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 the Cybersecurity Advisory Committee, the Cybersecurity and Infrastructure Security Agency’s Senior Technical Advisor Bob Lord commented that: “About two-thir…
Senior Software Engineer
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 improve performance and add a transaction mechanism that makes it easy to compose atomic operations without really adding more expressive power. In this part we'll…
Principal Software Engineer
Kcas: 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 more recent development process of optimising Kcas and turning it into a proper Software Transactional Memory (STM) implementation for OCaml. While this is not me…
Principal Software Engineer
OBuilder on macOS
The CI team at Tarides provides critical infrastucture to support the OCaml community. At the heart of that infrastructure is providing a cluster of machines for running jobs. This blog post details how we improved our support for macOS and moved closer to our goal of supporting all Tier1 OCaml plat…
System Administrator
OCaml 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 world. This includes our work on essential open-source libraries and tooling in the OCaml space, but also extends to include cutting-edge innovation through Mirag…
Head Consulting Services
Sandmark: 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 thorough benchmarking becomes even more critical. This is where Sandmark comes into play. Sandmark, developed for the OCaml programming language, has proven to be…
Senior Software Engineer
OCaml-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: it should provide a zero-configuration experience for OCaml projects using opam and Dune, and it should use an incremental architecture to avoid expensive recomp…
Principal Software Engineer
Principal Software Engineer
Making 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 programming language implementation, research, and tools. It is especially notable that 4 out of the 14 named OCaml compiler developers are affiliated with Tarides: Anil,…
Zero-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 Zero tracks zero-day vulnerabilities at major software vendors. In 2021, their tracker noted the detection and disclosure of 58 in-the-wild zero-day exploits, …
Communications Officer
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…
Compiler 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 (although full disclosure, our sample size for this data could be larger). On Friday the 24th of February, Tarides’s UK office hosted an evening of compile…
Communications Officer
The 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 can use OCaml 5 in your own projects, please contact us for more information. We also recommend watching KC Sivaramakrishnan's ICFP 22' talk Retrofitting Concurre…
Communications Officer
Engineer Spotlight: Sudha Parimala
For our third and final Engineer Spotlight, we interviewed Sudha Parimala, a Tarides engineer who works primarily on the Multicore Applications team. She talks about what lead her to become an OCaml programmer and why she's excited about OCaml 5, as our blog series on Multicore OCaml continues. Chr…
Technical Writer
Senior Software Engineer
Engineer Spotlight: Zach Shipko
Tarides engineer Zach Shipko answers a few questions about why he decided to learn OCaml and why he's particularly excited about the OCaml 5 release. In celebration of OCaml 5, we've interviewed several engineers about their personal experience with the language and what features they enjoy. It's a …
Technical Writer
Senior Software Engineer
Engineer Spotlight: Jules Aguillon
In celebration of the OCaml 5 release, we decided to interview a few of our talented engineers about OCaml. While it isn't a well-known language outside of the functional programming community, we're striving to get the word out about the great benefits of OCaml and why it's worth your time to try i…
Senior Software Engineer
Technical Writer
Love Rust? Then OCaml's New Eio Library is for You
We’ve come to expect a lot from the programming languages we use. We want the memory safety of Java, the performance of C/C++, and the concurrency of Go. On top of this, we need robust cybersecurity tools to protect us from the many risks and vulnerabilities in the world, all in an intuitive and e…
Communications Officer
OCaml 5 Multicore Testing Tools
The new version of OCaml 5 is here! It brings the ability to program multicore applications and to maximise our usage of all the CPU cores without a global lock getting in the way of performance. What's most exciting to me though is that we have a whole new way of writing... bugs! And with so much p…
Principal Software Engineer
Advanced Merlin Features: Destruct and Construct
Merlin is one of the most important tools for OCaml users, but a lot of its advanced feature often remain unknown. For OCaml newcomers who might not know, Merlin is the server software that provides intelligence to code editors when working on OCaml documents. It allows one to easily navigate the co…
Principal Software Engineer
OCaml 5 With Multicore Support Is Here!
It's here! It's finally here! On Friday, 16 December 2022, the OCaml community announced the official release of Multicore OCaml! From the beginning, Tarides has been deeply involved in OCaml's evolution, so we're very proud to present OCaml 5! Our work with the myriad of academics, industrial devel…
Technical Writer
OCaml 5 Release Candidate Now Available!
We're in the home stretch for the full OCaml 5 release. Multicore is almost here! Yesterday its Release Candidate (RC) was announced on the OCaml Discuss, which is the final step before the major release, expected before Christmas. To learn more about the exciting features coming with OCaml 5, you c…
Technical Writer
OCaml 5 Beta2 Release
Just about a month after the OCaml 5 Beta release, the OCaml 5 Beta2 version has been released, taking us one step closer to the full OCaml 5 with Multicore release later this year. The OCaml community's collaboration is coming to fruition! Although we're not quite ready for the RC1 (Release Candida…
Technical Writer
Solve the 2022 Advent of Code Puzzles with OCaml
Too many programmers only know OCaml through a functional programming language overview course at university. They erroneously believe OCaml is used primarily in academia rather than in the real world. Not only is OCaml already used in several prominent businesses, it can also be used for fun projec…
Technical Writer
Six Surprising Reasons the OCaml Programming Language is Good for Business
Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers. Examples of functional programming languages include OCaml, Erlang, Clojure, Haskell, Scala, and Common Lisp. Choosing the right programming language is criti…
Communications Officer
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
