The Robur's blog https://blog.robur.coop Sat, 08 Aug 2026 00:00:00 GMT https://www.rssboard.org/rss-specification YOCaml Privacy-respecting PIM tool: host your own contacts and calendars in a secure way https://blog.robur.coop/articles/pim.html https://blog.robur.coop/articles/pim.html Sat, 08 Aug 2026 00:00:00 GMT µTCP: a TCP/IP implementation derived from a formal specification https://blog.robur.coop/articles/utcp.html https://blog.robur.coop/articles/utcp.html Sat, 01 Aug 2026 00:00:00 GMT Autoscaling MirageOS unikernels in Mollymawk https://blog.robur.coop/articles/2026-07-08-Autoscaling-MirageOS-unikernels-in-Mollymawk.html https://blog.robur.coop/articles/2026-07-08-Autoscaling-MirageOS-unikernels-in-Mollymawk.html Tue, 28 Jul 2026 00:00:00 GMT Zostera: WireGuard as a MirageOS unikernel https://blog.robur.coop/articles/wireguard.html https://blog.robur.coop/articles/wireguard.html Wed, 01 Jul 2026 00:00:00 GMT Grafana for MirageOS unikernels and other VMs https://blog.robur.coop/articles/mollymawk-grafana.html https://blog.robur.coop/articles/mollymawk-grafana.html Thu, 18 Jun 2026 00:00:00 GMT Dynamic Logging and Metrics with Mollymawk https://blog.robur.coop/articles/mollymawk-monitoring-configuration.html https://blog.robur.coop/articles/mollymawk-monitoring-configuration.html Sun, 31 May 2026 00:00:00 GMT UI/UX improvements in Mollymawk https://blog.robur.coop/articles/mollymawk-ux-improvements.html https://blog.robur.coop/articles/mollymawk-ux-improvements.html Wed, 20 May 2026 00:00:00 GMT A review about ptt https://blog.robur.coop/articles/2026-05-10-ptt-review.html https://blog.robur.coop/articles/2026-05-10-ptt-review.html Fri, 08 May 2026 00:00:00 GMT Mollymawk supporting other virtual machines https://blog.robur.coop/articles/mollymawk-other.html https://blog.robur.coop/articles/mollymawk-other.html Wed, 15 Apr 2026 00:00:00 GMT A mailing list as unikernels https://blog.robur.coop/articles/2026-04-09-ptt.html https://blog.robur.coop/articles/2026-04-09-ptt.html Thu, 09 Apr 2026 00:00:00 GMT Apt.robur.coop key re-signed https://blog.robur.coop/articles/2026-03-13-apt-key-re-signed.html https://blog.robur.coop/articles/2026-03-13-apt-key-re-signed.html Fri, 13 Mar 2026 00:00:00 GMT More auto-configuration in Mollymawk https://blog.robur.coop/articles/2026-02-13-More-auto-configuration-in-mollymawk.html https://blog.robur.coop/articles/2026-02-13-More-auto-configuration-in-mollymawk.html Fri, 13 Feb 2026 00:00:00 GMT Email notifications come to Mollymawk https://blog.robur.coop/articles/mollymawk-email-notifs.html https://blog.robur.coop/articles/mollymawk-email-notifs.html Mon, 26 Jan 2026 00:00:00 GMT Bancos, a persistent KV-store in full OCaml https://blog.robur.coop/articles/2025-18-12-bancos.html https://blog.robur.coop/articles/2025-18-12-bancos.html Thu, 15 Jan 2026 00:00:00 GMT One Mollymawk, Multiple Albatross servers https://blog.robur.coop/articles/mollymawk_meta.html https://blog.robur.coop/articles/mollymawk_meta.html Thu, 11 Dec 2025 00:00:00 GMT A webapp to search emails as an unikernel https://blog.robur.coop/articles/2025-04-12-ptt-search-webapp.html https://blog.robur.coop/articles/2025-04-12-ptt-search-webapp.html Thu, 04 Dec 2025 00:00:00 GMT A stem engine and a search engine for OCaml https://blog.robur.coop/articles/ptt_stem_and_search_engine.html https://blog.robur.coop/articles/ptt_stem_and_search_engine.html Wed, 29 Oct 2025 00:00:00 GMT Auto-configuration of MirageOS unikernels https://blog.robur.coop/articles/mollymawk-autoconfig.html https://blog.robur.coop/articles/mollymawk-autoconfig.html Tue, 16 Sep 2025 00:00:00 GMT Streaming Binary Data in Mollymawk https://blog.robur.coop/articles/streaming-binaries-mollymawk.html https://blog.robur.coop/articles/streaming-binaries-mollymawk.html Mon, 18 Aug 2025 00:00:00 GMT DNSvizor manual https://blog.robur.coop/articles/dnsvizor10.html https://blog.robur.coop/articles/dnsvizor10.html Wed, 30 Jul 2025 00:00:00 GMT DNSvizor performance engineering https://blog.robur.coop/articles/dnsvizor09.html https://blog.robur.coop/articles/dnsvizor09.html Thu, 24 Jul 2025 00:00:00 GMT Authentication and extended web UI for DNSvizor https://blog.robur.coop/articles/dnsvizor08.html https://blog.robur.coop/articles/dnsvizor08.html Tue, 22 Jul 2025 00:00:00 GMT Privacy for DNSvizor https://blog.robur.coop/articles/dnsvizor06.html https://blog.robur.coop/articles/dnsvizor06.html Thu, 03 Jul 2025 00:00:00 GMT DNSvizor Gets Blocklists https://blog.robur.coop/articles/dnsvizor07.html https://blog.robur.coop/articles/dnsvizor07.html Wed, 25 Jun 2025 00:00:00 GMT A Web UI for DNSvizor https://blog.robur.coop/articles/dnsvizor05.html https://blog.robur.coop/articles/dnsvizor05.html Wed, 18 Jun 2025 00:00:00 GMT DNSvizor with DNS over TLS and DNS over HTTPS support https://blog.robur.coop/articles/dnsvizor04.html https://blog.robur.coop/articles/dnsvizor04.html Thu, 29 May 2025 00:00:00 GMT DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets DNSsec support https://blog.robur.coop/articles/dnsvizor03.html https://blog.robur.coop/articles/dnsvizor03.html Sat, 24 May 2025 00:00:00 GMT Streaming console output in mollymawk https://blog.robur.coop/articles/mollymawk-console.html https://blog.robur.coop/articles/mollymawk-console.html Wed, 21 May 2025 00:00:00 GMT SPF, DKIM, DMARC and ARC https://blog.robur.coop/articles/2025-04-23-email-verification.html https://blog.robur.coop/articles/2025-04-23-email-verification.html Wed, 23 Apr 2025 00:00:00 GMT DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets some testing https://blog.robur.coop/articles/dnsvizor02.html https://blog.robur.coop/articles/dnsvizor02.html Thu, 10 Apr 2025 00:00:00 GMT What's new with Mollymawk? https://blog.robur.coop/articles/mollymawk-first-milestone.html https://blog.robur.coop/articles/mollymawk-first-milestone.html Mon, 07 Apr 2025 00:00:00 GMT Pushing the opam-repository into a sustainable repository https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html Wed, 26 Mar 2025 00:00:00 GMT μTCP, Miou and unikernels https://blog.robur.coop/articles/utcp_and_effects.html https://blog.robur.coop/articles/utcp_and_effects.html Mon, 24 Mar 2025 00:00:00 GMT Mollymawk: orchestration and management of MirageOS unikernels https://blog.robur.coop/articles/mollymawk.html https://blog.robur.coop/articles/mollymawk.html Sat, 01 Feb 2025 00:00:00 GMT Git, Carton and emails https://blog.robur.coop/articles/2025-01-07-carton-and-cachet.html https://blog.robur.coop/articles/2025-01-07-carton-and-cachet.html Tue, 07 Jan 2025 00:00:00 GMT Sponsor us via GitHub https://blog.robur.coop/articles/2024-12-04-github-sponsor.html https://blog.robur.coop/articles/2024-12-04-github-sponsor.html Wed, 04 Dec 2024 00:00:00 GMT Postes, télégraphes et téléphones, next steps https://blog.robur.coop/articles/2024-10-29-ptt.html https://blog.robur.coop/articles/2024-10-29-ptt.html Tue, 29 Oct 2024 00:00:00 GMT GPTar (update) https://blog.robur.coop/articles/gptar-update.html https://blog.robur.coop/articles/gptar-update.html Mon, 28 Oct 2024 00:00:00 GMT Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel https://blog.robur.coop/articles/dnsvizor01.html https://blog.robur.coop/articles/dnsvizor01.html Fri, 25 Oct 2024 00:00:00 GMT Runtime arguments in MirageOS https://blog.robur.coop/articles/arguments.html https://blog.robur.coop/articles/arguments.html Tue, 22 Oct 2024 00:00:00 GMT How has robur financially been doing since 2018? https://blog.robur.coop/articles/finances.html https://blog.robur.coop/articles/finances.html Mon, 21 Oct 2024 00:00:00 GMT DNSvizor: privacy-enhanced DNS resolver and DHCP server https://blog.robur.coop/articles/dnsvizor.html https://blog.robur.coop/articles/dnsvizor.html Tue, 01 Oct 2024 00:00:00 GMT PTT (Poste, Télégraphe et Téléphone): a suit of unikernels for SMTP protocols https://blog.robur.coop/articles/ptt.html https://blog.robur.coop/articles/ptt.html Tue, 01 Oct 2024 00:00:00 GMT MTE (MirageOS Taler Exchange): a GNU Taler exchange as a MirageOS unikernel https://blog.robur.coop/articles/taler.html https://blog.robur.coop/articles/taler.html Tue, 01 Oct 2024 00:00:00 GMT MirageVPN and OpenVPN https://blog.robur.coop/articles/2024-08-21-OpenVPN-and-MirageVPN.html https://blog.robur.coop/articles/2024-08-21-OpenVPN-and-MirageVPN.html Wed, 21 Aug 2024 00:00:00 GMT The new Tar release, a retrospective https://blog.robur.coop/articles/tar-release.html https://blog.robur.coop/articles/tar-release.html Thu, 15 Aug 2024 00:00:00 GMT Testing MirageVPN against OpenVPN™ https://blog.robur.coop/articles/miragevpn-testing.html https://blog.robur.coop/articles/miragevpn-testing.html Wed, 26 Jun 2024 00:00:00 GMT qubes-miragevpn, a MirageVPN client for QubesOS https://blog.robur.coop/articles/qubes-miragevpn.html https://blog.robur.coop/articles/qubes-miragevpn.html Mon, 24 Jun 2024 00:00:00 GMT MirageVPN server https://blog.robur.coop/articles/miragevpn-server.html https://blog.robur.coop/articles/miragevpn-server.html Mon, 17 Jun 2024 00:00:00 GMT Speeding up MirageVPN and use it in the wild https://blog.robur.coop/articles/miragevpn-performance.html https://blog.robur.coop/articles/miragevpn-performance.html Tue, 16 Apr 2024 00:00:00 GMT GPTar https://blog.robur.coop/articles/gptar.html https://blog.robur.coop/articles/gptar.html Wed, 21 Feb 2024 00:00:00 GMT Speeding elliptic curve cryptography https://blog.robur.coop/articles/speeding-ec-string.html https://blog.robur.coop/articles/speeding-ec-string.html Tue, 13 Feb 2024 00:00:00 GMT Cooperation and Lwt.pause https://blog.robur.coop/articles/lwt_pause.html https://blog.robur.coop/articles/lwt_pause.html Sun, 11 Feb 2024 00:00:00 GMT Python's `str.__repr__()` https://blog.robur.coop/articles/2024-02-03-python-str-repr.html https://blog.robur.coop/articles/2024-02-03-python-str-repr.html Sat, 03 Feb 2024 00:00:00 GMT MirageVPN updated (AEAD, NCP) https://blog.robur.coop/articles/miragevpn-ncp.html https://blog.robur.coop/articles/miragevpn-ncp.html Mon, 20 Nov 2023 00:00:00 GMT MirageVPN & tls-crypt-v2 https://blog.robur.coop/articles/miragevpn.html https://blog.robur.coop/articles/miragevpn.html Tue, 14 Nov 2023 00:00:00 GMT MirageVPN: an implementation of the OpenVPN protocol as MirageOS unikernels https://blog.robur.coop/articles/openvpn.html https://blog.robur.coop/articles/openvpn.html Wed, 01 Mar 2023 00:00:00 GMT Robur Reproducible Builds https://blog.robur.coop/articles/reproducible_builds.html https://blog.robur.coop/articles/reproducible_builds.html Tue, 16 Nov 2021 00:00:00 GMT WebAuthn: authentication without passwords on the web https://blog.robur.coop/articles/webauthn.html https://blog.robur.coop/articles/webauthn.html Fri, 01 Oct 2021 00:00:00 GMT Deploying MirageOS unikernels - reproducible builds, providing binary packages https://blog.robur.coop/articles/ngi_pointer.html https://blog.robur.coop/articles/ngi_pointer.html Fri, 01 Jan 2021 00:00:00 GMT Conex: deploying end-to-end trust for opam-repository https://blog.robur.coop/articles/conex.html https://blog.robur.coop/articles/conex.html Fri, 01 Jan 2021 00:00:00 GMT QubesOS MirageOS firewall: dynamic ruleset, DNS https://blog.robur.coop/articles/qubes-firewall.html https://blog.robur.coop/articles/qubes-firewall.html Fri, 01 Mar 2019 00:00:00 GMT TLS 1.3: extending OCaml-TLS with protocol version 1.3 https://blog.robur.coop/articles/tls13.html https://blog.robur.coop/articles/tls13.html Sat, 01 Sep 2018 00:00:00 GMT NetHSM: a security module using MirageOS and Muen https://blog.robur.coop/articles/nethsm.html https://blog.robur.coop/articles/nethsm.html Fri, 01 Jun 2018 00:00:00 GMT CalDAV: a calendar server providing the CalDAV protocol https://blog.robur.coop/articles/caldav.html https://blog.robur.coop/articles/caldav.html Thu, 01 Mar 2018 00:00:00 GMT