You might like
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 Trends
- 1. Bears 89.6K posts
- 2. #Worlds2025 18.2K posts
- 3. Happy Birthday Charlie Kirk 6,223 posts
- 4. Jake Moody 13.9K posts
- 5. Snell 24.8K posts
- 6. Bills 144K posts
- 7. Falcons 51.7K posts
- 8. Caleb 49.1K posts
- 9. phil 180K posts
- 10. Josh Allen 27K posts
- 11. Jayden 22.9K posts
- 12. Joji 31.5K posts
- 13. #BearDown 2,399 posts
- 14. Swift 289K posts
- 15. Ben Johnson 4,471 posts
- 16. #Dodgers 15.5K posts
- 17. Turang 4,380 posts
- 18. Troy Aikman 6,648 posts
- 19. Roki 6,038 posts
- 20. Bijan 33.4K posts
You might like
-
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.