Explore articles by Isabella Salenius, 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.
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
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
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
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
International Disability Day 2023: Why It Matters
When I was in my early 20s, I developed a chronic illness that (amongst other things) has affected my mobility. Becoming disabled is an eye-opening experience, as it makes you acutely aware of two things: First, there are many ways in which society genuinely tries to help people with disabilities, a…
Communications Officer
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
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
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
Reflections 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 for collaborating on software development. They give us a chance to focus more deeply on our work, collaborate closely, and learn from one another. We are part…
Senior Software Engineer
Communications Officer
Senior Software Engineer
Principal Software Engineer
Senior Software Engineer
Senior Software Engineer
Senior Software Engineer
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
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
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
How Nomadic Labs Used Multicore Processing to Create a Faster Blockchain
The technology that makes blockchain possible is complex, cutting-edge, and fascinating. Balancing efficiency and security on a knife's edge, it finds perfect harmony between high transaction speeds and safe, predictable results. Blockchain technology is constantly evolving, pushing the boundaries o…
Communications Officer
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
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
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
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
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
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
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
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
