おすすめツイート
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. Bills 106K posts
- 2. Falcons 28.1K posts
- 3. phil 124K posts
- 4. Josh Allen 12.2K posts
- 5. Bijan 17.1K posts
- 6. Drake London 4,881 posts
- 7. Chris Moore 1,696 posts
- 8. Bears 44.7K posts
- 9. Dan Quinn N/A
- 10. McDermott 3,709 posts
- 11. #NLCS 4,443 posts
- 12. #RaiseHail 4,614 posts
- 13. Jayden 11.6K posts
- 14. phan 91.6K posts
- 15. Beane 1,817 posts
- 16. Commanders 29.5K posts
- 17. Caleb 30K posts
- 18. #BUFvsATL 2,619 posts
- 19. Sal Frelick N/A
- 20. Jake Moody 1,779 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.