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…
→ Read moreMulticore 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…
→ Read moreUpdates 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…
→ Read moreNetHSM: 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…
→ Read moreEio 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…
→ Read moreMy experience at IndiaFOSS 2023: Community, Workshop, and Talks
There are plenty of exciting computer programming events happening in India, including the 5 day OCaml retreat that Tarides is hosting in…
→ Read moreA 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…
→ Read moreTwo 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…
→ Read moreMy 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…
→ Read moreMulticore 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…
→ Read moreImproving 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…
→ Read moreAre 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…
→ Read moreMirageOS: 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…
→ Read moreWhat 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…
→ Read moreMeet 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…
→ Read moreAnnouncing 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…
→ Read more