I failed to write my #introduction... former PostDoc at University if Cambridge computer labs, interested in formal methods (recent: netsem, a HOL4 model of TCP and sockets API, validated with FreeBSD12 with DTrace), security, network, operating systems. #FreeBSD since 4.6, #MirageOS since 1.0. #OCaml enthusiast who wants to change the world with unikernels. Co-authored TLS in OCaml, working on package signing, #barista, #cyclist, #anarchist, back in #Berlin work at http://robur.io
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!