27 Sep 2023 - Tarides
OCaml Blog
The OCaml Planet
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…
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…
20 Sep 2023 - Tarides
The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
We are happy to announce a new release of Alt‑Ergo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification.
This powerful tool is instrumental in the arsenal of static analysis solutions su...
18 Sep 2023 - OCamlPro
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…
15 Sep 2023 - Tarides
Beyond TypeScript: Differences Between Typed Languages
For the past six years, I have been working with OCaml, most of this time has been spent writing code at Ahrefs to process a lot of data…
14 Sep 2023 - Ahrefs
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.