Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.

Low-level lesbian hardware hacker(s) and engineers(s). Building things for those we love~

Just a bit obsessed with RWBY~

PL postdoc. Currently a Newton International Fellow at the University of Edinburgh. Soon to be Assistant Prof. at University of Regina, starting July 2024. Formerly PhD at UBC with Ron Garcia

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

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