I am a software engineer in NYC with special interests in frontend programming, and type-driven development.