Explore types.pl

computer nerd, lover of trash eating animals and master of misstyping. rosen is not my surname.

non-nerdy stuff at @deppy

professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing

he/they; 19; canadian/american

this is the account where i post things specifically designed to piss hazel off. if you want to see my other posts, go to @xnx38h

please don't reply to me with foss

postdoc at kent, recently phd student at indiana

make functional programs fast using types

socialism is cool

dumb idiot named michael on the internet who somehow knows how to computer

if i do something stupid please tell me because i am stupid and i would hopefully like to be eventually be not.

please interact a little bit before following and i'll probably accept your request

(i try and caption media but sometimes im either too lazy or on mobile)

all posts after 2021/05/15 UTC are licensed under the GNU GPL v3.0 (or later)

i like topology, tea and type theory

professional dumbass

i talk about music and computers sometimes

PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)

He/him

cyberfae dragon (meow kind [enby type])

they/them, fae/faer

i do things with computers, i like racket and i'm interested in programming languages, compilers, and program analysis

feel free to send a follow request i just wanna keep the spam down

en_US/hu_HU dual wielder
nonbinary
code maid
22 years of age
serial yak shaver
hacker of planets
intersectional leftist
-1x engineer
blåhaj haver
water drinker
🏴‍☠️🦈✨

~they/she~
17 y/o transfemme plural bad code writer :D

codeing alt of @quasar (siggies there!)~

expect cursed ideas and very silly projects :33

avatar based on giga from scratch.mit.edu!
banner from homestuck, page 5438 ;3

follow reqs welcome! we are a bit less stringent on this account since it's not as oriented around personal life~

top 1% of abba listeners on spotify

- enby, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist (anarctheirt?)
- I sometimes rant and sometimes make horrible puns

studying mathematical logic • ex-CS student • interested in type theory + constructive mathematics + game semantics + non-economic games • will only write code that doubles as proof

trans rights + against all unjust hierarchies

pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony

I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them

{- Lattice painter | Proof assistant -}

pronouns: he/him/his
math and compsci major. numbers are epic.

Gay trans lady who also likes functional programming. ((λ (g) g) woman). (she/her)

Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.