As others will point out, satellites are insured against the risk of destruction during launches - just not by launch companies, but by third-party insurers, which factor in the success rate of launch companies. So no, it is not a "market equilibrium towards insuranceless products".
Software is much more complicated, "brittle" to calculate risk associated with it. I may be biased but I think the real progress in the future of programming is not AI but formal methods. That's were long-term value is, and the even worse "brittleness" of AI will drive even more the point home in many domains (even if it is used to check and validate AI outputs).
Software is much more complicated, "brittle" to calculate risk associated with it. I may be biased but I think the real progress in the future of programming is not AI but formal methods. That's were long-term value is, and the even worse "brittleness" of AI will drive even more the point home in many domains (even if it is used to check and validate AI outputs).