Charles Baez (@charlesbaez) casts and replies on Farcaster