Discover users based on their interests
can't walk a straight line between logic and ai ‖ @mspstrath ‖ disabled ‖ no cops, no borders
Vibing, chilling, compiling.
Markus de Medeiros in the meatverse
PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)
I’m interested in all programming languages.
#RacketLang #functionalprogramming #languageorientedprogramming #metaprogramming #lisp #scheme
London / Garramilla (Darwin) / Naarm(Melbourne), Australia
PhD Candidate in Quantum and PL at UChicago CS.
Currently, on the job market for cutting-edge work at the intersection of programming languages and quantum computation, including program verification and compilers.
PhD Candidate in Programming Languages at UBC. Soon to be Newton International Fellow at the University of Edinburgh. Broadly interested in making it easier to prove software correct with dependent types. Currently working on gradual dependent types.
Hi! :) I'm a PhD student at the University of Nottingham • This is my more personal account—follow @jaycech3n for the Professional Edition
Ph.D. student in programming languages at the University of Pennsylvania
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+ 🏳️🌈
I do remote front-end dev and incidental travel, based in Eastern Thailand
Taiwan is a country
Banner img by: aertime (https://aerti.me/)
PGP: 7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E
mathematician, hacker, computer toucher, compiler compiler, tea lover, and blåhaj enjoyer
Associate Professor of Computer Science at Northeastern University PRL.
Senior Scientist at Roblox Research.
PhD at University of Hong Kong
Agda Haskell Nix Emacs Recursion Schemes Generic Programming Category Theory Language Acquisition Unlearn Patriarchy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an
top 1% of abba listeners on spotify
i have farewell golden
Type Theory/Category Theory
I like proof assistants and make them too!