Discover users based on their interests
non-professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 18; canadian/american
this is a smaller/quieter account. you're free to follow but keep that in mind. i have a bigger account at @xnx38h
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
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
math and compsci major. numbers are epic.
17 y/o transfemme plural bad code writer :D
codeing alt of @quasar (siggies there!)~
expect cursed ideas and very silly projects :33
avatar/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~
some cyberfae catenby from elsewhere
i'm normally a cybersecurity person by day but also a passionate racketeer interested in (very broadly,) 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
21 years of age
undergrad at [redacted]
hacker of planets
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool
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.
An unhinged liveblog of my thoughts as I program.
undergraduate at IU-B
studying math and CS
a fake, a phony
Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
semantic computing and inhabitable informational ecosystems
i would simply plant the seed and let worlds within worlds grow forever
PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Formal Methods, Verification, Concurrency, Functional Programming!
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her