Software engineer in NYC into types/functional programming/etc. Dad, poodle dad, runner, mathemagician (∂∂ = 0), cinephile, uplifting gourmandizer. https://mioalter.github.io/ Also https://types.pl/@maltercation but not on the socials much
Nothing here yet.