Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf]lamport.azurewebsites.net·1 pts·danbitengo·0
Static Evaluation of Model Switching in LLM Agents Scores the Wrong Worldarxiv.org·4 pts·danbitengo·0
The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editingarxiv.org·3 pts·danbitengo·0
Show HN: Oath – prove a human authorized each action before your AI agent actsgithub.com·1 pts·danbitengo·2
Show HN: SyncKit – Open two browser tabs and watch CRDTs sync in real-timegithub.com·4 pts·danbitengo·1
Show HN: SyncKit – TLA+ verified CRDT for local-first apps (zero unsafe Rust)github.com·2 pts·danbitengo·1
Show HN: SyncKit – Offline-first sync engine (Rust/WASM and TypeScript)github.com·87 pts·danbitengo·36