
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 😂
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.....

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
United States الاتجاهات
- 1. Chauncey Billups 73.4K posts
- 2. #FalloutDay 4,165 posts
- 3. Damon Jones 19.8K posts
- 4. Mafia 108K posts
- 5. #7_years_with_ATEEZ 64.8K posts
- 6. Tiago Splitter 2,243 posts
- 7. #에이티즈_7주년_항해는_계속된다 50.9K posts
- 8. #A_TO_Z 50.2K posts
- 9. Kash Patel 43.9K posts
- 10. Changpeng Zhao N/A
- 11. The FBI 160K posts
- 12. 5sos 33.6K posts
- 13. Gilbert Arenas 7,288 posts
- 14. Ti West 1,262 posts
- 15. La Cosa Nostra 7,799 posts
- 16. Gambling 145K posts
- 17. The NBA 207K posts
- 18. Toronto Rangers 3,079 posts
- 19. Kirby Air Riders 9,444 posts
- 20. Adam Silver 5,168 posts
قد يعجبك
-
Edward Z. Yang
@ezyang -
typedfemale
@typedfemale -
rohan anil
@_arohan_ -
Horace He
@cHHillee -
Kayo Yin 🍁 COLM 2025
@kayo_yin -
Bert Maher
@tensorbert -
Bing Xu
@bingxu_ -
Adam Paszke
@apaszke -
Bram Wasti
@bwasti -
Dmytro Dzhulgakov
@dzhulgakov -
James Reed
@jamesr66a -
John Langford
@JohnCLangford -
Vinod Grover
@vinodg -
Matt Macauley
@VisualAlgebra -
Reiner Pope
@reinerpope
Something went wrong.
Something went wrong.