Explore types.pl
Discover users based on their interests
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
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
🏴☠️🦈✨
- enby, nerd, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist, let's start by deleting money and work from there
- absolutely fine with boosts and random follows
- 50/50 mix of long-ish rants about tech stuff and horrible horrible puns
in case somebody cares, avatar is from Dresden Codak: https://dresdencodak.com/
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool
engineer and proud
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
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 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~
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
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.
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!