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.
Christian, FP/formal verification enthusiast, and friendly neighborhood nerd. CS ‘23 at Caltech. axellang.github.io
PhD student in logic. Isabelle/HOL user. Lean dabbler. she/her
the ACM Special Interest Group on Programming Languages
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
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
Lecturer in Computing, University of Kent. FP and compilers.
Γ, me ⊢ simps(type systems)
---------------------------------
Γ ⊢ me
Plays Factorio, Noita, Diplomacy, Tetris, Rhythm games
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
Interested in logic, type theory, proof assistants and formal methods
World Builder, Programmer, Type Theory Tinkerer. ✨
typesetting my epitaph in latex but it won't compile >:(
Doing ecological MINTy things for a living, and Haskell for fun.
Haskell-themed shitposting alt for @turion. Don't believe anything I write. You're welcome to laugh out loud wherever you are though.
Ph.D. candidate at Penn. Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.
music: olivepile.bandcamp.com
mgmt/business: softpunk@protonmail.ch
ask for twitter!
