4 ms·
We're all still waiting for that professional grade Rust OS to come to market and put lesser languages to shame.
by kevin_thibedeau 2y ago
We're all still waiting for that professional grade Rust OS to come to market and put lesser languages to shame.
- rramadass 2y agoRight. After Java in the mid-90s, Rust has become the most hyped language. Meanwhile C/C++ have been quietly adding in wisdom from lessons learned in the trenches and have gotten much better. Next time a rustacean starts jumping up and down, show them Raphael Finkel's book Advanced Programming Language Design so that they can understand there is nothing new under the sun.
- imtringued 2y agoDo you use CBMC or other model checkers to make sure that your code doesn't contain any UB or memory related bugs?
- rramadass 2y agoAre you going to tell me that Rust doesn't need such tools?
- estebank 2y agoI don't know if "putting lesser languages to shame", but https://hubris.oxide.computer/ https://hubris.oxide.computer/ is professional grade, built in just a few years. But I absolutely take umbrage at the idea that "build a modern production OS" is the bar to clear for any new language to prove themselves because modern OSes are rare regardless of language of implementation. How many "professional grade OSes" have even been released in the last 10 years?