Ding zhen (@lagrange2024) casts and replies on Farcaster