#netkat — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #netkat, aggregated by home.social.
-
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.