The OCaml Planet

Anil Madhavapeddy is an academic, author, engineer, entrepreneur, and OCaml aficionado. In this episode, Anil and Ron consider the evolving role of operating systems, security on the internet, and the pending arrival (at last!) of OCaml 5.0. They also discuss using Raspberry Pis to fight climate change; the programming inspiration found in British pubs and on Moroccan beaches; and the time Anil went to a party, got drunk, and woke up with a job working on the Mars Polar Lander. Some links to topics that came up in the discussion: The latest edition of Real World OCaml: https://dev.realworldocaml.org/ The MirageOS library operating system: https://mirage.io/ Docker for Mac and Windows , which is based on MirageOS: https://www.docker.com/blog/docker-unikernels-open-source/ Cambridge University’s OCaml Labs: https://ocamllabs.io/ NASA’s Mars Polar Lander The Xen Project (https://xenproject.org/), which made extensive use of OCaml (https://ocaml.org/meetings/ocaml/2012/abstracts/oud2012-paper14.pdf) in their control stack. The Multicore branch of OCaml: https://github.com/ocaml-multicore/ocaml-Multicoremulticore monthly updates: https://discuss.ocaml.org/tag/multicore-monthly You can find the transcript for this episode and all past episodes at signalsandthreads.com.

Anil Madhavapeddy is an academic, author, engineer, entrepreneur, and OCaml aficionado. In this episode, Anil and Ron consider the evolving role of operating systems, security on the internet, and the pending arrival (at last!) of OCaml 5.0. They also discuss using Raspberry Pis to fight climate change; the programming inspiration found in British pubs and on Moroccan beaches; and the time Anil went to a party, got drunk, and woke up with a job working on the Mars Polar Lander. Some links to topics that came up in the discussion: The latest edition of Real World OCaml: https://dev.realworldocaml.org/ The MirageOS library operating system: https://mirage.io/ Docker for Mac and Windows , which is based on MirageOS: https://www.docker.com/blog/docker-unikernels-open-source/ Cambridge University’s OCaml Labs: https://ocamllabs.io/ NASA’s Mars Polar Lander The Xen Project (https://xenproject.org/), which made extensive use of OCaml (https://ocaml.org/meetings/ocaml/2012/abstracts/oud2012-paper14.pdf) in their control stack. The Multicore branch of OCaml: https://github.com/ocaml-multicore/ocaml-Multicoremulticore monthly updates: https://discuss.ocaml.org/tag/multicore-monthly You can find the transcript for this episode and all past episodes at signalsandthreads.com.

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...

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

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 ...

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...

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

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 ...