Golden Dome is tens of billions of dollars for extremely limited small-salvo ballistic missile interception. It will get canceled next administration, and for good reason.
Its cost is not tens of billions; it will cost well over a trillion dollars. It is for all types of missiles. The US needs it to combat worsening threats from Iran and North Korea.
A decent amount of mission-critical software undergoes formal verification, like spacecraft flight software (my area of expertise). SparkADA lives on because of not just its safety, but formal verifiability.
Interesting, how common is this vs just unit testing? How do you avoid formally verifying something against a spec that could subtly fail in production?
Make sure the specifications can’t fail by verifying them for correctness.
Something like TLA+[1] and Quint[2] specifications can be verified for correctness using Apalache[3]. Then test the Rust code against the specifications using quint_connect.[4]
If you mean kids playground it is, you get to imagine anything you want andmaybe other human beings join you imagining and then you get to have fun. Sometimes ot doesn’t quite work and it is not so fun. Imagine one day one of the dads coming with a robot and saying the kids that instead of you playing you vcan tell this robot what to play and it will play for you. No needto get all tired and muddy.
what makes you think you can unilaterally expand a very well-accepted meaning of a term, especially in a discussion that is basically semantics of the term?
Assuming that apocalyptic event is something which would impact the elites, is reliably predictable by the elites, escapable by flying, and has a window of opportunity where everyone will be trying to escape at the same time.
In reality, look at things like the 9/11 attacks, the 2004 tsunami, the Covid lockdowns, the Maduro raid: the elites didn't fly out all at once shortly ahead of time before the plebs knew what was going to happen. No doubt you can think of good reasons why it didn't happen in those circumstances, but trying to come up with a scenario where it actually would happen is quite a bit more challenging.
A quick check at comment history shows a few replies with cancer as the main topic. My guess would be the nature of the topic being on top of op's mind; adding the worst-case scenario of how a city-wide power outage would affect them (painting a realistic picture of life that is not all song and dance and free drinks as laid out by the original op).
Thank you for your kind words. Sorry for the Captain's Obvious a bit rude comment. It just happened that me and my partner were battling traffic using rickety road through the hills above the Barcelona to get on time for a chemotherapy session. Just to be told that due to the blackout it must be postponed for a few days. Luckily nothing serious in the long run, but nevertheless rather annoying. Because of the traffic jams and lack of mobile coverage for many hours in various locations in Spain I am quite sure there were some extra fatalities.
Thinking about it, there is nothing wrong writing about unexpected pleasures of that day. Just that we keep in mind the fact that blackouts have this non-hipstery, rather serious aspects.
PS I am doing ok-eish, splendid even considering the initial diagnosis (pancreatic cancer 1b stage diagnosed in December 2024). Maybe still way too touchy about some topic apparently triggering me.
