Fundamentalist ultrafinitist.

Types and cats. Post Agda/Arend hacker. 3A yoyo thrower. I disagree with my opinions

but you can call me (((. MAX. )))))

staff software engineer @duolingo | learning Spanish/Japanese | gamer | puzzle enthusiast | cat mom | she/her