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. https://paste.osau.re/ is now available again! It’s a good example of how […]

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

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]

By Benjamin Thullier (https://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 https://gilwath.com/articles/from_scala_to_ocaml_part2.html

I just made a new release of Solo5 (https://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.

I’ve just discovered: https://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 […]

I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. 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 […]

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

I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #ocaml!

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

A little dream comes true! We just deployed an #unikernel in #ocaml which is a search engine through the old caml-list: https://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 […]

that's a fact now #ocaml: https://robur-coop.github.io/httpcats/

I finally released `mnet`, a new TCP/IP stack in #OCaml (with effects). You can check our announcement here: https://discuss.ocaml.org/t/ann-mnet-a-new-tcp-ip-stack-for-unikernels-in-ocaml/17851. A mini tutorial to build your own unikernel in #ocaml is available also here […]

Apparently, I do fun stuff in #ocaml: https://youtu.be/JDoDWBpz7E8?si=qhTYic4IbJvRQ5Fz&t=178

Neocaml, the modern major #OCaml mode for #Emacs, is now ready for MELPA github.com/melpa/melpa/... It took me a while to finish the basic set of features, but better late then never, right? Feedback welcome!

I still continue to finalize our new TCP/IP stack in #ocaml (for OCaml 5). It is available here for curious: https://github.com/robur-coop/mnet. A beta will appear soon and we will be able to enter into the OCaml 5 era!

In this small screenshot, you can see that I can ping my unikernel using IPv6! This was the last missing piece for mnet, our new TCP/IP stack for OCaml 5 and our unikernels. Beyond regaining what mirage-tcpip had to offer, several known bugs have been fixed […] [Original post on mastodon.social]

#notepad ++ backdoored https://notepad-plus-plus.org/news/hijacked-incident-info-update/ #infosec

When I discover that AI can produce this type of OCaml code https://github.com/mtelvers/ocaml-smtpd, which probably comes from what I have been writing for several years, and that investigators ultimately do not take the time to look at what the community can produce... This heralds a bright […]

I'm glad to announce a new project from robur, a KV-store which is able to work as an unikernel and in parallel in #ocaml. We especially use it to index our emails. You can see more here: https://blog.robur.coop/articles/2025-18-12-bancos.html

Once, I saw the project https://github.com/scosman/zipstreamer and thought that we could have the same thing in the form of a unikernel in OCaml. So I tried to "really" stream the content of an HTTP request (multipart/form-data) into a zip file, and it didn't take much code using Vif and Flux: