blog.robur.coop

The Robur blog.

Essays and ramblings

1. 
   2024-02-03 Python's `str.__repr__()`
   

   Reimplementing Python string escaping in OCaml

   • ocaml
   • python
   • unicode
2. 
   2023-11-20 MirageVPN updated (AEAD, NCP)
   

   How we resurrected MirageVPN from its bitrot state

   • ocaml
   • mirageos
   • vpn
   • security
3. 
   2023-11-14 MirageVPN & tls-crypt-v2
   

   How we implementated tls-crypt-v2 for miragevpn

   • ocaml
   • mirageos
   • vpn
   • security