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.
Undergrad@UBC
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
(he/him)
Haskell dev by day, pl nerd by night. Currently noodling on #cbpv, #Koka / #eff style #effects systems, and #Shen.
Other accounts at:
- https://tilde.zone/@JoelMcCracken for non-pl/generic tech & other stuff.
- https://zirk.us/@JoelMcCracken for arts/lifestyle
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
privacy ∘ photography ∘ food ∘ tea ∘ FOSS ∘ functional programming #purescript #dhalllang #linux #firefox #nvim
เรียนภาษาไทย ຮຽນພາສາລາວດ້ວຍ
Taiwan is a country
Banner img by: aertime (https://aerti.me/)
PGP: 7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E
/ˈluːsi/
mathematician, hacker, computer toucher, compiler compiler, tea lover, and blåhaj enjoyer
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.
Associate Professor of Computer Science at Northeastern University PRL.
Senior Scientist at Roblox Research.
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!