Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Metastability as a failed conditional discharge of rely-guarantee composition (muratbuffalo.blogspot.com) 2 points by matt_d 7 days ago | past | discuss The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com) 119 points by ubolonton_ 8 days ago | past | 15 comments The safest job from AI may be writing (muratbuffalo.blogspot.com) 153 points by ilreb 10 days ago | past | 211 comments Composition and Modular Verification of TLA+ Specs (muratbuffalo.blogspot.com) 3 points by matt_d 14 days ago | past Specula: Scaling formal specs for autonomous model checking of system code (muratbuffalo.blogspot.com) 6 points by matt_d 28 days ago | past Towards Designing an Execution Control System with Metastability Resilience (muratbuffalo.blogspot.com) 3 points by matt_d 39 days ago | past Aurora DSQL: Scalable, Multi-Region OLTP (muratbuffalo.blogspot.com) 18 points by zdw 47 days ago | past | 7 comments Characterizing Metastable Faults and Failures (muratbuffalo.blogspot.com) 6 points by tanelpoder 50 days ago | past Characterizing Metastable Faults and Failures (muratbuffalo.blogspot.com) 1 point by matt_d 50 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 3 months ago | past | 62 comments Book Review: The Thinking Machine (muratbuffalo.blogspot.com) 3 points by mad44 3 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 4 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 5 months ago | past TLA+ Mental Models (muratbuffalo.blogspot.com) 21 points by r4um 5 months ago | past Breaking Paxos (muratbuffalo.blogspot.com) 2 points by kukla3 5 months ago | past Beat Paxos (muratbuffalo.blogspot.com) 2 points by ingve 5 months ago | past Claude Code Experiment: Visualizing Hybrid Logical Clocks (muratbuffalo.blogspot.com) 6 points by mad44 5 months ago | past Measuring Agents in Production (muratbuffalo.blogspot.com) 4 points by mark4 5 months ago | past TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com) 4 points by erdal1 5 months ago | past The Serial Safety Net: Efficient Concurrency Control on Modern Hardware (muratbuffalo.blogspot.com) 17 points by ingve 5 months ago | past TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com) 6 points by eatonphil 6 months ago | past 800th blog post: Write that Blog (muratbuffalo.blogspot.com) 4 points by cyndunlop 6 months ago | past Building a Database on S3 (muratbuffalo.blogspot.com) 6 points by todsacerdoti 6 months ago | past More

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: