blog.robur.coop

The Robur blog.

Essays and ramblings

1. 
   2024-02-21 GPTar
   

   Hybrid GUID partition table and tar archive

   • ocaml
   • gpt
   • tar
   • mbr
   • persistent storage
2. 
   2024-02-13 Speeding elliptic curve cryptography
   

   How we improved the performance of elliptic curves by only modifying the underlying byte array

   • ocaml
   • mirageos
   • cryptography
   • security
3. 
   2024-02-11 Cooperation and Lwt.pause
   

   A disgression about Lwt and Miou

   • ocaml
   • scheduler
   • community
   • unikernel
   • git
4. 
   2024-02-03 Python's `str.__repr__()`
   

   Reimplementing Python string escaping in OCaml

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

   How we resurrected MirageVPN from its bitrot state

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

   How we implementated tls-crypt-v2 for miragevpn

   • ocaml
   • mirageos
   • vpn
   • security