Explore types.pl

Software developer, transportation nerd, climate activist (unordered) (he/him)

i like topology, tea and type theory

i've been using fedi for a long time. ask me questions!

15y at Google, before that Scala (pattern matching FTW). Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently infosec.

Follow the @datalog group!

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

dragon princess from the blue shark planet
if you know me from uni, no you don't
cons artist, blåhaj haver, -1x engineer, yak shaver, water drinker, holdable friend
trans rights
made BLÅHAJ CTF, the world's first CTF team with plush sharks | https://blahaj.awoo.systems/

it/its, she/her, fae/faer. age >20
call me rose (or my other names if u know them)

"asdjkl;dkrfhl;ka;sdhh ds ;als;dlskajd;fasasdgfdiouh" ~ @amber
"surprisingly large" ~ @violet_cybrespace
"a good dragon imo and deserves many headpats" ~

follow reqs are ok just have a bio and posts

💙 @iitalics

PhD student. Leftist. Trans.

/ˈluːsi/

Programmer, hacker, and maths nerd. I like type theory, compilers, NixOS, Emacs, and IKEA stuffed toys.

🏴󠁧󠁢󠁳󠁣󠁴󠁿 ✨

Computer Security and programming languages incl TC39. Former Googler. Does not understand sarcasm (apologies in advance). he/him/they

PhD Student at Tallinn University of Technology.

Learning about type theory. Chasing the diagrams.

{love, marry, debug} ≃ {Agda, Rust, Nix}.

Programming Languages. Type Systems. The Luau programming language. He/him.

meow • ⚥/⚢

i like talking to computers and making it nicer to talk to computers

💖 @gr3ysea

dms open, i do not bite :3

-

please only follow if you're weird

PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)

Jeremy Siek is a Professor at Indiana University where he teaches courses about algorithms, compilers, and programming language theory. Jeremy authored the book ``The Boost Graph Library'' and designed constrained templates for C++, aka the "concepts" proposal. Jeremy invented gradual typing: a type system that integrates both dynamic and static typing in the same programming language.

can't walk a straight line between logic and ai ‖ @mspstrath ‖ disabled ‖ no cops, no borders

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)

Student of homotopy type theory and (higher) category theory (this account adheres to the implicit ∞-category convention).

I help maintain Agda Γ ⊢ 🐔, maintain the 1Lab 🧊🔬, and very occasionally write on my blog 👩‍🏫✍️

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.

Once Jesper Cockx but now runninning Agda instead. Assistant professor @ Programming Languages TUDelft. Proud member of Giving What We Can.

Real name: Max S. New

Assistant Professor in Computer Science & Engineering at University of Michigan.

PL theorist, Category practitioner

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)

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.