full stack engineer

TL;DR: The long-awaited conex timestamp and snapshot service is now in beta.

End of April I spent a week in Marrakech to work on MirageOS at our annual retreat.

The Transmission Control Protocol (TCP) is one of the main Internet protocols.

EDIT (2023-05-16): Updated with albatross release version 2.0.0.

We at robur developed opam-mirror in the last month and run a public opam mirror at https://opam.robur.coop (updated hourly).

Introduction to monitoring At robur we use a range of MirageOS unikernels.

Introduction MirageOS development focus has been a lot on tooling and the developer experience, but to accomplish our goal to "get MirageOS into production", we need to lower the barrier.

Introduction Tl;DR: mirage-crypto-ec, with x509 0.12.0, and tls 0.13.0, provide fast and secure elliptic curve support in OCaml and MirageOS - using the verified fiat-crypto stack (Coq to OCaml to executable which generates C code that is interfaced by OC…

Introduction 2020 was an intense year.

Traceroute Is a diagnostic utility which displays the route and measures transit delays of packets across an Internet protocol (IP) network. $ doas solo5-hvt --net:service=tap0 -- traceroute.hvt --ipv4=10.0.42.2/24 --ipv4-gateway=10.0.42.1 --host=198.167.…