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)
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
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
is this testing whether I'm a lesbian or a replicant mr. deckard?
first year at chalmers university of technology, studying computer science and engineering.
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
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.
caption your farts you farts
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.
I'm a real logician now! • recovering computer scientist • interested in proof theory + type theory + constructive mathematics • will only write code that doubles as proof or compiles into a pdf document
trans rights + against all unjust hierarchies
cyberfae batdragon (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
>20
serial yak shaver
hacker of planets
intersectional leftist
-1x engineer
blåhaj haver
water drinker
🏴☠️🦈✨
Lecturer in Computing, University of Kent
make functional programs fast using types
socialism is cool
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
CS/Math major at Luther College. Interested in array languages and types. Vegan. He/Him
pronouns: he/him/his
math and compsci major. numbers are epic.
- 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