Explore types.pl
Discover users based on their interests
~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 based on giga from scratch.mit.edu!
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~
(previously found on mas.to, but im here now because it's cooler)
Dumb idiot on the internet who somehow knows how to C
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
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
engineer and proud
professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 19; 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
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool
semantic computing and inhabitable informational ecosystems
i would simply plant the seed and let worlds within worlds grow forever
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
🏴☠️🦈✨
pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony
- enby, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist (anarctheirt?)
- I sometimes rant and sometimes make horrible puns
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
pronouns: he/him/his
math and compsci major. numbers are epic.
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.