James
@types4life.bsky.social
he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
I've been traumatized by timezones, so I apologize in advance, but it's technically PDT since it's closer to summer. PST starts November 2.
October 16, 2025 at 1:47 AM
I've been traumatized by timezones, so I apologize in advance, but it's technically PDT since it's closer to summer. PST starts November 2.