Explore types.pl
Discover users based on their interests
I do things with words, and the things that lie behind words. Usually with a lambda in hand.
Worker in Linguistics, specialising in formal semantics and language change, with areal interests especially in South Asia and the Caribbean.
Little tolerance for neoliberal nonsense.
#nobot, please, we're fediversish.
I welcome follow requests - please have a bit about you and some posts visible though.
- languages: English, हिन्दी, नेपाली, '(lisp)
dumb idiot named michael on the internet who somehow knows how to computer
if i do something stupid please tell me because i am stupid and i would hopefully like to be eventually be not.
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 the account where i post things specifically designed to piss hazel off. if you want to see my other posts, go to @xnx38h
please don't reply to me with foss
computer nerd, lover of trash eating animals and master of misstyping. rosen is not my surname.
personal/anxiety spam/art/non-nerd/??? account @deppy
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
cyberfae dragon (meow kind [enby type])
they/them, fae/faer
i do things with computers, i like racket and i'm interested in 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
22 years of age
serial yak shaver
hacker of planets
intersectional leftist
-1x engineer
blåhaj haver
water drinker
🏴☠️🦈✨
Doing ecological MINTy things for a living, and Haskell for fun.
Shitposting alt for @turion. Don't believe anything I write. You're welcome to laugh out loud wherever you are though.
liker of racket and gender shenanigans (simultaneous)
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool
- enby, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist (anarctheirt?)
- I sometimes rant and sometimes make horrible puns
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
pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony
