Discover users based on their interests
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.
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.
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!!!!
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
colouring outside the lines
Vellvm 'n stuff.