Verifying State and Reconciliation in Collaborative Web Apps | Dark Hacker News