154 Followers
184 Following
647 Posts
Pronounshe/him
Websitehttps://reyn.ir
Private Enterprise Number65164
I had a thought to schedule the daily builds at builds.robur.coop when the energy prices are low. My suspicion is that there is a (strong?) correlation between energy prices and CO2 emissions - lower prices means less CO2. Is there data backing up this idea?

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 :) 🎉 🙌ðŸū

deploy unipi — webmshare

upload webm files. share webm files. webm hosting. convert gif to webm

webmshare.com

I'm looking into moving my mail server elsewhere. I need a catch-all address and to be able to blackhole mail addresses. I can host it myself, and I have a dedicated server with Hetzner I could use, but I am wondering what the deliverability is like with them? Any experiences? I don't mind paying for a hosted service.

Any recommendations?

While the natural gas from Siberia is pumped up and contributes to climate change, the permafrost around it melts (which will release a heaps gasses that accelerate climate change).

But it also means the many bridges of the train track supply lines are failing. Because their pillars have nothing solid to stand in.

So humans have built nitrogen cooling elements. To re-freeze the permafrost around the pillars.

So they can keep pumping up gas ðŸĪŠðŸĪŠðŸĪŠðŸ•šâš°ïļ

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: https://robur-coop.github.io/mnet/. Happy hacking!
[ANN] mnet, a new TCP/IP stack for unikernels in OCaml

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...

OCaml
I received my PEN! At 19 Feb 2026 18:10:52 - so about 30 hours later.
I just requested a private enterprise number. I might use it for DHCP (RFC 3925), but mainly I'm curious how quick they are to give out those numbers. Request made at around 18 Feb 2026 12:12 CET.

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 😍

OCaml Security

This page details the OCaml security disclosure process, including how to report vulnerabilities, the role and members of the OCaml Security Response Team (SRT), and their publications.

OCaml
Out of curiousity I browsed the latest IANA private enterprise numbers (PEN). Curious to see who registers such numbers I found that a Swedish tree care company has a PEN (65070). They do have a website, but only plain HTTP. No idea what motivated them to request a PEN!

It seems the .ir nameservers are having a bad time today. I have the domain reyn.ir as well as reynir.dk - having an Iranian domain isn't always a breeze, so all records on the .ir domain are also at the .dk domain.

Today I had planned to test the DNS-01 challenge using the .ir domain. A small nuisance for me - I hope the people of Iran are safe and okay.