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.
ghostty, tmux, neovim, ranger, write you own scripts and tools
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. Cloudflare 28.4K posts
- 2. #heatedrivalry 29.1K posts
- 3. Cowboys 74K posts
- 4. LeBron 113K posts
- 5. Happy Farmers 1,606 posts
- 6. fnaf 2 27.6K posts
- 7. Pickens 14.9K posts
- 8. Lions 93K posts
- 9. Warner Bros 28.5K posts
- 10. Gibbs 20.8K posts
- 11. rUSD N/A
- 12. Paramount 21.6K posts
- 13. #PowerForce N/A
- 14. scott hunter 6,383 posts
- 15. Wizkid 176K posts
- 16. Shang Tsung 34.5K posts
- 17. Brandon Aubrey 7,499 posts
- 18. Davido 96.8K posts
- 19. Scott and Kip 3,671 posts
- 20. Eberflus 2,699 posts
Something went wrong.
Something went wrong.