math_whiz (@bxl) casts and replies on Farcaster