3 ms·
Why go halfway with Rust when you could just pick Ada SPARK? Seems like an arbitrary choice based off of rationalizing a trend.
by BirAdam 5mo ago
Why go halfway with Rust when you could just pick Ada SPARK? Seems like an arbitrary choice based off of rationalizing a trend.
- firesteelrain 5mo agoBecause you pick Ada Spark if are in a certification heavy environment like Aerospace.
- pelagicAustral 5mo agoI feel like your comment is a bit tongue in cheek and i am going to take it at face value, but I honestly been feeling increasingly more like doing verbatim what you're suggesting and i dont have a very solid justification for it.
- BirAdam 5mo agoI meant it honestly. What excuse do people have to choose anything other than mission critical technologies if the AI system can do most of the heavy lifting? Why should we settle for anything less than five 9s of uptime?