I think AI might make reimplementatiion from first principles more viable (think: an Oberon os with Linux driver support; or: a full environment like STEPS, but for real use) - which might make it feasible to simplify the problem domain (firmware, driver, os, UX, compilers) - to the point that it becomes easier to create bug free domains/subsystems.