| Pronouns | he/him |
| Website | https://reyn.ir |
| Private Enterprise Number | 65164 |
They responded. It was indeed an LLM. They had given it instructions to only request for more relevant info and to sign off with the above "Issue Agent Bot" because they use an access token to their personal account for the LLM.
No reply on whether the students should ignore the go-ahead or not...
I am delighted to announce the release of miou.0.6.0. This release mainly adds two new features: a Miou event logging system a new Miou.take function allowing you to retrieve tasks available in a Miou.orphans The addition of a logging system allows us to record events related to Miou (such as the creation of a new task) and to analyse these events to diagnose a Miou application that does not comply with our fundamental rules (such as never forgetting its children). This is why we offer severa...
The OCaml Users Survey 2026 is now open! 📊
Share your experience with OCaml - from tools you use to new questions on AI/LLM tooling and debugging. Takes 10-15 minutes, open until May 25th.
https://forms.gle/gt5nikqUmoQWeYYQ9
https://discuss.ocaml.org/t/ann-ocaml-users-survey-2026/18026
This survey is configured to not use an existing Google Account to save your progress (which will be lost if you close your browser before finishing the survey). None of the questions are mandatory. Please do not enter any personal information in the free-form text fields as the summary of the results and the raw data will be made available to the community (we will of course redact any personal information we detect, but we may still miss some). As an official OCaml online space, this survey has adopted the OCaml Code of Conduct. The free-form text fields are provided to gather constructive feedback from the community. Any comment that is a clear violation of the CoC will be expunged from the results before making them publicly available. Thank you in advance for your participation! This survey will be accepting answers until May 25th 2026 (AOE).
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 [email protected] by sending an email to [email protected] 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 ...
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'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?
Dinosaure
OCaml
Hannes