Mastodawn

hannes Apr 24, 2025

Dinosaure Apr 24, 2025

I'm really glad to explain my last work about emails verification and #OCaml for our robur.coop cooperative. You can read my last article here: https://blog.robur.coop/articles/2025-04-23-email-verification.html

Robur's blog - SPF, DKIM, DMARC and ARC

how emails are verified?

hannes Apr 24, 2025

recommended reading: It’s not too late to stop Trump and the tech broligarchy from controlling our lives, but we must act now
Carole Cadwalladr https://www.theguardian.com/global/2025/apr/20/carole-cadwalladr-ted-talk-this-is-what-a-digital-coup-looks-like-its-not-too-late-to-stop-trump-and-the-silicon-valley-broligarchy-from-controlling-our-lives-but-we-must-act-now #ai #coup

It’s not too late to stop Trump and the tech broligarchy from controlling our lives, but we must act now

In her final piece for the Observer, Carole Cadwalladr reveals what happened when she returned last week to give the opening speech at Ted, where she gave her first – life-changing – talk six years ago

The Guardian

hannes Apr 17, 2025

Dinosaure Apr 17, 2025

People sometimes ask which #unikernel we actively use (as proof of our work). Currently, https://paste.osau.re is a unikernel in #OCaml, and it has been running (without interruption) for over a year. Feel free to use this service (free of charge) to share code snippets, and if you like what we do, you can sponsor us via GitHub (https://github.com/sponsors/robur-coop).

Past-isserie

hannes Apr 14, 2025

OCaml Apr 12, 2025

DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets some testing: The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP. https://blog.robur.coop/articles/dnsvizor02.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

Robur's blog - DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets some testing

The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP.

hannes Apr 11, 2025

Marcio Aleksandravicius Apr 10, 2025

How ice cubes clean hot grills

hannes Apr 8, 2025

@florian sag mal, kennst Du ein Dokument ueber was oft bei DNS resolver Implementierungen falsch gemacht wird (oder warum mensch nicht ihren/seinen eigenen schreiben sollte)? Beziehungsweise worauf zu achten ist? Ich dachte so etwas mal gesehen zu haben, aber finde es nicht mehr...

hannes Apr 7, 2025

Meet Mollymawk, our web UI for orchestrating #MirageOS unikernels, funded by NLnet @NGIZero https://blog.robur.coop/articles/mollymawk-first-milestone.html #OCaml #unikernel

Robur's blog - What's new with Mollymawk?

In this article we explore the journey Mollymawk has been on, inlcuding getting an (NGI0 core) NLnet grant, updates and more.

hannes Mar 26, 2025

Dinosaure Mar 24, 2025

I'm really glad to share my last work about μTCP, #unikernels, effects and #OCaml 5. I talk about TCP/IP, #GADTs, and some useful data-structures. https://blog.robur.coop/articles/utcp_and_effects.html

Robur's blog - μTCP, Miou and unikernels

My experiment about the TCP/IP stack, effects and unikernels

hannes Mar 26, 2025

OCaml Mar 26, 2025

μTCP, Miou and unikernels: My experiment about the TCP/IP stack, effects and unikernels https://blog.robur.coop/articles/utcp_and_effects.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

Robur's blog - μTCP, Miou and unikernels

My experiment about the TCP/IP stack, effects and unikernels

hannes Mar 26, 2025

Dear everyone, we just published an article on our #opam-repository archival work https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html

Happy reading #OCaml #opam #sustainability

Robur's blog - Pushing the opam-repository into a sustainable repository

The main opam-repository was only ever growing by collecting all releases of all packages. We worked hard on reducing the load for all clients by archiving packages.