Looking Back on our Experience at ICFP!
Some of Tarides' engineers share their memories and impressions from the biggest functional programming event of the year.
Communications Officer
Discover our latest posts on #events and explore related insights and stories.
Looking Back on our Experience at ICFP!
Some of Tarides' engineers share their memories and impressions from the biggest functional programming event of the year.
Communications Officer
The Biggest Functional Programming Conference of the Year: What are we Bringing to ICFP?
Feeling fashionable? Milan is calling! ICFP 2024 will be held in the Italian fashion capital from 2-7 September, and there is something there for everyone to enjoy. The ACM SIGPLAN International Conference on Functional Programming is a yearly highlight with various keynotes, tutorials, and tracks t…
Communications Officer
We Host Our First OCaml Retreat in India!
Hacking retreats are great ways for programmers to connect, explore new ideas, and learn from each other. One of the most popular OCaml retreats is the much-loved Mirage retreat, organised annually in Morocco. But for us OCaml enthusiasts located elsewhere, the journey can be challenging (not to men…
Senior Software Engineer
Communications Officer
My 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 Auroville this week – look out for future posts on that! Another great (and bigger!) event is the annual free and open source software conference IndiaFOSS orga…
Senior Software Engineer
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
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
Prioritising Mental Health at Tarides
In a world that never stops, it's easy to get lost in the hustle and bustle of daily life, often overlooking the importance of maintaining our mental well-being, one of the most vital aspects of our existence. Especially on World Mental Health Day, observed every October 10th, it's crucial to reflec…
Technical Writer
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
OCaml at MinidebConf TN 2023
MinidebConf TN 23 was organised by Debian Developers and Villupuram Linux Users Group (VGLUG) as a precursor to DebConf 23 in September at Kochi, India. I had an opportunity to attend and speak at MiniDebConf TN. I presented two sessions, one built on our experiences of introducing a Code of Conduct…
Senior Software Engineer
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
More Than a Day: How Does Tarides Promote Women in Tech?
The aim of International Women’s Day is to raise awareness of gender inequalities and call for the empowerment of women worldwide. The goal is to forge a gender equal world and advance women’s equality in all forms. Within the field of technology, the focus is on elevating and advancing gender p…
COO
Lambda Retreat Report
Today we're taking a little pause from our OCaml 5 series to talk about a programming retreat. I spent a week in the woods with fellow programmers at the Lambda Retreat. It was a wonderful way to explore the nature of computations, abrstractions, and paradigms. Although I mostly work in OCaml, it wa…
Senior Software Engineer
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
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
Presenting on Algebraic Effects at FP-SYD
At ICFP this year, KC Sivaramakrishnan gave two talks that put OCaml 5 in the spotlight: his keynote, “Retrofitting Concurrency - Lessons from the Engine Room,” and the opening presentation of the OCaml workshop, “OCaml 5.0 - Concurrent and Parallel Programming.” Effect Handlers feature heav…
Principal Software Engineer
The MirageOS Retreat: A Journey of Food, Cats, and Unikernels
MirageOS is an OCaml ecosystem to construct unikernels, i.e., minimal operating systems. Here, we write about our social and technical experience at the MirageOS retreat in Morocco, as well as the vibe and wonderful organisational details. To sum up the technical part, we worked on different facets …
Senior Software Engineer
Intern Software Engineer
Senior Software Engineer
Senior Software Engineer
Principal Software Engineer
Senior Software Engineer
ICFP 2022 Review
After two years of online conferences, it was fantastic to have ICFP 2022 in person. The conference organisers had done a fantastic job adjusting to online conferences, but nothing beats the hallway track for meeting new people and catching up with old friends. This year, Slovenia's capital hosted t…
Principal Software Engineer
Tarides Sponsors High School Hackers
Tarides is excited to sponsor the Paradigm Conference (previously EsoLangConf) high school hackathon. This weekend, students from all over the world will team up to solve tricky programming problems, investigate diverse features of a range of programming languages, and build cool things! At Tarides,…
COO
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
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
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
'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
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
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
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 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…
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…
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
MirageOS, towards a smaller and safer OS
Presentation about MirageOS in Lambda World Cadìz on October 26th …
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
OCaml Users in Paris (OUPS)
Thomas Gazagnaire gave a presentation on MirageOS to the OCaml meetup in Paris. Check the slides for more details. …
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). …