It all started with P being mentioned in reinvent keynote for its usage in the launch of S3 strong consistency. In the next 4 years, P is used by several other teams across Amazon. More details in the CACM article: cacm.acm.org/practice/syste…
Very cool to see TLA+, P, and Dafny code on the keynote stage at AWS re:Invent.
All experts worldwide today will agree off camera that Akash Defence system worked better than Iron Dome. So, let me pay a little tribute to the man behind it and some other patriotic Indians who made it possible. Save the 🧵 for times when you are in doubt about duty. 1/
100 iterations of VS Code! 🥳 Congrats to the team!
💯 v1.100 of @code is here! And we’ve got some great updates for you, like: - Smarter chat responses with new tools - Improved multi-window support - Image and Streamable HTTP support for MCP servers …and so much more. aka.ms/VSCodeRelease Here are some of the highlights……
Announcing Visual Studio Code – Code editing redefined. Mac OS X, Linux & Windows. Well be back, stay tuned...
Found this C book, Modern C, h/t @RuiCarrilho5 - published by @ManningBooks but a free copy available for download from INRIA. If you are looking for some advanced C based on C23, look at Level 3 of the book - an awesome platter of topics such as performance, reentrancy,…
He even acts like him... He isn't just walter white, he's the real one
Japan has so many elements of what I want in the future of civilization. Safe streets where kids walk to school. Healthy food supply. Quality and craft culture. Longevity. Law and order. The future is not neon drone shows, it’s technology in the service of humanity and beauty.
Someone on the Go team decided to take a "quick stab" at fixing a small bug in Go's escape analysis, resulting in a 5x increase in typescript performance. Why Go you ask?
This comment by Anders Hejlsberg on the choice of languages for TypeScript is worth reading. Spead that type of thinking! (And recognize the massive shift that Microsoft made)
So most researchers and developers on the leading edge of a field of technology find it useless for their work, and most programmers doing rote implementation find it incredibly useful, leaving each group thinking the other group is crazy.
The reason for the disconnect is pretty apparent when you dig in. AI is a godsend for most of the programmers in the world, but it doesn’t help those doing work which lacks numerous similar independent implementations for AI to train on sufficiently to help.
"Rewrite Linux in Rust" notice how they never want to rewrite Windows? They could never rewrite something that is already perfect.
It's finally cooked! I built a JavaScript runtime from scratch using C, JavaScriptCore (JSC), and libuv! Jade is an educational runtime demonstrating core concepts used in production runtimes like Node.js and Bun. github.com/dexter-xD/jade…
United States الاتجاهات
- 1. #FanCashDropPromotion 2,100 posts
- 2. Good Friday 59K posts
- 3. #FridayVibes 5,000 posts
- 4. #PETITCOUSSIN 20.3K posts
- 5. Dizzy 7,031 posts
- 6. Elise 12.3K posts
- 7. #FridayFeeling 3,005 posts
- 8. Publix 1,958 posts
- 9. Happy Friyay 1,480 posts
- 10. #FursuitFriday 9,726 posts
- 11. Talus Labs 25.5K posts
- 12. Sydney Sweeney 105K posts
- 13. Tammy Faye 3,862 posts
- 14. Happy N7 2,044 posts
- 15. $ZEC 35.3K posts
- 16. John Wayne 1,794 posts
- 17. RED Friday 4,407 posts
- 18. Hochul 16K posts
- 19. Finally Friday 4,487 posts
- 20. Munetaka Murakami N/A
Something went wrong.
Something went wrong.