Remix.run Logo
▲ A_D_E_P_T 3 hours ago

I can't take any credit for it. I believe Terence Tao coined it first. He also wrote a bit about it here: https://mathstodon.xyz/@tao/117237320796901560