iiinova — where your digital self keeps evolving

NON-TOXICNo ads · No shady algorithms

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Dinosaure

@dinosaure.mastodon.social.ap.brid.gy

5 followers 1 following 59 posts

Wesh gro bi1? #OKLM #OCaml #MirageOS 🌉 bridged from ⁂ mastodon.social/@dinosaure, follow @ap.brid.gy to interact

Posts Replies Media

Reposted by Dinosaure

Ex falso quodlibet @exfalsoquodlibet.piaille.fr.ap.brid.gy · 21/10/2026

Mon petit service web (que personne n'utilise parce que sans doute beaucoup trop niche) étant écrit en #OCaml, je n'ai pas eu de problème aujourd'hui.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 20/10/2026

I'm really proud to announce our new website for #unikernel in #OCaml: uniker.nl. You can check details here: discuss.ocaml.org/t/ann-uniker-nl-u…. A new story begins!

Home — Unikernels in OCaml

Building operating systems that do one thing with OCaml and Solo5.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 11/10/2026

It seems that not only is it possible to find people who are experts in #MirageOS without having been involved with it for years, but also to completely miss the point of #unikernels when using #AI (since, when it comes to "security" and unikernels, it is the handmade aspect that really counts) […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 08/10/2026

And a little article on our blog about this implementation: blog.robur.coop/articles/2026-10-08… #OCaml #WireGuard #unikernel

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 06/10/2026

Something good is here #OCaml #unikernel: github.com/robur-coop/zostera (at least, I spent the day with a tunnel like this).

GitHub - robur-coop/zostera: WireGuard protocol in pure OCaml and as unikernel

WireGuard protocol in pure OCaml and as unikernel. Contribute to robur-coop/zostera development by creating an account on GitHub.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 01/10/2026

I just deployed chaos.osau.re, it's a simple website (as an unikernel obvisouly) which is synchronized with my NTP server (osau.re:123) which is also an #unikernel in #OCaml - It exists for a (not so long) time, but it works well! You can check more details here […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 30/09/2026

We 1k stars on github.com/Solo5/solo5 (#unikernel)! Proud to maintain such project.

GitHub - Solo5/solo5: A sandboxed execution environment for unikernels

A sandboxed execution environment for unikernels. Contribute to Solo5/solo5 development by creating an account on GitHub.

Reposted by Dinosaure

Ex falso quodlibet @exfalsoquodlibet.piaille.fr.ap.brid.gy · 20/09/2026

It's live: scales.exfalsoquodlibet.xyz

scales.exfalsoquodlibet.xyz

Scales Explorer

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 04/09/2026

I'm really happy to announce the release of `bstr.0.1.0` and `bin.0.1.0`. You can see the announcement here: discuss.ocaml.org/t/ann-bstr-slice-…. I played a lot the past weeks to be able to encode & decode binary formats in #OCaml […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 03/09/2026

Ah Pierre Beyssac m'a bloqué (je me permets de mettre son nom vu que c'est une personnalité publique) :tinking:

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 03/09/2026

RE: mast.eu.org/@pb/117201833143190916 Je me suis toujours méfié de cette personne dans ses positions et je me suis toujours demandé pourquoi cette personne s'est retrouvé à représenter le parti pirate. Ce thread confirme un peu ma suspicion sur son rapport à l'informatique, son […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

@edwintorok to be precise, I started `bstr` mostly for github.com/ocaml/ocaml/issues/14069. I really would like to clone me sometimes.

Add `{get,set}_int{16,32,64}_{le,be}` to `Bigarray.Array1`? · Issue #14069 · ocaml/ocaml

The primitives that allow reading and writing integers of various sizes from- and to- char bigarrays are not currently exposed. Is there a reason not to expose them in Bigarray.Array1 (especialized...

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

@edwintorok that's actually one of my deep goal (and bstr is an experiment where I can easily get metrics) but I never have the time to prepare something (like an RfC) and propose something to OCaml. I really would like but too much to do on much more interesting topics.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

I think we still have some rooms to optimize and it probably about some cold execution paths (still to remove `caml_apply`) but it's nice to see that we can do to optimize. It reminds me the time where I made decompress 🫠

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

Another cool stuff is to take the advantage of CPU. #OCaml is pretty dumb about optimisation, your CPU is not. The idea is to load a 8-bytes word for smaller values (such as int16 or int32) and let the CPU to be smart enough to fusion this "mov" which can appears three or four times.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

From my experiment, OCaml has a huge penalty: caml_apply. When OCaml does not statically the arity of a function, it uses this helper which has a real cost. It's why one of the key optimisation is to expand the call site :tinking […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/08/2026

I found a rabbit-hole about encoding/decoding binary data in #OCaml, it results to a DSL which is the fastest about decoding things (like IPv4 packets). You can see the implementation here: github.com/robur-coop/bstr/tree/bin I will make a release soon!

GitHub - robur-coop/bstr at bin

A synthetic library for bigstrings. Contribute to robur-coop/bstr development by creating an account on GitHub.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/07/2026

RE: social.coop/@hannes/116965573528250… It’s a great #OCaml library for a widely used and very complex protocol. In any case, I’ve learnt a great many things from it and I still have a lot to learn.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 08/07/2026

RE: mastodon.social/@dinosaure/11680151… The Git repository has now been deleted in order to cover their tracks :blobpeek:

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 28/06/2026

@kirancodes.me Unfortunately, we are already seeing some contracts between companies that develop OCaml and others, such as Thales 🫠

Reposted by Dinosaure

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

A theft that, in this case and with the help of #AI, probably took only a few minutes because all our projects are publicly available. So, yes, you can copy our code, but it’s still hard to copy the technical ingenuity to find a solution, the skill to discuss technical matters with others, and […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

A theft that, in this case and with the help of #AI, probably took only a few minutes because all our projects are publicly available. So, yes, you can copy our code, but it’s still hard to copy the technical ingenuity to find a solution, the skill to discuss technical matters with others, and […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

I'm sure this person will proudly boast about how they can now develop awesome unikernels in #OCaml… The fact is, this is theft: theft of the time I spent sitting in a chair, talking with people, and taking the time to listen to the criticism and suggestions for improvement offered by friends […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

And then along comes someone who's fairly well-versed in what we do and decides to adopt exactly the same design as ours (that famous GADT for defining the devices our unikernel needs) without acknowledging the connection (I know this GADT; I spent a long time sitting in front of it!) […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

Five unikernels later, we’ve confirmed (to some extent) that the #GADT we introduced two years ago was indeed a good idea. And that’s to be expected! I already told my manager at the time that it takes an average of 10 years to get a good API…

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

Furthermore, taking the time to sit down, think things through, and discuss ideas with others can help find solutions faster than expected. So, as I mentioned, we began developing our first unikernel with mkernel a year ago with Chaos, an NTP server implemented as a #unikernel This phase is […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

This project had one unique feature: it allowed us to specify the devices needed by the unikernel using a #GADT. This GADT didn’t come out of nowhere; it was originally developed for another project called mimic, which was itself inspired by yet another project named crowbar. The ingenuity here […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern: - we sat down to think very hard - and we talked with others to broaden our perspective And so, two years ago, we developed mkernel ( […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 23/06/2026

A little background might be helpful when others use #AI to replicate our design without our consent. For the past three years, at robur.coop, we’ve been trying to develop a scheduler for #OCaml. It isn’t inspired by eio (a competitor) because we want to solve problems we face every day […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 12/06/2026

A year ago, I started implementing a ntp server as a unikernel. I had finished the big part: the client side, which combines multiple sources. Recently, I got back to this project and implemented the server side, which turned out not to be that difficult at […] [Original post on mastodon.social]

osau.re is selected as the source synchronization for ntpd

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 10/06/2026

@avsm @nick @samoht it's unfortunate that you did not try our new mailing list with unikernels in #OCaml: mailingl.st

ptt - mailing lists as unikernels

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 05/06/2026

I’ve been working for several days now on an old #unikernel that I started back in 2022. Four years on, it incorporates our latest work on mkernel, mnet, #OCaml 5 and vif, which has allowed me to redeploy it on my server. paste.osau.re is now available again! It’s a good example of how […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 03/06/2026

@edwintorok @reynir you can check the unikernel here: github.com/reynir/banawa-chat/pull/3. You can clone the version and try it with `opam pin add git+https://github.com/dinosaure/banawa-chat.git#new-workflow` if you want. Then, the unikernel will be available here: `$(opam var […]

mastodon.social

Original post on mastodon.social

Reposted by Dinosaure

David Dufresne @davduf.mamot.fr.ap.brid.gy · 02/06/2026

Sur LCI, on cartoone la guerre à coup d'IA. Ces gens n'ont aucun respect (ni pour leurs spectateurs, ni pour eux-mêmes).

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 02/06/2026

@edwintorok @reynir yes, it can b ereally interesting, I will try to push all of my work as soon as possible to give you the opportunity to play with all the stuff :)

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 02/06/2026

I've finally finished my implementation of SSH for unikernels in #OCaml. For this example, I've used @reynir project to implement a #unikernel that offers a chat service (like IRC) via SSH. So now we have an engine for providing a TUI within a unikernel that […] [Original post on mastodon.social]

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 01/06/2026

By Benjamin Thullier (bsky.app/profile/gilwath.com) Did I continue my exploration of OCaml? Yes. Was it fun? Definitely. And did I learn a few things? Absolutely gilwath.com/articles/from_scala_to_…

Discovering OCaml as a Scala Developer Part 2: Building a CRUD HTTP API

Building the same small Tasks CRUD API in both Scala and OCaml, and comparing the experience side by side.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 28/05/2026

@edwintorok yes, we still have some rooms to improve `solo5-hvt` but it requires a work with `utcp` specially to handle GSO/GRO & TCO. At least, we've managed to catch up with KVM improvements.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 28/05/2026

I just made a new release of Solo5 (github.com/solo5/solo5) and it improves our #unikernel (specially the networking) for Linux (we can transfer 3 times more data per second)! It paves the good way for next things.

GitHub - Solo5/solo5: A sandboxed execution environment for unikernels

A sandboxed execution environment for unikernels. Contribute to Solo5/solo5 development by creating an account on GitHub.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 25/05/2026

What I observe, above all, is the isolation of certain people because they have failed to work with others and still believe their ideas are the best. This isn’t really an argument against AI, but this tool highlights this inability in some people to take the time to work with others. At least […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 25/05/2026

I’ve just discovered: riot.ml. Many people would say the end result is really good, but I think (and this is just my opinion) that it highlights a much sadder reality: what’s the point of recreating the world all on your own? Above all, it shows the inability of some people to even […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 08/05/2026

I'm really pleased to announce the next version of Miou (0.6.0) here: discuss.ocaml.org/t/ann-miou-a-simp…. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various […]

mastodon.social

Original post on mastodon.social

Reposted by Dinosaure

Ex falso quodlibet @exfalsoquodlibet.piaille.fr.ap.brid.gy · 18/04/2026

Je commence à ne pas être mécontent de moi ! Serveur en #OCaml avec Vif (très agréable à utiliser).

Capture d'écran d'un page web proposant un formulaire pour construire une séance de travail de gamme (en musique), suivi de la réponse du serveur consistant en une liste de nom de modes accompagnés des différences par rapport au mode précédent et des notes qui le constituent.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 15/04/2026

I am pleased to announce the launch of our mailing list ptt@mailingl.st. You can view the announcement here: discuss.ocaml.org/t/ann-ptt-a-maili…. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!

discuss.ocaml.org

[ANN] `ptt`, a mailing list system as unikernel

Hey! We just launched a new mailing list powered entirely by OCaml unikernels. The website (itself a unikernel) is at https://mailingl.st. You can subscribe to ptt@mailingl.st by sending an email to ptt-subscribe@mailingl.st if you’re interested in the development and deployment of SMTP-related unikernels. Fair warning: this is still a public test mailing list for now. In the long run, it will focus on our ptt project. The SMTP protocol: a long and winding road! In the beginning, email It all ...

Reposted by Dinosaure

mx alex tax1a - 2020 (6) @atax1a.infosec.exchange.ap.brid.gy · 09/04/2026

@dinosaure oh yeah i suppose we could show you some of our Ocaml stuff fossil.se30.xyz/ratrap here's what we've done with Cohttp fossil.se30.xyz/mastocaml is done with Lwt fossil.se30.xyz/silicon-dawn has no async, and was the first real thing we did :)

fossil.se30.xyz

ratrap: Top-level Files of tip

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 06/04/2026

@atax1a you can with YOCaml yocaml.github.io/tutorial/index.html and if you want, it can be also an unikernel with unipi github.com/robur-coop/unipi :tinking:

yocaml.github.io

A conceptual introduction to YOCaml

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 06/04/2026

@exfalsoquodlibet oui paf, c'est un peu vieux et plus trop maintenu en vrai. J'ai pris le temps de faire un petit tutorial si tu veux pour prendre en main l'API: robur-coop.github.io/vif (et j'ai fait quelques benchmarks sur l'existent aussi: robur-coop.github.io/httpcats)

robur-coop.github.io

Introduction - Vif, a simple webserver in OCaml

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 06/04/2026

@exfalsoquodlibet tu devrais regarder vif dans ce cas ;) (github.com/robur-coop/vif)

GitHub - robur-coop/vif: A simple HTTP server for OCaml 5

A simple HTTP server for OCaml 5. Contribute to robur-coop/vif development by creating an account on GitHub.

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 16/03/2026

A little dream comes true! We just deployed an #unikernel in #OCaml which is a search engine through the old caml-list: caml-list.robur.coop :tada:. It's a full operating system which is able to search and serve a little website. It is worth archiving and keeping accessible a whole […]

mastodon.social

Original post on mastodon.social

Dinosaure @dinosaure.mastodon.social.ap.brid.gy · 01/03/2026

@edwintorok Yes, the main goal is to have an oracle :) And yes, it's only HTTP/1.1. httpcats has an implementation of h2, but it takes time to run benchmarks (at least, to establish a real test protocol).