Life update: I just started my PhD at UC Berkeley last month 🎉 Excited to build programming tools for domain experts with Prof. Sarah Chasins at plait-lab.org!
I’ll be presenting our work on formalizing React Hooks at OOPSLA 2025 in Singapore 🇸🇬! Our work can be a basis for building semantic-based analyzers, pedagogical tools, verification of UIs, and more!
Preprint here: arxiv.org/abs/2507.05234
BREAKING: MIT just completed the first brain scan study of ChatGPT users & the results are terrifying.
Turns out, AI isn't making us more productive. It's making us cognitively bankrupt.
Here's what 4 months of data revealed:
(hint: we've been measuring productivity all wrong)
