I've been trying to fit Loader's number, winner of the BIGNUM BAKEOFF contest [1], into a tweet (280 bytes). Yesterday, I finally succeeded [2]. Btw, I just no

I've been trying to fit Loader's number, winner of the BIGNUM BAKEOFF contest [1], into a tweet (280 bytes). Yesterday, I finally succeeded [2]. Btw, I just noticed that Bignum Bakeoff has the same acronym as Busy Beaver. How appropriate! [1] https://djm.cc/bignum-results.txt https://djm.cc/bignum-results.txt [2] https://codegolf.stackexchange.com/questions/176966/golf-a-number-bigger-than-loaders-number/274634#274634 https://codegolf.stackexchange.com/questions/176966/golf-a-n...