Explore types.pl

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.

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!