Explore types.pl
Discover users based on their interests
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
English, 한국어, 日本語, Lingva Latina
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.
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.
Software developer, transportation nerd, climate activist (unordered) (he/him)
Real name: Max S. New
Assistant Professor in Computer Science & Engineering at University of Michigan.
PL theorist, Category practitioner
Vibing, chilling, compiling.
Undergrad@UBC
Markus de Medeiros in the meatverse
Computing Scientists, ex-mathematician. Currently in academia, spent considerable time in industry as well. Into weird programming languages and the outer parts of programming and software engineering. Currently exploring metaprogramming, quantum programming, DSLs and "generate everything".
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.
@pounce@types.pl
i like topology, tea and type theory
i've been using fedi for a long time. ask me questions!
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.
@fbanados@types.pl
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate. Chilean in Canada.
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Undergrad at THU interested in type theory and music and stuff
Asst. Prof at Syracuse. Less 💩posting than my Twitter I promise! kmicinski.com
Programming Languages. Type Systems. The Luau programming language. He/him.
Programming, some cats, otters and llamas...
Poblacht na hÉireann agus uk
📣 English | Cebuano | Bisaya | Filipino
:: tags ::
#julialang #rustlang #crystal #foss #linux #biology #philippines #filipino
:: hobbies ::
#anime #webtoons #comics
:: tools I use ::
editor: #helix-editor 🧬
os: #openSUSE TumbleWeed
terminal: #foot 🦶
browser: #firefox 
:: programming languages ::
#julialang
#rustlang
#crystal
#lua
⚡ #ziglang
Once Jesper Cockx but now runninning Agda instead. Assistant professor @ Programming Languages TUDelft.
Other things I care about include:
- Effective Altruism (I'm a proud member of Giving What We Can)
- Climate change
- The importance of creativity and imagination in society
- Tabletop role-playing games with a focus on collaborative storytelling (see @dregntael)
- Woodwind instruments (I play clarinet & bassoon)
- Mindfulness meditation and self-compassion
- Philosophy of type theory and constructive mathematics
- ...
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.