Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

What is an Operating System?

Learn what an operating system is and its evolving role.

03 Nov 2021

Anil Madhavapeddy's Blog

Read Article
Talking with Jaap Frolich about graphql-ppx

Jaap (@JaapFrolich) is working at Walnut and maintainer of graphql-ppx If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount to em...

02 Nov 2021

Watch OCaml

View Video
Hiring a Developer Educator

We spend a lot of time on education at Jane Street. Like, really alot.

21 Oct 2021

Jane Street Tech Blog

Read Article
Casually talking about ReScript, OSS, and communities with Patrick Ecker

Patrick (@ryyppy) is working with OSS in ReScript and part of the core team If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount ...

20 Oct 2021

Watch OCaml

View Video
Verification for Dummies: SMT and Induction

Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl...

14 Oct 2021

OCamlPro

Read Article
SCoP Passed Phase 1 of the DAPSI Initiative!

In April, we announced that the DAPSI initiative accepted the proposal for our Secure-by-Design Communication Protocols (SCoP) project…

14 Oct 2021

Tarides

Read Article
Learning OCaml: An Online Learning Centre for OCaml

Learn OCaml: An Online Learning Center for OCaml, by Benjamin Canou, Grégoire Henry, Çagdas Bozman and Fabrice Le Fessant. We present Learn OCaml, a Web application that packs a set of learning activities for people who want to learn OCaml. It ...

09 Oct 2021

Watch OCaml

View Video
The State of the OCaml Platform

The State of the OCaml Platform: September 2016 by Louis Gesbert, on behalf of the OCaml Platform team

09 Oct 2021

Watch OCaml

View Video
What's new in OCamls 4.03

What is new in OCaml 4.03? by Damien Doligez

08 Oct 2021

Watch OCaml

View Video