John Hall (@johnhall) casts and replies on Farcaster