Submissions from muratbuffalo.blogspot.com

		Multi-Grained Specs for Distributed System Model Checking and Verification (muratbuffalo.blogspot.com)
		3 points by matt_d 3 days ago \| past \| discuss
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		4 points by plinkplonk 4 days ago \| past \| discuss
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		5 points by tanelpoder 16 days ago \| past
		Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (muratbuffalo.blogspot.com)
		3 points by mark4 30 days ago \| past
		DBSP: Automatic incremental view maintenance for rich query languages (muratbuffalo.blogspot.com)
		1 point by fanf2 38 days ago \| past
		Publish and Perish: Why Ponder Stibbons Left the Ivory Tower (muratbuffalo.blogspot.com)
		3 points by mark4 47 days ago \| past
		What Makes Entrepreneurs Entrepreneurial? (muratbuffalo.blogspot.com)
		2 points by mark4 61 days ago \| past
		Tell me about your thought-process, not just your results (muratbuffalo.blogspot.com)
		4 points by sebg 67 days ago \| past
		How I read a research paper (2013) (muratbuffalo.blogspot.com)
		2 points by susam 68 days ago \| past
		My Time at MIT (muratbuffalo.blogspot.com)
		181 points by rrampage 68 days ago \| past \| 78 comments
		Hanging in there (muratbuffalo.blogspot.com)
		5 points by azhenley 78 days ago \| past
		Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
		93 points by SchwKatze 89 days ago \| past \| 49 comments
		Use of Time in Distributed Databases (muratbuffalo.blogspot.com)
		3 points by qianli_cs 3 months ago \| past
		Distributed Transactions at Scale in Amazon DynamoDB (2023) (muratbuffalo.blogspot.com)
		82 points by lambrospetrou 3 months ago \| past \| 60 comments
		Use of Time in Distributed Databases (part 4): Synchronized clocks in prod DBs (muratbuffalo.blogspot.com)
		2 points by emschwartz 3 months ago \| past
		Scalable Causal Consistency with No Slowdown Cascades (muratbuffalo.blogspot.com)
		2 points by teivah 3 months ago \| past
		Exploring the NaiadClock TLA+ Model in TLA-Web (muratbuffalo.blogspot.com)
		2 points by mooreds 3 months ago \| past
		Use of Time in Distributed Databases-part 2: Use of logical clocks in databases (muratbuffalo.blogspot.com)
		2 points by thunderbong 3 months ago \| past
		Use of Logical Clocks in Databases (muratbuffalo.blogspot.com)
		16 points by emschwartz 4 months ago \| past
		Utilizing highly synchronized clocks in distributed databases (muratbuffalo.blogspot.com)
		1 point by emschwartz 4 months ago \| past
		Utilizing highly synchronized clocks in distributed databases (muratbuffalo.blogspot.com)
		3 points by todsacerdoti 4 months ago \| past
		Best of 2024 in Metadata blog (distributed/database systems) (muratbuffalo.blogspot.com)
		2 points by mark4 4 months ago \| past
		DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
		4 points by gz09 5 months ago \| past \| 1 comment
		DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
		1 point by matt_d 5 months ago \| past
		Auto-WLM: machine learning enhanced workload management in Amazon Redshift(2023) (muratbuffalo.blogspot.com)
		2 points by mark4 6 months ago \| past
		High Performance Transaction Systems 2024, Day 1 (muratbuffalo.blogspot.com)
		2 points by mark4 6 months ago \| past
		Sundial: Fault-tolerant clock synchronization for datacenters (2021) (muratbuffalo.blogspot.com)
		2 points by fanf2 7 months ago \| past
		FlexiRaft: Flexible Quorums with Raft in Meta's MySQL Deployments (muratbuffalo.blogspot.com)
		2 points by mark4 7 months ago \| past
		Truth Is Multidimensional (2018) (muratbuffalo.blogspot.com)
		3 points by greyface- 8 months ago \| past
		Looming Liability Machines (LLMs) (muratbuffalo.blogspot.com)
		158 points by zdw 8 months ago \| past \| 143 comments
		More