blog.osau.re

MirageOS and OCaml stuffs.
github/dinosaure @Dinoosaure RSS

Hello, I'm Romain Calascibetta, developer and member of the MirageOS Core team. I mainly do OCaml, some C and I like drawing, guitar and politics. Here is my blog for my notes about MirageOS and OCaml and some little notes in French for sure.

You can check what I do on GitHub or on din.osau.re. Finally, you can follow me on twitter and Mastodon. If you want to do a epistolary exchange with me, you can send me an email to:

Essays and ramblings

  1. 2022-07-22 GADTs and state machine

    A little introduction about GADTs

  2. 2022-06-02 Spoke, how to implement a little cryptographic protocol

    A simple how-to to understand how we implement protocols for MirageOS

  3. 2022-04-21 Pasteur is up!

    A description of pasteur with MirageOS 4

  4. 2022-04-12 optint, 32-bits, 64-bits architecture and optimization

    An introduction about optint, a little library to help you to support 32-bits architecture and 64-bits architecture

  5. 2022-04-11 Again, re-update of my blog after 2 years.

    A setting in abyme about this blog!

  6. 2020-03-31 Release cycle about SMTP stack

    A description of the incoming SMTP stack.

  7. 2020-03-14 Eq(af), timing attack!

    A description of the new release of Eq{af}

  8. 2020-02-27 Tuyau, the next conduit

    An introduction about `tuyau` which wants to solve the Conduit's problem.

  9. 2020-02-17 Functor, Application and magick!

    A little trick about *functor*

  10. 2020-02-08 MirageOS compilation

    A little explanation about the MirageOS compilation design

  11. 2020-02-06 Hello World!

    My first article which explains the goal of this blog