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

TLA+ Modeling Tips (muratbuffalo.blogspot.com) 89 points by birdculture 10 hours ago | past | 19 comments TLA+ Modeling Tips (muratbuffalo.blogspot.com) 3 points by todsacerdoti 1 day ago | past | discuss Brainrot (muratbuffalo.blogspot.com) 5 points by speckx 8 days ago | past | 1 comment Best of Metadata in 2025 (muratbuffalo.blogspot.com) 5 points by mark4 14 days ago | past Optimize for momentum (muratbuffalo.blogspot.com) 52 points by zdw 14 days ago | past | 6 comments Mitigating Application Resource Overload with Targeted Task Cancellation (muratbuffalo.blogspot.com) 5 points by matt_d 22 days ago | past Mitigating Application Resource Overload with Targeted Task Cancellation (muratbuffalo.blogspot.com) 1 point by zdw 22 days ago | past Disaggregated Database Management Systems (muratbuffalo.blogspot.com) 2 points by KraftyOne 35 days ago | past Taurus MM: A Cloud-Native Shared-Storage Multi-Master Database (muratbuffalo.blogspot.com) 4 points by mark4 36 days ago | past Taurus Database: How to Be Fast, Available, and Frugal in the Cloud (muratbuffalo.blogspot.com) 3 points by mark4 36 days ago | past TLA+ Modeling of AWS outage DNS race condition (muratbuffalo.blogspot.com) 2 points by todsacerdoti 41 days ago | past Barbarians at the Gate: How AI Is Upending Systems Research (muratbuffalo.blogspot.com) 2 points by speckx 55 days ago | past Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks (muratbuffalo.blogspot.com) 4 points by mohi-kalantari 70 days ago | past The Invisible Curriculum of Research (muratbuffalo.blogspot.com) 6 points by eatonphil 74 days ago | past Disaggregation: A New Architecture for Cloud Databases (muratbuffalo.blogspot.com) 4 points by KraftyOne 83 days ago | past Supporting our AI overlords: Redesigning data systems to be Agent-first (muratbuffalo.blogspot.com) 3 points by pongogogo 89 days ago | past Supporting our AI overlords: Redesigning data systems to be Agent-first (muratbuffalo.blogspot.com) 1 point by furkansahin 3 months ago | past Redesigning Data Systems to Be Agent-First (muratbuffalo.blogspot.com) 8 points by KraftyOne 3 months ago | past | 1 comment Disaggregation: A New Architecture for Cloud Databases (muratbuffalo.blogspot.com) 1 point by furkansahin 3 months ago | past Disaggregation: A New Architecture for Cloud Databases (muratbuffalo.blogspot.com) 16 points by matt_d 3 months ago | past Asymmetric Linearizable Local Reads (muratbuffalo.blogspot.com) 4 points by zdw 3 months ago | past Cabinet: Dynamically Weighted Consensus Made Fast (muratbuffalo.blogspot.com) 3 points by g0xA52A2A 3 months ago | past Practical Diff Testing of Stateful Applications (VLDB'25) (muratbuffalo.blogspot.com) 4 points by mark4 4 months ago | past Neurosymbolic AI: The 3rd Wave (muratbuffalo.blogspot.com) 5 points by pbardea 4 months ago | past Master Your Questioning Skills (muratbuffalo.blogspot.com) 4 points by mark4 4 months ago | past Neurosymbolic AI: Why, What, and How (muratbuffalo.blogspot.com) 6 points by mark4 4 months ago | past Analysing Snapshot Isolation (muratbuffalo.blogspot.com) 5 points by matt_d 4 months ago | past Real Life Is Uncertain. Consensus Should Be Too (muratbuffalo.blogspot.com) 4 points by mark4 4 months ago | past Morty: Scaling Concurrency Control with Re-Execution (muratbuffalo.blogspot.com) 2 points by matt_d 4 months ago | past Serializable Isolation for Snapshot Databases (muratbuffalo.blogspot.com) 3 points by r4um 4 months ago | past More

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