Submissions from muratbuffalo.blogspot.com

		In Search of a Compositional Theory of Self-Stabilization (muratbuffalo.blogspot.com)
		48 points by matt_d 1 day ago \| past \| 4 comments
		BugBash'26 Keynote: We won, what now? (muratbuffalo.blogspot.com)
		2 points by ghuntley 1 day ago \| past \| discuss
		Academic Doomerism (muratbuffalo.blogspot.com)
		7 points by zdw 3 days ago \| past \| discuss
		Jetpack: Consensus Made Generally Fast (OSDI '26) (muratbuffalo.blogspot.com)
		6 points by gavide 10 days ago \| past \| discuss
		Metastability as a failed conditional discharge of rely-guarantee composition (muratbuffalo.blogspot.com)
		2 points by matt_d 19 days ago \| past
		The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
		120 points by ubolonton_ 20 days ago \| past \| 15 comments
		The safest job from AI may be writing (muratbuffalo.blogspot.com)
		153 points by ilreb 22 days ago \| past \| 211 comments
		Composition and Modular Verification of TLA+ Specs (muratbuffalo.blogspot.com)
		3 points by matt_d 26 days ago \| past
		Specula: Scaling formal specs for autonomous model checking of system code (muratbuffalo.blogspot.com)
		6 points by matt_d 40 days ago \| past
		Towards Designing an Execution Control System with Metastability Resilience (muratbuffalo.blogspot.com)
		3 points by matt_d 51 days ago \| past
		Aurora DSQL: Scalable, Multi-Region OLTP (muratbuffalo.blogspot.com)
		18 points by zdw 60 days ago \| past \| 7 comments
		Characterizing Metastable Faults and Failures (muratbuffalo.blogspot.com)
		6 points by tanelpoder 62 days ago \| past
		Characterizing Metastable Faults and Failures (muratbuffalo.blogspot.com)
		1 point by matt_d 62 days ago \| past
		Productivity Effects Across Generations of AI Coding Tools (muratbuffalo.blogspot.com)
		1 point by ingve 3 months ago \| past
		A Case for Simulation-Driven Resilience in Agentic Data Systems (muratbuffalo.blogspot.com)
		4 points by eigenBasis 3 months ago \| past
		Chess invariants (muratbuffalo.blogspot.com)
		102 points by ingve 4 months ago \| past \| 62 comments
		Book Review: The Thinking Machine (muratbuffalo.blogspot.com)
		3 points by mad44 4 months ago \| past
		The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
		1 point by matt_d 4 months ago \| past
		The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
		1 point by eigenBasis 4 months ago \| past
		Measuring AI Ability to Complete Long Software Tasks (muratbuffalo.blogspot.com)
		2 points by KraftyOne 4 months ago \| past
		BugBash'26 Keynote (muratbuffalo.blogspot.com)
		2 points by zdw 5 months ago \| past
		PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely (muratbuffalo.blogspot.com)
		6 points by mad44 5 months ago \| past
		Measuring AI Ability to Complete Long Software Tasks (muratbuffalo.blogspot.com)
		4 points by matt_d 5 months ago \| past
		SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems (muratbuffalo.blogspot.com)
		5 points by matt_d 6 months ago \| past
		TLA+ Mental Models (muratbuffalo.blogspot.com)
		21 points by r4um 6 months ago \| past
		Breaking Paxos (muratbuffalo.blogspot.com)
		2 points by kukla3 6 months ago \| past
		Beat Paxos (muratbuffalo.blogspot.com)
		2 points by ingve 6 months ago \| past
		Claude Code Experiment: Visualizing Hybrid Logical Clocks (muratbuffalo.blogspot.com)
		6 points by mad44 6 months ago \| past
		Measuring Agents in Production (muratbuffalo.blogspot.com)
		4 points by mark4 6 months ago \| past
		TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com)
		4 points by erdal1 6 months ago \| past
		More