Y
Hacker News
new
|
ask
|
show
|
jobs
by
theknarf
179 days ago
Google Docs uses Operational Transformations (OT). You could try and model OT in TLA+.