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
[2] https://codegolf.stackexchange.com/questions/176966/golf-a-n...