20 Mar 2024 - Tarides
The OCaml Planet
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…
CPS Representation and Foundational Design Decisions in Flambda2
In this first post of the Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Compiling with Continuations, Continue...
19 Mar 2024 - OCamlPro
Flambda2 Ep. 1: Foundational Design Decisions
Welcome to The Flambda2 Snippets! In this first post of The Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Comp...
19 Mar 2024 - OCamlPro
The Flambda2 Snippets, Episode 0
At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduce the series of blog snippets show...
18 Mar 2024 - OCamlPro
Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
Introducing our Flambda2 snippets At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduc...
18 Mar 2024 - OCamlPro
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…
13 Mar 2024 - Tarides
Outreachy Presentations for the December 2023 Round
The OCaml community participated in the December 2023 round of Outreachy internships. Three interns worked on a range of projects including geometric creative coding libraries, dark mode for OCaml....
08 Mar 2024 - Watch OCaml
Lean 4: When Sound Programs become a Choice
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t...
07 Mar 2024 - OCamlPro
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.