I'm told slop machines can be prompted to write compilers nowadays. it might be cool to ask them to write an Ada compiler in C or C++, capable of building some recent version of GNAT that passes ACATS. then we'd then have a bootstrap path to a solid and freedom-respecting Ada compiler.
CC: nostr:...