Submissions from brooker.co.za

		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		211 points by aiono 20 days ago \| past \| 133 comments
		Snapshot Isolation vs. Serializability (brooker.co.za)
		1 point by teivah 22 days ago \| past
		MemoryDB: Speed, Durability, and Composition (brooker.co.za)
		2 points by PaulHoule 38 days ago \| past
		DSQL Vignette: Wait Isn't That Impossible? (brooker.co.za)
		4 points by fofoz 55 days ago \| past \| 1 comment
		DSQL Vignette: Transactions and Durability (brooker.co.za)
		1 point by athoscouto 55 days ago \| past \| 1 comment
		DSQL Vignette: Transactions and Durability (brooker.co.za)
		13 points by qianli_cs 56 days ago \| past
		DSQL Vignette: Reads and Compute (brooker.co.za)
		34 points by louis-paul 57 days ago \| past \| 5 comments
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		1 point by kieranhunt 57 days ago \| past
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		2 points by pongogogo 57 days ago \| past
		DSQL Vignette: Aurora DSQL, and a Personal Story (brooker.co.za)
		17 points by daigoba66 58 days ago \| past
		Marc Brooker: Ten Years of AWS Lambda (brooker.co.za)
		4 points by erikhopf 76 days ago \| past \| 1 comment
		Resource Management in Aurora Serverless (brooker.co.za)
		1 point by qianli_cs 4 months ago \| past
		Surprising Scalability of Multitenancy (brooker.co.za)
		3 points by adityajp 4 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 5 months ago \| past
		Garbage Collection and Metastability (brooker.co.za)
		1 point by goeldhru 5 months ago \| past
		Garbage Collection and Metastability [Marc's Blog] (brooker.co.za)
		2 points by facturi 5 months ago \| past
		Resource Management in Aurora Serverless (brooker.co.za)
		1 point by goeldhru 6 months ago \| past
		Resource Management in Aurora Serverless (brooker.co.za)
		3 points by daigoba66 6 months ago \| past
		Let's consign CAP to the cabinet of curiosities (brooker.co.za)
		135 points by nalgeon 6 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 7 months ago \| past
		Formal methods: Just good engineering practice? (brooker.co.za)
		179 points by ot 7 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 8 months ago \| past
		Not Just Scale (brooker.co.za)
		48 points by eatonphil 8 months ago \| past \| 25 comments
		MemoryDB: Speed, Durability, and Composition (brooker.co.za)
		1 point by montyanderson 8 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 9 months ago \| past
		More