Explore types.pl
Discover users based on their interests
non-professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 18; canadian/american
this is a smaller/quieter account. you're free to follow but keep that in mind. i have a bigger account at @xnx38h
studying mathematical logic • ex-CS student • interested in type theory + constructive mathematics + game semantics + non-economic games • will only write code that doubles as proof
trans rights + against all unjust hierarchies
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
pronouns: he/him/his
math and compsci major. numbers are epic.
~they/she~
17 y/o transfemme plural bad code writer :D
codeing alt of @quasar (siggies there!)~
expect cursed ideas and very silly projects :33
avatar/banner from homestuck, page 5438 ;3
follow reqs welcome! we are a bit less stringent on this account since it's not as oriented around personal life~
some cyberfae catenby from elsewhere
they/them, fae/faer
i'm normally a cybersecurity person by day but also a passionate racketeer interested in (very broadly,) programming languages, compilers, and program analysis
feel free to send a follow request i just wanna keep the spam down
en_US/hu_HU dual wielder
nonbinary
code maid
21 years of age
undergrad at [redacted]
hacker of planets
intersectional leftist
-1x engineer
blåhaj haver
water drinker
🏴☠️🦈✨
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool
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.
An unhinged liveblog of my thoughts as I program.
pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony
Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
semantic computing and inhabitable informational ecosystems
i would simply plant the seed and let worlds within worlds grow forever
PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Formal Methods, Verification, Concurrency, Functional Programming!
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her