2 ms·
Sure, Ada/SPARK is another option. Listing out the various potential choices people can make is not especially interesting to me. I don't personally care about
by UncleMeat 5y ago
Sure, Ada/SPARK is another option. Listing out the various potential choices people can make is not especially interesting to me. I don't personally care about Rust. I care about people taking action to solve a frankly embarrassing problem in our industry.
- pjmlp 5y agoLiabity would be a good push turning into reality. https://www.thomashelbing.com/en/whitepaper-templates-checklists/liability-and-warranty-software-under-german-law-guide-limit-your https://www.thomashelbing.com/en/whitepaper-templates-checkl...
- yjftsjthsd-h 5y agoThat would, depending on implementation, either have limited impact (if it only applied in the context of a commercial relationship), or destroy FOSS (if it didn't).
- pjmlp 5y agoThe usual argument, health inspections don't destroy the little business selling sandwiches on the corner, or street regulations and those doing their own home made car.