Explore types.pl
Discover users based on their interests
📣 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.
🏳️⚧️🏴 | Rechteckiges Panoptikum transgendert den unmöglichen Atheismus ins impossible.
he/him #haskell #categorytheory #lumatone
15y at Google, before that Scala (pattern matching FTW). 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
Racket enthusiast, shell scripter, math nerd. JS hacker, theorem prover. Web. Compilers @ Igalia
Conference for fans of the Racket programming language and language-oriented programming
Research Fellow in Programming Languages at the University of Kent
World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone. ✨
I do things with words, and the things that lie behind words. Usually with a lambda in hand.
Worker in Linguistics, specialising in formal semantics and language change, with areal interests especially in South Asia and the Caribbean.
Little tolerance for neoliberal nonsense.
#nobot, please, we're fediversish.
I welcome follow requests - please have a bit about you and some posts visible though.
- languages: English, हिन्दी, नेपाली, '(lisp)
I am an undergraduate student at Charles university. I am interested in PL overall and I like Haskell.
Partner at Underscore. Interests are Scala and Rust (programming languages), functional programming, music, and piano.
Twitter: @channingwalton
Some blogs: https://channingwalton.github.io
@jj@types.pl
i write code so bad it wraps back around to being good
second year at ubc studying math/cpsc/ling
ctf with maple bacon
@haskal@types.pl
dragon princess from the blue shark planet
if you know me from uni, no you don't
cons artist, blåhaj haver, -1x engineer, yak shaver, water drinker, holdable friend
i'm one of the admins on here
it/its, she/her, fae/faer. age >20
call me lilith, rose or amber (or my other names if u know them)
trans rights 
"asdjkl;dkrfhl;ka;sdhh ds ;als;dlskajd;fasasdgfdiouh" ~ @amber
"surprisingly large" ~ @violet_cybrespace 
"a good dragon imo and deserves many headpats" ~ 
"i hope i am as cool as it when i grow up" - @TakeV
"a memetic hazard" - @juliana
follow reqs are ok (and if you're also trans, encouraged) just have a bio and posts
see pinned for some more info!
cybrespace forever
Professor, University of Oslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. http://ebjohnsen.org
queer plural monsters | our body is 21+ | interactions and follow requests welcome | minors DNI
Programming language and compiler engineer. Contributor to LLVM, Clang, Swift, and the Move programming language. He/Him.