Paren-wielding facebook-theorist. Sith Lord of Compilers. Beloved fucking menace. Silky smooth, level headed, and powerful. Gives off catgirl lesbian energy

i like topology, tea and type theory

i won't approve your frq if you have an empty bio and post history

PhD student at UPenn studying type systems

Pidgin algebraist 🐦 https://slim.computer

Computing Scientist, ex-mathematician. Currently in academia, spent considerable time in industry as well. Into weird programming languages and the outer parts of programming and software engineering. Currently exploring metaprogramming, quantum programming, DSLs and "generate everything".

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

👩🏽‍💻 types a lot
🚅 i like trains
👩🏽‍🎓 undergrad @ neu
🏳️‍⚧️ has gender i think
🏷️ https://en.pronouns.page/@ariscript
📥 dms generally open

pl nerd, but most posts are not about pl
20 y/o brown bisexual trans nb girl