hello hi i'm david 🐕 me he/him software engineer @ amazon stuff i like zato-1 type systems music what i'm learning right now how to write good docs rust, elixir, protobufs avatar: makowka