I set out to make Loader's number [1], about the largest computable (*) number in googology, fit inside the 280 bytes of a tweet. After succeeding with a 2236 bit program, I got the idea to further improve the size by using Higher Order Abstract Syntax (HOAS), resulting in a big rewrite that along with other optimizations resulted in a 233 byte program [2].

(*) in the sense of having a human-scale program

[1] https://googology.fandom.com/wiki/User_blog:Upquark11111/An_...

[2] https://codegolf.stackexchange.com/questions/176966/golf-a-n...