difficultyang's profile picture. More social alt of @ezyang

difficultyang

@difficultyang

More social alt of @ezyang

Achievement unlocked: Rode a Waymo. 10/10 would ride again.


Yeah, codex-cli actually unambiguously better than claude code now


LLMs may not be able to one shot the reasoning, but they sure can write scripts to explore conjectures and find counterexamples!


I renamed my spouse (who has a Chinese name) to "Wife" in the address book so voice commands would work 😂


wet claude or waclaude


Skills is good and I hope they start post training for it


I guess the thing where you literally tell people what to do and they don't do it is because life is messy and it's hard to internalize what to do if you aren't living it


needed to fish out a technical video from my youtube history today... sigh.....

difficultyang's tweet image. needed to fish out a technical video from my youtube history today... sigh.....

It is kind of interesting that despite PL/formal methods having some of the best correctness verifiers out there, they still haven't really broken out into mainstream in the LLM agents era


I used to be sort of ambivalent on the fact that when you run an op on DTensor that op is exactly what gets run locally but these days I think it's a feature


so i am like rewatching last year's PTC keynote to prep this year's and i'm like "holy shit DeepSeek was January"


finished silksong (act 2 anyway, idk if i'm going to bother with act 3)


They shouldn't call it delegating they should call it improving your throughput by externalizing the costs


Loading...

Something went wrong.


Something went wrong.