Explore types.pl
Discover users based on their interests
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
michael on the internet, unprofessional computer talker, and mountain climber-ish.
if i do/say something bad™ please tell me so i won't in the future.
i'll probably accept your follow request if you have something.
no time for facts, vibes only. phd candidate in systems at uc santa cruz.
likes programming as a hobby and loves biology
i mainly write programs in Julia 
. There is a little bit of Rust 
but i am not too good at it
other hobbies include watching anime and reading comics
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
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)
is this testing whether I'm a lesbian or a replicant mr. deckard?
first year computer witch at chalmers university of technology.
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
🏴☠️🦈✨
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 20; canadian/american
i'm trying to keep this account pretty quiet, randos who aren't on this instance might want to go to @xnx38h
please don't reply to me with foss
Lecturer @umdcs with interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.
Surrealist programmer at the University of Edinburgh
Reader in Computer Science at the University of St Andrews. Idris developer, trying to make fancy type systems that are usable and efficient. Occasional Go player. Cricket watcher. Will play ukulele for free, will stop for money.
I'm a real logician now! • recovering computer scientist • interested in proof theory + constructive mathematics + type theory • will only write code that compiles into a pdf document or doubles as proof
trans rights + against all unjust hierarchies
Programming, some cats, otters and giraffes...