@ryanbrewer@mathstodon.xyz
Joined: 05/03/2024
Coder.
Bunch of interesting projects including SaberVM, Cricket, Arctic.
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.
ryanbrewer has no public lists
ryanbrewer has no activity yet