It would be kind of cool to start small with entirely verifiable hardware for the first bootstrapping stages. I am phantasizing about a sort of ceremony in whi

It would be kind of cool to start small with entirely verifiable hardware for the first bootstrapping stages. I am phantasizing about a sort of ceremony in which the whole bootstrap process is done live in front of an audience starting with a discrete computer (using e.g. this board as a CPU https://monster6502.com https://monster6502.com), absolutely no electronic non-volatile memory and the first programs read into the computer from punch cards or punch tape. This would be used to create later stages for more powerful hardware and the end result (after maybe one or two hardware switches) is hopefully a minimal C compiler or similar that can be used to bootstrap production compilers like GCC. Ideally, this binary is shown to be completely identical to a binary built by a typical build process. Even if such a ceremony is ultimately not very useful, it could still be seen as a kind of artistic performance.