By that age there probably would be other things generating code for whatever dynamically runtime-reconfigurable architecture, running fully formally verified G

By that age there probably would be other things generating code for whatever dynamically runtime-reconfigurable architecture, running fully formally verified GenodixSeL77, on whichever hardware substrate, displaying LCARSified Hypercards on Metaholografix 3.14pE. Fuppzkntshlyrrtzh! (Just in case... https://en.wikipedia.org/wiki/L4_microkernel_family https://en.wikipedia.org/wiki/Genode https://en.wikipedia.org/wiki/Quaject https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Hypercomputation https://en.wikipedia.org/wiki/Reconfigurable_computing ...)