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