Explore types.pl

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.

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.

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.