/explore
|
You are here 
|
speakerdeck.com | ||
| | | | |
sookocheff.com
Title and Author of Paper Consistency Analysis in Bloom: a CALM and Collected Approach. Alvaro et al. Summary Distributed programming is difficult for even experienced developers to get correct. Understanding the tradeoff between consistency, availability, and latency, while guaranteeing data correctness, provides a wealth of problems for the application developer. This paper presents a language and method for programmatically verifying distributed consistency. CALM - Consistency and Logical Monotonicity... |
|
| | | | | ||
| | | | |
martin.kleppmann.com
Collaborative Text Editing with Eg-walker: Better, Faster, Smaller - Martin Kleppmann's publications |
|
| | | | | ||
| | | | |
decomposition.al
My research group has a new paper, "CRDT Emulation, Simulation, and Representation Independence", appearing at ICFP this year! This project was headed up by my PhD student Nathan Liittschwager, with help from another PhD student in my group, Jonathan Castello, and our collaborator Stelios Tsampas. You can read our preprint (warts and all, but soon to be improved, thanks to feedback from the ICFP reviewers) on arXiv, but here's a quick summary. Update (August 2025): The final version is now published in PACMPL, and there's an updated extended version on arXiv! |
|
| | | | | ||
| | | | |
philodev.one
oAuth is a hard to get into because of its (necessary) complexity. A basic understanding of the standard flow and the actors involved can help to make better decisions and understand the security implications of the choices. |
|
| | | |||
