David (@chang-chi) casts and replies on Farcaster