Explore types.pl
Discover users based on their interests
music: olivepile.bandcamp.com
mgmt/business: softpunk@protonmail.ch
ask for twitter!
CS/Math major at Luther College. Interested in array languages and types. Vegan. He/Him
- enby, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist (anarctheirt?)
- I sometimes rant and sometimes make horrible puns
liker of racket and gender shenanigans (simultaneous)
pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony
Gay trans lady who also likes functional programming. ((λ (g) g) woman). (she/her)
Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.
Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.
PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.
Burrito in the category of endofunctors
Undergrad@UBC
Unregistered type sommelier
🇫🇷 PhD candidate in Bergen 🇳🇴
Programming Languages, Generic Programming, Array Programming, Compilers.
Retired Go player, but always up for a game!
Systems PhD candidate @UCSC_BSOE
Previously: engineering @withplum, @intuitionrobo
Brazilian CS undergrad. Work on ML but I'm interested in programming languages
A special snowflake existing in 196883 dimensions
#ActuallyAutistic