math_whizkid (@kekbun) casts and replies on Farcaster