sorry there is no one talking #p4lang here and that's a problem for me. #netkat I can accept but someone other than me should be tooting about programmable data planes on here

Hi. I'm a long time (#ethernet/#IP) packet #networking nerd. I am easily excited by functional programming (#OCaml, F#), #unikernels (any kind!), ISAs that aren't x86 or ARM (PowerPC & MIPS), and domain specific languages for domains I'm interested in (think packet forwarding & control planes -- #P4, propane, cocoon, #NetKAT).

I'm working on affordable, alternative (to google, cloudflare, etc), turn-key infrastructure built exclusively on F/OSS with a focus on Mastodon instances.

#introduction now with hashtags!

#ocaml #unikernels #powerpc #mips #p4lang #netkat

make a snazzy introduction post with hashtags? okay!. #p4lang #netkat #bgp #openbsd #mirageos #unikernel #packets #ixp #dwdm #is-is