This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Ryan Brewer

@ryanbrewer@mathstodon.xyz

Joined: 05/03/2024



About Ryan Brewer

Coder.
Bunch of interesting projects including SaberVM, Cricket, Arctic.
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.

Lists

ryanbrewer has no public lists

Timeline

ryanbrewer has no activity yet