Making their own pools reminds me of PARC, and minimizing black boxes/assumptions must be very satisfying.

There's so many assumptions in mathematics, I've always assumed it must just take too much time/expertise to cover them properly. Engineering != math, but accomplishing that is revolutionary.