Discover users based on their interests
no time for facts, vibes only. phd candidate in systems at uc santa cruz.
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)
i like topology, tea and type theory
top 1% of abba listeners on spotify
likes programming as a hobby and loves biology
lives in the Philippines
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
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
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. Trainee Adult. 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
PL theorist, Category practitioner
PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)
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
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.
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
is this testing whether I'm a lesbian or a replicant mr. deckard?
second year computer witch at chalmers university of technology.
Programming, some cats, otters and giraffes...
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Lecturer @umdcs with interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.