내가 좋아할 만한 콘텐츠
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
United States 트렌드
- 1. D’Angelo 334K posts
- 2. Charlie 636K posts
- 3. Erika Kirk 64.4K posts
- 4. Young Republicans 22.6K posts
- 5. Politico 201K posts
- 6. #AriZZona N/A
- 7. #PortfolioDay 20.9K posts
- 8. Jason Kelce 6,868 posts
- 9. Pentagon 114K posts
- 10. Presidential Medal of Freedom 86.1K posts
- 11. Big 12 14.4K posts
- 12. George Strait 4,870 posts
- 13. Burl Ives N/A
- 14. Drew Struzan 35.1K posts
- 15. Brown Sugar 24.1K posts
- 16. Kai Correa N/A
- 17. Scream 5 N/A
- 18. Angie Stone 37.3K posts
- 19. #LightningStrikes N/A
- 20. Milei 314K 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.