Submissions from brooker.co.za

		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		172 points by aiono 15 hours ago \| past \| 99 comments
		Snapshot Isolation vs. Serializability (brooker.co.za)
		1 point by teivah 2 days ago \| past \| discuss
		MemoryDB: Speed, Durability, and Composition (brooker.co.za)
		2 points by PaulHoule 18 days ago \| past
		DSQL Vignette: Wait Isn't That Impossible? (brooker.co.za)
		4 points by fofoz 35 days ago \| past \| 1 comment
		DSQL Vignette: Transactions and Durability (brooker.co.za)
		1 point by athoscouto 35 days ago \| past \| 1 comment
		DSQL Vignette: Transactions and Durability (brooker.co.za)
		13 points by qianli_cs 36 days ago \| past
		DSQL Vignette: Reads and Compute (brooker.co.za)
		34 points by louis-paul 37 days ago \| past \| 5 comments
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		1 point by kieranhunt 37 days ago \| past
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		2 points by pongogogo 37 days ago \| past
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		17 points by daigoba66 38 days ago \| past
		Marc Brooker: Ten Years of AWS Lambda (brooker.co.za)
		4 points by erikhopf 56 days ago \| past \| 1 comment
		Resource Management in Aurora Serverless (brooker.co.za)
		1 point by qianli_cs 3 months ago \| past
		Surprising Scalability of Multitenancy (brooker.co.za)
		3 points by adityajp 3 months ago \| past
		It's About Time Accurate clocks in distributed systems (brooker.co.za)
		1 point by fanf2 4 months ago \| past
		Resource Management in Aurora Serverless (brooker.co.za)
		1 point by unchar1 4 months ago \| past
		Garbage Collection and Metastability (brooker.co.za)
		1 point by goeldhru 4 months ago \| past
		Garbage Collection and Metastability [Marc's Blog] (brooker.co.za)
		2 points by facturi 4 months ago \| past
		Resource Management in Aurora Serverless (brooker.co.za)
		1 point by goeldhru 5 months ago \| past
		Resource Management in Aurora Serverless (brooker.co.za)
		3 points by daigoba66 5 months ago \| past
		Let's consign CAP to the cabinet of curiosities (brooker.co.za)
		135 points by nalgeon 5 months ago \| past \| 151 comments
		Do Skis Get Blunt? (brooker.co.za)
		253 points by luu 6 months ago \| past \| 188 comments
		Two traps in iostat: %util and svctm (2014) (brooker.co.za)
		1 point by pncnmnp 6 months ago \| past
		Formal methods: Just good engineering practice? (brooker.co.za)
		179 points by ot 6 months ago \| past \| 149 comments
		Make your program slower with threads (2014) (brooker.co.za)
		152 points by unchar1 7 months ago \| past \| 104 comments
		Not Just Scale – Why thinking in distributed systems is important (brooker.co.za)
		14 points by enduku 7 months ago \| past
		Not Just Scale (brooker.co.za)
		48 points by eatonphil 7 months ago \| past \| 25 comments
		MemoryDB: Speed, Durability, and Composition (brooker.co.za)
		1 point by montyanderson 7 months ago \| past
		It's always TCP_NODELAY (brooker.co.za)
		884 points by todsacerdoti 8 months ago \| past \| 268 comments
		15 Years of Formal Methods at AWS: Just Good Engineering Practice? (brooker.co.za)
		2 points by transpute 8 months ago \| past \| 1 comment
		MemoryDB: Speed, Durability, and Composition (brooker.co.za)
		1 point by kiyanwang 8 months ago \| past
		More