I agree with the quoted post, but I definitely want to make my slides make sense without my audio. As a non-native English speaker, I can't rely on my speaking.
26.07.2023 21:24 β π 0 π 0 π¬ 1 π 0
First post!
25.07.2023 16:30 β π 5 π 0 π¬ 0 π 0
https://andrewblinn.com
abstractJuiceFactory
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
rapid unscheduled torment nexus disassembly expert β nonbinary, she/they β writes Racket β @doitwithalambda on twitter
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
πVermont
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q1 2026)
Newsletter: https://buttondown.email/hillelwayne/
Pidgin algebraist, baseball influencer https://slim.computer
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
π³οΈβπ
she/her
PhD student @ uw cse
actually just on Mastodon: https://discuss.systems/@adrian
Associate Professor, IU Computer Science Β·
Core Developer, @racketlang.bsky.social Β·
Member, TC39 Β·
Handler, Gravymaker Β·
Bike Advocate, Bloomington IN
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
π―π΅πΊπΈ
Professional computer scientist, unprofessional mathematician