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 Trends
- 1. Happy Birthday Charlie 18.9K posts
- 2. Good Tuesday 20.9K posts
- 3. #Worlds2025 21.7K posts
- 4. Bears 91.6K posts
- 5. Caleb 50.9K posts
- 6. Snell 25.5K posts
- 7. Jake Moody 14.3K posts
- 8. Jayden 23.4K posts
- 9. Joji 34.7K posts
- 10. Commanders 53.3K posts
- 11. Swift 293K posts
- 12. #BearDown 2,459 posts
- 13. Conquered 29.3K posts
- 14. Blinken 25.6K posts
- 15. Ben Johnson 4,596 posts
- 16. Pentagon 66.6K posts
- 17. Roki 6,210 posts
- 18. Benin 84.5K posts
- 19. Bijan 34.2K posts
- 20. Turang 4,469 posts
Something went wrong.
Something went wrong.