122 Followers
115 Following
1.4K Posts
🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼
PhD Candidate at Princeton doing PL stuff for Hardware
MSc CS ETHZ | BSc CS EPFL
languages🇨🇭🇫🇷 | 🇬🇧 | 🇵🇹 | 🇩🇪 | 🇯🇵 | 🇩🇰
past affiliationsSiFive | UC Berkeley | USI (Lugano) | ETH Zürich | DTU | EPFL
academic webpagehttps://cs.princeton.edu/~ad4048
git placeshttps://github.com/dobios https://gitlab.com/Dobios https://codeberg.org/miado
My big undergrad systems class always has roughly 2 lectures of slack at the end, and this time I’m going to try introducing Rust. It has required telling a few lies but I’m trying to keep them to a minimum……?? https://www.cs.cornell.edu/courses/cs3410/2026sp/notes/rust.html
Rust - CS 3410 Spring 2026

it was really intense and quite formal (which I kind of expected). I did decently at the public talk part but only ok-ish at the secret hour long oral exam with my committee after (I totally choked on a softball opening question, which I feel really stupid about because I generally know how to do that kind of stuff but just choked under pressure)
oh btw I get to be a PhD candidate now (passed my qualifying exam yesterday)
seriously in need of a vacation
I am so deeply exhausted it made me cry
in case you thought i was joking

OH: "... you know, Karl Marx said..."

ahhh Philly, the place where middle-aged folks casually quote Marx to each other

Reading about #mansplaining, I am reminded of that one time I was introduced to a tech transfer manager as a tenured member of a machine learning team. The guy then proceeded to explain machine learning to me. This was at a lunch, and half the people at the table stopped eating with their mouth half open.

And now I remember another one.

I was giving an intro to machine learning to an audience of biomedical researchers. One man had the following question: "I am wondering why you're calling it machine *learning*, when it obviously ought to be machine *teaching*. Maybe you've been confused translating from the French 'apprendre', as it can have both meanings? Have you checked the translation?" Yes, it had been said when I was introduced that I did my PhD in the US and that I was a machine learning expert. And then I shared that story on Twitter, and a man who was *not* a fluent French speaker told me that my story was probably wrong, because "apprendre" only means "to learn" and never "to teach".

Autoformalizers not understanding formal methods (2026, colorized)
Some very wealthy corporations and people want you to think the idea of “15-Minute Cities” is a scary conspiracy. But it’s really just common sense. More things nearby without always needing a car. But have you heard of the “1-Hour City Conspiracy?” Stay tuned. #1HourCityConspiracy #UrbanTruth