Hannes

I'm still ecstatic about tree pruning and the lost art of it.... I drove today an hour to cut an apple tree at a friends place. I was already awaited by neighbours who want their cherry tree to be cut... fascinating how all of this knowledge seem to be lost or getting lost these days. cherry trees are esp. nice to cut when the cherries can be harvested, so you have a nice tree and all the cherries... thus looking forward to go there again in late June \o/

to preserv our nice fruit trees, go out and take some tree pruning workshop and make good connections with your neighbours :)

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 :) 🎉 🙌🏾

We (the #OCaml #security response team) https://ocaml.org/security published today an advisory for the OCaml runtime (Marshal decoding over-read) https://osv.dev/vulnerability/OSEC-2026-01

I'm happy we managed to coordinate this, turned out to be an excessive amount of work - fixing the runtime, fuzzing, performance testing, but also integrating into osv.dev -- any feedback is highly appreciated, esp. if we're missing out on best practices. Otherwise, please welcome OSEC to your vulnerability databases. We're here to stay. :)

If you like our work, please fund OCSF https://ocaml-sf.org or apply to our calls for proposals (or both ;) https://discuss.ocaml.org/t/ocaml-security-grants/

Have a nice evening 😍

It was nice to see so many functional programming people at #bobkonf. And then so many interesting talks covering #haskell #scala #OCaml -- well done, thanks to the organizers

Tried to convert a timestamp to UTC, google AI presented me with this.

And I wonder if they get the day wrong even at such a simple thing (and they as well claim "day is Thursday"), what a horrible mess we're going to get in the future? You booked your airline tickets? Sorry, I rebooked you to two days ago and forgot to inform you (but actually the flight was yesterday)... #aifail

@xvw@merveilles.town nice talk!! :) if you haven't seen this https://github.com/lpw25/girards-paradox -- may be of interest for you ;)