4 ms·
In its own words, this paper calls for: - an addition to the critical infrastructure information technology sector, - a cloud computing tax to fund critical U
by trealira 2y ago
In its own words, this paper calls for:
- an addition to the critical infrastructure information technology sector,
- a cloud computing tax to fund critical U.S. cyber defense
- U.S.-sponsored governance for emerging cybersecurity solutions like Rust, and
- a U.S.-sponsored open source library verification service.
Some relevant quotes:
- Cloud sales tax:
-- "A cloud computing tax is long overdue, and it must be collected to secure the software supply chain for American consumers."
-- "A cloud sales tax would put the cost of securing open source for U.S. economic stability on the companies that have profited the most from open source software—its biggest consumers. The Open Source Trust can offer financial support to open source communities, allow for more free-flowing exploration of our technology frontier, and close a gaping hole in America’s economic stability."
- "A public-private partnership effort to build an actionable cookbook for memory-safety migration would be a better first step than urging technology manufacturers to use the one available today." ... "CISA should partner with early Rust adopters to identify their insights, costs, and wins and visibly incorporate that data into the roadmap guidance." ... "CISA should lead an initiative to create this cookbook for memory-safety migration starting with Rust, where there is little institutional knowledge available today, and this work should be funded by the Open Source Trust."
- Because Rust's memory safety and analysis tools are limited, and because engineers "need education and tools to know when to use [unsafe Rust] and how to mitigate the risks 'unsafe Rust' introduces," CISA SEI should "receive Open Source Trust funding to continue their research and development and (a) reduce the limitations of the Rust compiler, (b) audit the Rust compiler’s correctness in assessing the memory safety of Rust code, and (c) develop both static and dynamic analysis tools for safe and unsafe Rust."
- Also, CISA should "receive additional Open Source Trust funding to support rapid, in-depth development of standards across package repositories, compilers, and build tools" to mitigate the the security problems that come from one person controlling a crate that thousands depend on.
This isn't that important, but it's interesting, because I have often heard complaints here that Rust is hard to read.
"Rust is also the easiest programming language to sight-read. Engineers reading new code are like musicians reading unfamiliar sheet music. There are always recognizable elements, but the theme, pace, and key may be outside of the player’s experience. In software, those unfamiliar elements can take a developer through a complicated maze of dependencies and logic trees, and Rust makes the trail of logic in a program easier to follow. Researchers have concluded that Rust has a significantly lower cognitive complexity than C, C++, Python, JavaScript, and TypeScript (all languages studied), “meaning that [Rust] can guarantee the highest understandability of source code compared to all others.” As a result, software maintainers can understand unfamiliar Rust code far more quickly than code wri0en in many other popular languages."
They cite this study: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7959618/ https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7959618/
- meowface 2y ago>"Rust is also the easiest programming language to sight-read. [...] Researchers have concluded that Rust has a significantly lower cognitive complexity than C, C++, Python, JavaScript, and TypeScript (all languages studied), “meaning that [Rust] can guarantee the highest understandability of source code compared to all others.” As a result, software maintainers can understand unfamiliar Rust code far more quickly than code written in many other popular languages." I like Rust, but this sounds like opposite world. I have trouble imagining how this conclusion was made.
- BWStearns 2y agoI think the type signatures are really helpful in this regard. It makes it really easy to tell what’s happening and if I have to worry about mutations. Writing the signatures can become a pain because you have to think everything through up front, but we spend more time reading code than writing it.
- scrubs 2y agoBingo. I'm already in a bad mood from c++ stl compile errors and template bs ... rust ain't helping. And for my work (low level MT csp (communicating sequential processes) and as another hn post made reference to, better design verification ie better integration of spin or lean with a dev lamguage would go further to deal with the unwieldy aspects of systems.
- Yoric 2y agoI imagine it's about type signatures. Rust makes it very easy to attach strong invariants to types. In most other languages, it's either harder to attach these invariants or harder to trust them. By one metric (definitely not all of them), this makes properly written Rust code much easier to understand (and trust) than in the other languages from that list.