I'm pretty happy what we at robur achieved over the years in terms of deploying #MirageOS unikernels, take a look yourself http://webmshare.com/play/QG0jJ
What you see is the deployment of the unikernel "unipi" (https://github.com/robur-coop/unipi) named "website", with a remote to my blog repository.
Now, dnsvizor (https://github.com/robur-coop/dnsvizor) hands out IP address (DHCP) and registers the name "website.mirage". It also acts as DNS resolver.
What we see next is the website served by the just deployed unikernel (on http://website.mirage).
The last bit we see is the query log of the dnsvizor resolver (at 10.0.42.2 -- out of a habit, http://dnsvizor.mirage would work as well). Here we see that the website.mirage unikernel requested git.robur.coop (both A and AAAA records), and later firefox looked up website.mirage.
The initial web interface is mollymawk (https://github.com/robur-coop/mollymawk).
Running on albatross https://github.com/robur-coop/albatross
This has been achieved thanks to the brilliant robur team and NGI funding :) 🎉 🙌🏾
I am pleased to announce a series of releases for developing unikernels with OCaml 5 and Miou. After extensive testing, we are now able to offer a new TCP/IPv4 and IPv6 stack in OCaml that aims to replace mirage-tcpip and pave the way for direct-style unikernel development. Below is an overview of the libraries we have built to make this possible. mkernel mkernel is a small library that provides the essentials for developing a unikernel targeting Solo5 or Unikraft. Its purpose is to expose hype...
Tickets for Friday's #BOBkonf2026 and the conference dinner are going fast and we're almost out -- in case you were still unsure whether to grab one, this might be the time!
📆 Évènement - Vendredi 13 mars 2026 - Orléans
"Et si nous arrêtions de produire de nouveaux équipements numériques ?"
Venez réfléchir, débattre, en vue d'agir, autour de cette question lors du clap de fin du projet ADEME AltImpact "InfraBasse", notre approche centrée sur la matérialité des infrastructures de la sobriété numérique.
🕓 Quand ? Le 13/03/26 de 9h à 19h
📍 Où ? À Orléans, au Café 109
🔗 Inscription & infos sur https://www.infrabasse.fr/109
Nine years ago, while I was still a fresh OCamlr, I gave a presentation (later turned blog post) with title First steps with Category Theory and OCaml. The idea was to show how to implement the basic typeclasses of Category Theory in OCaml, and how to use them to build a simple parser combinator library, by following what I had learned from Haskell. At the time, not knowing better, I stumbled upon an annoying issue: if you look at the code examples for the Alternative_Utils module, you will find the following commented-out code.
Zoggy
Hannes
Bob Konferenz
Deuxfleurs
Marcello Seri