prof dave (@kaedoneeee) casts and replies on Farcaster