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,…
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. VMIN 25.7K posts
- 2. Good Saturday 20.6K posts
- 3. #SaturdayVibes 3,210 posts
- 4. Nigeria 468K posts
- 5. Chovy 13K posts
- 6. seokjin 237K posts
- 7. #LoVeMeAgain 35.5K posts
- 8. VOCAL KING TAEHYUNG 37.9K posts
- 9. Social Security 45.3K posts
- 10. New Month 303K posts
- 11. #SaturdayMotivation 1,123 posts
- 12. Spring Day 57.3K posts
- 13. Big Noon Kickoff N/A
- 14. GenG 21.8K posts
- 15. Merry Christmas 11.8K posts
- 16. #saturdaymorning 1,481 posts
- 17. #AllSaintsDay 1,276 posts
- 18. IT'S GAMEDAY 1,473 posts
- 19. Game 7 79.5K posts
- 20. Shirley Temple 1,165 posts
Something went wrong.
Something went wrong.