Explore types.pl
Discover users based on their interests
3rd Year CS+Maths UG at Edinburgh
Working on replacing saxophonists with monads over quasi-Borel spaces
is this testing whether I'm a lesbian or a replicant mr. deckard?
interested in univalent mathematics, type theory, and category theory.
undergrad at chalmers university of technology.
🏳️⚧️🏳️🌈⚧️💖
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
@jj@types.pl
i write code so bad it wraps back around to being good
second year undergrad at ubc studying math/ling/cpsc
ctf with maple bacon
Programming languages / compilers / performance / logic /categories nerd. With a speckling of other interests.
All opinions my own.
Hi! :) I'm a PhD student at the University of Nottingham • This is my personal account—follow @jaycech3n for the Professional Edition
roboticist@toyota. he/him.
previously at the bretl robotics lab, http://bretl.csl.illinois.edu; and mars rover science team, http://pancam.sese.asu.edu (MER)
Programming, some cats, otters and llamas...
Poblacht na hÉireann agus uk
PhD student at the University of Kent, working on the Granule project 
recent intern at Huawei's Edinburgh research centre ❤️
former master's student (comp sci + maths) at Sheffield University 💜
putting the B in LGBT+ 🏳️🌈
Programming Languages. Type Systems. The Luau programming language. He/him.
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate. Chilean in Canada. No soy un loro estocástico.
enjoys music, good food, coding, and talking about them.
learning machines at Netflix. ex-Twitter/Lightbend. sbt core dev. he/him
#Scala #sbt #Bazel
🦂 Average analytic geometry enjoyer. 🦂 Develops libraries for Oscar and Singular. 🦂 Declared "Graduate Scorpion in Mathematics" by Seashore University Publishers. 🦂
🦂 Avatar: scorpion with sunglasses. 🦂 Header: empty cups with light reflecting at the bottom. 🦂
Systems PhD candidate at UCSC
Previously: engineering @withplum, Intuition Robotics
she/her i do different stuff, but i like pldev, low-level and gamedev the most :v :transgender_flag: linguistics are very cool too trying to learn music/theory
World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone. ✨
Internet.
he/him #haskell #categorytheory #lumatone