Submissions from muratbuffalo.blogspot.com

		Practical Diff Testing of Stateful Applications (VLDB'25) (muratbuffalo.blogspot.com)
		4 points by mark4 5 days ago \| past \| discuss
		Neurosymbolic AI: The 3rd Wave (muratbuffalo.blogspot.com)
		5 points by pbardea 10 days ago \| past \| discuss
		Master Your Questioning Skills (muratbuffalo.blogspot.com)
		4 points by mark4 10 days ago \| past \| discuss
		Neurosymbolic AI: Why, What, and How (muratbuffalo.blogspot.com)
		6 points by mark4 10 days ago \| past \| discuss
		Analysing Snapshot Isolation (muratbuffalo.blogspot.com)
		5 points by matt_d 12 days ago \| past \| discuss
		Real Life Is Uncertain. Consensus Should Be Too (muratbuffalo.blogspot.com)
		4 points by mark4 13 days ago \| past \| discuss
		Morty: Scaling Concurrency Control with Re-Execution (muratbuffalo.blogspot.com)
		2 points by matt_d 19 days ago \| past
		Serializable Isolation for Snapshot Databases (muratbuffalo.blogspot.com)
		3 points by r4um 25 days ago \| past
		ATC/OSDI 2025 Impressions (muratbuffalo.blogspot.com)
		5 points by qianli_cs 37 days ago \| past
		ATC/OSDI'25 Technical Sessions (muratbuffalo.blogspot.com)
		2 points by ArneVogel 38 days ago \| past
		Analyzing Metastable Failures in Distributed Systems (muratbuffalo.blogspot.com)
		2 points by MordodeMaru 73 days ago \| past \| 1 comment
		Analyzing Metastable Failures in Distributed Systems (muratbuffalo.blogspot.com)
		4 points by qianli_cs 74 days ago \| past
		Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
		32 points by matt_d 3 months ago \| past
		Modular verification of MongoDB Transactions using TLA+ (muratbuffalo.blogspot.com)
		2 points by todsacerdoti 3 months ago \| past
		Concurrency Control and Recovery in Database Systems: Preface and Chapter 1 (muratbuffalo.blogspot.com)
		2 points by speckx 3 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		4 points by PaulHoule 3 months ago \| past
		Multi-Grained Specs for Distributed System Model Checking and Verification (muratbuffalo.blogspot.com)
		3 points by matt_d 3 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		4 points by plinkplonk 3 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		5 points by tanelpoder 4 months ago \| past
		Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (muratbuffalo.blogspot.com)
		3 points by mark4 4 months ago \| past
		DBSP: Automatic incremental view maintenance for rich query languages (muratbuffalo.blogspot.com)
		1 point by fanf2 5 months ago \| past
		Publish and Perish: Why Ponder Stibbons Left the Ivory Tower (muratbuffalo.blogspot.com)
		3 points by mark4 5 months ago \| past
		What Makes Entrepreneurs Entrepreneurial? (muratbuffalo.blogspot.com)
		2 points by mark4 5 months ago \| past
		Tell me about your thought-process, not just your results (muratbuffalo.blogspot.com)
		4 points by sebg 6 months ago \| past
		How I read a research paper (2013) (muratbuffalo.blogspot.com)
		2 points by susam 6 months ago \| past
		My Time at MIT (muratbuffalo.blogspot.com)
		181 points by rrampage 6 months ago \| past \| 78 comments
		Hanging in there (muratbuffalo.blogspot.com)
		5 points by azhenley 6 months ago \| past
		Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
		93 points by SchwKatze 6 months ago \| past \| 49 comments
		Use of Time in Distributed Databases (muratbuffalo.blogspot.com)
		3 points by qianli_cs 7 months ago \| past
		Distributed Transactions at Scale in Amazon DynamoDB (2023) (muratbuffalo.blogspot.com)
		82 points by lambrospetrou 7 months ago \| past \| 60 comments
		More