Submissions from muratbuffalo.blogspot.com

		PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely (muratbuffalo.blogspot.com)
		6 points by mad44 3 days ago \| past \| discuss
		Measuring AI Ability to Complete Long Software Tasks (muratbuffalo.blogspot.com)
		4 points by matt_d 4 days ago \| past \| discuss
		SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems (muratbuffalo.blogspot.com)
		5 points by matt_d 10 days ago \| past \| discuss
		TLA+ Mental Models (muratbuffalo.blogspot.com)
		21 points by r4um 11 days ago \| past \| discuss
		Breaking Paxos (muratbuffalo.blogspot.com)
		2 points by kukla3 14 days ago \| past
		Beat Paxos (muratbuffalo.blogspot.com)
		2 points by ingve 15 days ago \| past
		Claude Code Experiment: Visualizing Hybrid Logical Clocks (muratbuffalo.blogspot.com)
		6 points by mad44 15 days ago \| past
		Measuring Agents in Production (muratbuffalo.blogspot.com)
		4 points by mark4 17 days ago \| past
		TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com)
		4 points by erdal1 20 days ago \| past
		The Serial Safety Net: Efficient Concurrency Control on Modern Hardware (muratbuffalo.blogspot.com)
		17 points by ingve 20 days ago \| past
		TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com)
		6 points by eatonphil 24 days ago \| past
		800th blog post: Write that Blog (muratbuffalo.blogspot.com)
		4 points by cyndunlop 25 days ago \| past
		Building a Database on S3 (muratbuffalo.blogspot.com)
		6 points by todsacerdoti 29 days ago \| past
		End of Productivity Theater (muratbuffalo.blogspot.com)
		7 points by zdw 41 days ago \| past
		Agentic AI and the Mythical Agent Month (muratbuffalo.blogspot.com)
		1 point by kukla3 43 days ago \| past
		Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)
		8 points by cstever 45 days ago \| past \| 2 comments
		Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)
		2 points by mark4 46 days ago \| past
		Do you think I am a goldfish? (muratbuffalo.blogspot.com)
		2 points by mark4 50 days ago \| past
		The F Word (muratbuffalo.blogspot.com)
		1 point by djha-skin 57 days ago \| past
		The F Word (muratbuffalo.blogspot.com)
		132 points by zdw 58 days ago \| past \| 66 comments
		Welcome to Town Al-Gasr (muratbuffalo.blogspot.com)
		4 points by zdw 69 days ago \| past
		Agentic AI and the Mythical Agent-Month (muratbuffalo.blogspot.com)
		6 points by vinhnx 73 days ago \| past
		Agentic AI and the Mythical Agent-Month (muratbuffalo.blogspot.com)
		3 points by zdw 73 days ago \| past
		Are Database Researchers Making Correct Assumptions about Transaction Workloads? (muratbuffalo.blogspot.com)
		2 points by supriyo-biswas 84 days ago \| past
		Cloudspecs: Cloud Hardware Evolution Through the Looking Glass (muratbuffalo.blogspot.com)
		53 points by speckx 84 days ago \| past \| 12 comments
		Are DBMS Researchers Making Correct Assumptions about Transaction Workloads? (muratbuffalo.blogspot.com)
		4 points by matt_d 88 days ago \| past
		The Agentic Self: Parallels Between AI and Self-Improvement (muratbuffalo.blogspot.com)
		28 points by zdw 3 months ago \| past \| 8 comments
		Rethinking the Cost of Distributed Caches for Datacenter Services (muratbuffalo.blogspot.com)
		2 points by zdw 3 months ago \| past
		LeaseGuard: Raft Leases Done Right (muratbuffalo.blogspot.com)
		4 points by mad44 3 months ago \| past
		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		129 points by birdculture 3 months ago \| past \| 33 comments
		More

HN For You