10y building software, 2y in AI and tech lead roles. Engineering-first views on what works in AI (and what doesn’t).
Just created this account a few days ago, subscribed to hundreds of AI and tech leaders, and suddenly fell into the rabbit hole of all the horrors American society is going through right now.
Sending you all my hugs and thoughts from the other side of the ocean 🫂
Just created this account a few days ago, subscribed to hundreds of AI and tech leaders, and suddenly fell into the rabbit hole of all the horrors American society is going through right now.
Sending you all my hugs and thoughts from the other side of the ocean 🫂
1. Evaluate on a single metric and engineers game it (we are smart enough)
2. Code is increasingly promoted by AI
3. The single best eng contribution can be… not shipping code!
4. A 1-character change can have massive impact
Etc etc
So true!
So true!
Axiom’s prover supposedly solved all 12 of 2025’s Putnam problems correctly. Source code: github.com/AxiomMath/Pu...
arxiv.org/abs/2601.02671