Explore types.pl
Discover users based on their interests
@sugui@types.pl
Interested in logic, type theory, proof assistants and formal methods
Programming, some cats, otters and giraffes...
Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
@uncomfyhalomacro@types.pl
likes programming as a hobby and loves biology
lives in the Philippines
i mainly write programs in Julia . There is a little bit of Rust 
but i am not too good at it
other hobbies include watching anime and reading comics
is this testing whether I'm a lesbian or a replicant mr. deckard?
second year computer witch at chalmers university of technology.
the ACM Special Interest Group on Programming Languages
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
Lecturer @umdcs with interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.
Lecturer in Computing, University of Kent. FP and compilers. Socialism is cool.
PhD student in logic. Isabelle/HOL user. Lean dabbler. she/her
Math / Socialism / Computers / Gender Abolition / Baths
Trying to graduate before I end up in the psych ward again.
Hmu if you're in LA <3
june (from real life) // it/she // plural system // 24 // I'm bnuuy // wow!~!!
trying to make more friends/moots on mastodon!!!!
pronouns: he/him/his
math and compsci major. numbers are epic.
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.
Γ, me ⊢ simps(type systems)
---------------------------------
Γ ⊢ me
Plays Factorio, Noita, Diplomacy, Tetris, Rhythm games
