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

difficultyang

@difficultyang

More social alt of @ezyang

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


rip groal the great


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


I want a burrito but the only local burrito place is chipotle


Loading...

Something went wrong.


Something went wrong.