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