corpus.blog
41554 blogs · [ { "id": "01a0da0c-c65a-705f-a190-14f24e16675c", "title": "What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lesson", "url": "http://muratbuffalo.blogspot.com/2026/09/what-happens-when-model-eats-stack.html", "published_at": "2026-09-23T23:04:29+00:00" }, { "id": "01a0da0c-c65a-705f-a190-14f25ad0e90b", "title": "What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lesson", "url": "https://muratbuffalo.blogspot.com/2026/09/what-happens-when-model-eats-stack.html", "published_at": "2026-09-23T23:04:29+00:00" }, { "id": "01a0c6a1-e5bb-729d-815c-ae1c5ef6fe98", "title": "In Search of a Compositional Theory of Self-Stabilization", "url": "http://muratbuffalo.blogspot.com/2026/09/in-search-of-compositional-theory-of.html", "published_at": "2026-09-21T16:55:13+00:00" }, { "id": "01a0c6a1-e5bb-729d-815c-ae1c6ab2b67b", "title": "In Search of a Compositional Theory of Self-Stabilization", "url": "https://muratbuffalo.blogspot.com/2026/09/in-search-of-compositional-theory-of.html", "published_at": "2026-09-21T16:55:13+00:00" }, { "id": "01a0bb97-ef41-71de-b155-297de92e007c", "title": "Academic Doomerism", "url": "http://muratbuffalo.blogspot.com/2026/09/academic-doomerism.html", "published_at": "2026-09-16T06:13:33+00:00" }, { "id": "01a0bb97-f18c-70ba-85fe-c51d1cc09709", "title": "Academic Doomerism", "url": "https://muratbuffalo.blogspot.com/2026/09/academic-doomerism.html", "published_at": "2026-09-16T06:13:33+00:00" }, { "id": "01a09529-6284-733a-9cb2-6807cd8c7c2d", "title": "Jetpack: Consensus Made Generally Fast (OSDI '26)", "url": "http://muratbuffalo.blogspot.com/2026/09/jetpack-consensus-made-generally-fast.html", "published_at": "2026-09-12T05:36:27+00:00" }, { "id": "01a09529-6285-7046-8eb2-4a280aaa89b4", "title": "Jetpack: Consensus Made Generally Fast (OSDI '26)", "url": "https://muratbuffalo.blogspot.com/2026/09/jetpack-consensus-made-generally-fast.html", "published_at": "2026-09-12T05:36:27+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231574986f", "title": "Metastability as a failed conditional discharge of rely-guarantee composition", "url": "https://muratbuffalo.blogspot.com/2026/09/metastability-as-failed-conditional.html", "published_at": "2026-09-03T01:03:24+00:00" }, { "id": "01a087aa-9201-70c2-b00f-5265f3d86a31", "title": "Metastability as a failed conditional discharge of rely-guarantee composition", "url": "http://muratbuffalo.blogspot.com/2026/09/metastability-as-failed-conditional.html", "published_at": "2026-09-03T01:03:24+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef23160b914f", "title": "The Safest Job from AI may be Writing", "url": "https://muratbuffalo.blogspot.com/2026/08/the-safest-job-from-ai-may-be-writing.html", "published_at": "2026-08-31T18:01:30+00:00" }, { "id": "01a087aa-9202-72e4-a19a-0ae733405737", "title": "The Safest Job from AI may be Writing", "url": "http://muratbuffalo.blogspot.com/2026/08/the-safest-job-from-ai-may-be-writing.html", "published_at": "2026-08-31T18:01:30+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef2316ca8071", "title": "Composition and Modular Verification of TLA+ specs", "url": "https://muratbuffalo.blogspot.com/2026/08/composition-and-modular-verification-of.html", "published_at": "2026-08-27T01:03:04+00:00" }, { "id": "01a087aa-9202-72e4-a19a-0ae7343272e8", "title": "Composition and Modular Verification of TLA+ specs", "url": "http://muratbuffalo.blogspot.com/2026/08/composition-and-modular-verification-of.html", "published_at": "2026-08-27T01:03:04+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef23173f5cd1", "title": "Thoughts on LLMs", "url": "https://muratbuffalo.blogspot.com/2026/08/thoughts-on-llms.html", "published_at": "2026-08-23T18:38:54+00:00" }, { "id": "01a087aa-9202-72e4-a19a-0ae735082904", "title": "Thoughts on LLMs", "url": "http://muratbuffalo.blogspot.com/2026/08/thoughts-on-llms.html", "published_at": "2026-08-23T18:38:54+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef2317ae25f5", "title": "Specula: Scaling formal specifications for autonomous model checking of system code", "url": "https://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.html", "published_at": "2026-08-12T21:33:44+00:00" }, { "id": "01a087aa-9202-72e4-a19a-0ae7354c6bef", "title": "Specula: Scaling formal specifications for autonomous model checking of system code", "url": "http://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.html", "published_at": "2026-08-12T21:33:44+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef2318091ef8", "title": "Towards Designing an Execution Control System with Metastability Resilience", "url": "https://muratbuffalo.blogspot.com/2026/08/towards-designing-execution-control.html", "published_at": "2026-08-02T06:46:15+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb7e8f26b", "title": "Towards Designing an Execution Control System with Metastability Resilience", "url": "http://muratbuffalo.blogspot.com/2026/08/towards-designing-execution-control.html", "published_at": "2026-08-02T06:46:15+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231843a552", "title": "Aurora DSQL: Scalable, Multi-Region OLTP", "url": "https://muratbuffalo.blogspot.com/2026/07/aurora-dsql-scalable-multi-region-oltp.html", "published_at": "2026-07-24T00:15:59+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb821f28b", "title": "Aurora DSQL: Scalable, Multi-Region OLTP", "url": "http://muratbuffalo.blogspot.com/2026/07/aurora-dsql-scalable-multi-region-oltp.html", "published_at": "2026-07-24T00:15:59+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef2319070753", "title": "Characterizing Metastable Faults and Failures", "url": "https://muratbuffalo.blogspot.com/2026/07/characterizing-metastable-faults-and.html", "published_at": "2026-07-22T06:21:52+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb86a2e3b", "title": "Characterizing Metastable Faults and Failures", "url": "http://muratbuffalo.blogspot.com/2026/07/characterizing-metastable-faults-and.html", "published_at": "2026-07-22T06:21:52+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef2319999b85", "title": "Leaving Buffalo: A Move-ing Story", "url": "https://muratbuffalo.blogspot.com/2026/07/leaving-buffalo-move-ing-story.html", "published_at": "2026-07-15T07:46:07+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb92f7676", "title": "Leaving Buffalo: A Move-ing Story", "url": "http://muratbuffalo.blogspot.com/2026/07/leaving-buffalo-move-ing-story.html", "published_at": "2026-07-15T07:46:07+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231a705718", "title": "5 Lessons at 50", "url": "https://muratbuffalo.blogspot.com/2026/06/5-lessons-at-50.html", "published_at": "2026-06-24T12:51:14+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb999da34", "title": "5 Lessons at 50", "url": "http://muratbuffalo.blogspot.com/2026/06/5-lessons-at-50.html", "published_at": "2026-06-24T12:51:14+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231b275573", "title": "Our Collective Bike Shed Moment", "url": "https://muratbuffalo.blogspot.com/2026/06/our-collective-bike-shed-moment.html", "published_at": "2026-06-20T03:51:13+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fb9e6b9a3", "title": "Our Collective Bike Shed Moment", "url": "http://muratbuffalo.blogspot.com/2026/06/our-collective-bike-shed-moment.html", "published_at": "2026-06-20T03:51:13+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231bf1eae8", "title": "Our Italy trip", "url": "https://muratbuffalo.blogspot.com/2026/06/our-italy-trip.html", "published_at": "2026-06-16T23:30:44+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbababa6a", "title": "Our Italy trip", "url": "http://muratbuffalo.blogspot.com/2026/06/our-italy-trip.html", "published_at": "2026-06-16T23:30:44+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231c3f7871", "title": "Our MongoDB TLA+ Workshop", "url": "https://muratbuffalo.blogspot.com/2026/06/our-mongodb-tla-workshop.html", "published_at": "2026-06-13T13:23:23+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbaf5cc64", "title": "Our MongoDB TLA+ Workshop", "url": "http://muratbuffalo.blogspot.com/2026/06/our-mongodb-tla-workshop.html", "published_at": "2026-06-13T13:23:23+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231c8e03b2", "title": "Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools", "url": "https://muratbuffalo.blogspot.com/2026/06/writing-code-vs-shipping-code.html", "published_at": "2026-06-09T04:08:26+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbbb1b8aa", "title": "Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools", "url": "http://muratbuffalo.blogspot.com/2026/06/writing-code-vs-shipping-code.html", "published_at": "2026-06-09T04:08:26+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231cbda7fa", "title": "A Case for Simulation-Driven Resilience in Agentic Data Systems", "url": "https://muratbuffalo.blogspot.com/2026/06/a-case-for-simulation-driven-resilience.html", "published_at": "2026-06-08T03:40:45+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbc80447d", "title": "A Case for Simulation-Driven Resilience in Agentic Data Systems", "url": "http://muratbuffalo.blogspot.com/2026/06/a-case-for-simulation-driven-resilience.html", "published_at": "2026-06-08T03:40:45+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231d14745c", "title": "ACM CAIS: Conference on AI and Agentic Systems", "url": "https://muratbuffalo.blogspot.com/2026/06/acm-cais-conference-on-ai-and-agentic.html", "published_at": "2026-06-02T17:29:07+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbc897070", "title": "ACM CAIS: Conference on AI and Agentic Systems", "url": "http://muratbuffalo.blogspot.com/2026/06/acm-cais-conference-on-ai-and-agentic.html", "published_at": "2026-06-02T17:29:07+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231e144b61", "title": "Chess invariants", "url": "https://muratbuffalo.blogspot.com/2026/05/chess-invariants.html", "published_at": "2026-05-21T12:26:52+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbd08a58c", "title": "Chess invariants", "url": "http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html", "published_at": "2026-05-21T12:26:52+00:00" }, { "id": "01a07d5d-8ca2-708b-849e-ef231e59d993", "title": "OSTEP Chapter 15: Address Translation", "url": "https://muratbuffalo.blogspot.com/2026/05/ostep-chapter-15-address-translation.html", "published_at": "2026-05-18T02:03:48+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbd5d9cf8", "title": "OSTEP Chapter 15: Address Translation", "url": "http://muratbuffalo.blogspot.com/2026/05/ostep-chapter-15-address-translation.html", "published_at": "2026-05-18T02:03:48+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-58578eb4eb34", "title": "Book review: The Thinking Machine", "url": "https://muratbuffalo.blogspot.com/2026/05/book-review-thinking-machine.html", "published_at": "2026-05-16T23:12:57+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbda48ea5", "title": "Book review: The Thinking Machine", "url": "http://muratbuffalo.blogspot.com/2026/05/book-review-thinking-machine.html", "published_at": "2026-05-16T23:12:57+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-58578faa7059", "title": "The Two Abstractions of System Design: Hide or Reduce", "url": "https://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html", "published_at": "2026-05-08T23:27:00+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbe4f656d", "title": "The Two Abstractions of System Design: Hide or Reduce", "url": "http://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html", "published_at": "2026-05-08T23:27:00+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-58578fb274dc", "title": "BugBash'26: Day 2", "url": "https://muratbuffalo.blogspot.com/2026/05/bugbash26-day-2.html", "published_at": "2026-05-03T21:30:00+00:00" }, { "id": "01a087aa-9203-73c1-b798-711fbed9153f", "title": "BugBash'26: Day 2", "url": "http://muratbuffalo.blogspot.com/2026/05/bugbash26-day-2.html", "published_at": "2026-05-03T21:30:00+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-585790894045", "title": "BugBash'26 Afternoon of Day 1", "url": "https://muratbuffalo.blogspot.com/2026/04/bugbash26-afternoon-of-day-1.html", "published_at": "2026-04-27T12:24:00+00:00" }, { "id": "01a087aa-9204-72af-86a8-ff12bb045ae6", "title": "BugBash'26 Afternoon of Day 1", "url": "http://muratbuffalo.blogspot.com/2026/04/bugbash26-afternoon-of-day-1.html", "published_at": "2026-04-27T12:24:00+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-58579176fb5b", "title": "BugBash'26 Morning of Day 1", "url": "https://muratbuffalo.blogspot.com/2026/04/bugbash26-morning-of-day-1.html", "published_at": "2026-04-25T15:45:00+00:00" }, { "id": "01a087aa-9204-72af-86a8-ff12bb088fc7", "title": "BugBash'26 Morning of Day 1", "url": "http://muratbuffalo.blogspot.com/2026/04/bugbash26-morning-of-day-1.html", "published_at": "2026-04-25T15:45:00+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-5857923960ce", "title": "BugBash'26 Keynote: We won, what now?", "url": "https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote.html", "published_at": "2026-04-25T01:57:00+00:00" }, { "id": "01a087aa-9204-72af-86a8-ff12bb0bc1b2", "title": "BugBash'26 Keynote: We won, what now?", "url": "http://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote.html", "published_at": "2026-04-25T01:57:00+00:00" }, { "id": "01a07d5d-8ca3-73ab-abd3-585792534b20", "title": "OSTEP Chapter 14: Interlude -- Memory API", "url": "https://muratbuffalo.blogspot.com/2026/04/ostep-chapter-14-interlude-memory-api.html", "published_at": "2026-04-03T14:51:00+00:00" }, { "id": "01a087aa-9204-72af-86a8-ff12bbe6202b", "title": "OSTEP Chapter 14: Interlude -- Memory API", "url": "http://muratbuffalo.blogspot.com/2026/04/ostep-chapter-14-interlude-memory-api.html", "published_at": "2026-04-03T14:51:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb665a0fc6", "title": "PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely", "url": "http://muratbuffalo.blogspot.com/2026/04/politepaxos-new-consensus-variant-where.html", "published_at": "2026-04-01T14:13:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5ae05b2bf", "title": "PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely", "url": "https://muratbuffalo.blogspot.com/2026/04/politepaxos-new-consensus-variant-where.html", "published_at": "2026-04-01T14:13:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb668105a1", "title": "Measuring AI Ability to Complete Long Software Tasks", "url": "http://muratbuffalo.blogspot.com/2026/03/measuring-ai-ability-to-complete-long.html", "published_at": "2026-03-28T19:05:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5ae43b7df", "title": "Measuring AI Ability to Complete Long Software Tasks", "url": "https://muratbuffalo.blogspot.com/2026/03/measuring-ai-ability-to-complete-long.html", "published_at": "2026-03-28T19:05:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb66dffb6f", "title": "OSTEP Chapter 13: The Abstraction of Address Spaces", "url": "http://muratbuffalo.blogspot.com/2026/03/ostep-chapter-13-abstraction-of-address.html", "published_at": "2026-03-26T13:58:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5aef1e324", "title": "OSTEP Chapter 13: The Abstraction of Address Spaces", "url": "https://muratbuffalo.blogspot.com/2026/03/ostep-chapter-13-abstraction-of-address.html", "published_at": "2026-03-26T13:58:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb679b88ff", "title": "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems", "url": "http://muratbuffalo.blogspot.com/2026/03/sysmobench-evaluating-ai-on-formally.html", "published_at": "2026-03-24T19:36:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5af7803da", "title": "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems", "url": "https://muratbuffalo.blogspot.com/2026/03/sysmobench-evaluating-ai-on-formally.html", "published_at": "2026-03-24T19:36:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb685d0f5d", "title": "TLA+ mental models", "url": "http://muratbuffalo.blogspot.com/2026/03/tla-mental-models.html", "published_at": "2026-03-23T16:12:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5afcac5fd", "title": "TLA+ mental models", "url": "https://muratbuffalo.blogspot.com/2026/03/tla-mental-models.html", "published_at": "2026-03-23T16:12:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb68eecf88", "title": "Beat Paxos", "url": "http://muratbuffalo.blogspot.com/2026/03/break-paxos.html", "published_at": "2026-03-19T18:42:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5afe2ae7b", "title": "Beat Paxos", "url": "https://muratbuffalo.blogspot.com/2026/03/break-paxos.html", "published_at": "2026-03-19T18:42:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6920cae7", "title": "Claude Code experiment: Visualizing Hybrid Logical Clocks", "url": "http://muratbuffalo.blogspot.com/2026/03/claude-code-experiment-visualizing.html", "published_at": "2026-03-18T15:59:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b0d11e4f", "title": "Claude Code experiment: Visualizing Hybrid Logical Clocks", "url": "https://muratbuffalo.blogspot.com/2026/03/claude-code-experiment-visualizing.html", "published_at": "2026-03-18T15:59:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb69c8a0d1", "title": "OSTEP Chapter 10: MultiProcessor Scheduling", "url": "http://muratbuffalo.blogspot.com/2026/03/ostep-chapter-10-multiprocessor.html", "published_at": "2026-03-18T11:48:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b1a66ce1", "title": "OSTEP Chapter 10: MultiProcessor Scheduling", "url": "https://muratbuffalo.blogspot.com/2026/03/ostep-chapter-10-multiprocessor.html", "published_at": "2026-03-18T11:48:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6a8a4881", "title": "Measuring Agents in Production", "url": "http://muratbuffalo.blogspot.com/2026/03/measuring-agents-in-production.html", "published_at": "2026-03-17T11:10:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b25ed44f", "title": "Measuring Agents in Production", "url": "https://muratbuffalo.blogspot.com/2026/03/measuring-agents-in-production.html", "published_at": "2026-03-17T11:10:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6b22cf7e", "title": "Modeling Token Buckets in PlusCal and TLA+", "url": "http://muratbuffalo.blogspot.com/2026/03/modeling-token-buckets-in-pluscal-and.html", "published_at": "2026-03-16T14:41:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b35a70d1", "title": "Modeling Token Buckets in PlusCal and TLA+", "url": "https://muratbuffalo.blogspot.com/2026/03/modeling-token-buckets-in-pluscal-and.html", "published_at": "2026-03-16T14:41:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6c0df795", "title": "The Serial Safety Net: Efficient Concurrency Control on Modern Hardware", "url": "http://muratbuffalo.blogspot.com/2026/03/the-serial-safety-net-efficient.html", "published_at": "2026-03-15T04:36:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b38e6db8", "title": "The Serial Safety Net: Efficient Concurrency Control on Modern Hardware", "url": "https://muratbuffalo.blogspot.com/2026/03/the-serial-safety-net-efficient.html", "published_at": "2026-03-15T04:36:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6c78e1c8", "title": "TLA+ as a Design Accelerator: Lessons from the Industry", "url": "http://muratbuffalo.blogspot.com/2026/03/tla-as-design-accelerator-lessons-from.html", "published_at": "2026-03-10T21:31:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b3f1ee57", "title": "TLA+ as a Design Accelerator: Lessons from the Industry", "url": "https://muratbuffalo.blogspot.com/2026/03/tla-as-design-accelerator-lessons-from.html", "published_at": "2026-03-10T21:31:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6d080ab0", "title": "Building a Database on S3", "url": "http://muratbuffalo.blogspot.com/2026/03/building-database-on-s3.html", "published_at": "2026-03-05T03:06:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b43be363", "title": "Building a Database on S3", "url": "https://muratbuffalo.blogspot.com/2026/03/building-database-on-s3.html", "published_at": "2026-03-05T03:06:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6d7a6a73", "title": "800th blog post: Write that Blog!", "url": "http://muratbuffalo.blogspot.com/2026/03/800th-blog-post-write-that-blog.html", "published_at": "2026-03-03T17:21:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b4e3557b", "title": "800th blog post: Write that Blog!", "url": "https://muratbuffalo.blogspot.com/2026/03/800th-blog-post-write-that-blog.html", "published_at": "2026-03-03T17:21:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6daa0684", "title": "Writing Away From the Screen", "url": "http://muratbuffalo.blogspot.com/2026/02/writing-away-from-screen.html", "published_at": "2026-02-25T04:35:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b5b6e993", "title": "Writing Away From the Screen", "url": "https://muratbuffalo.blogspot.com/2026/02/writing-away-from-screen.html", "published_at": "2026-02-25T04:35:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6e34b03b", "title": "End of Productivity Theater", "url": "http://muratbuffalo.blogspot.com/2026/02/end-of-productivity-theater.html", "published_at": "2026-02-21T17:48:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b6861c7f", "title": "End of Productivity Theater", "url": "https://muratbuffalo.blogspot.com/2026/02/end-of-productivity-theater.html", "published_at": "2026-02-21T17:48:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6eff396e", "title": "OSTEP Chapter 9: Proportional Share Scheduling", "url": "http://muratbuffalo.blogspot.com/2026/02/ostep-chapter-9-proportional-share.html", "published_at": "2026-02-18T21:42:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b6c35f65", "title": "OSTEP Chapter 9: Proportional Share Scheduling", "url": "https://muratbuffalo.blogspot.com/2026/02/ostep-chapter-9-proportional-share.html", "published_at": "2026-02-18T21:42:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb6f3a5459", "title": "Are We Becoming Architects or Butlers to LLMs?", "url": "http://muratbuffalo.blogspot.com/2026/02/butlers-or-architects.html", "published_at": "2026-02-15T05:11:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b775b641", "title": "Are We Becoming Architects or Butlers to LLMs?", "url": "https://muratbuffalo.blogspot.com/2026/02/butlers-or-architects.html", "published_at": "2026-02-15T05:11:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb701e34d7", "title": "How LLMs may affect academic writing", "url": "http://muratbuffalo.blogspot.com/2026/02/do-you-think-i-am-goldfish.html", "published_at": "2026-02-12T04:36:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b8706a37", "title": "How LLMs may affect academic writing", "url": "https://muratbuffalo.blogspot.com/2026/02/do-you-think-i-am-goldfish.html", "published_at": "2026-02-12T04:36:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb702c28e7", "title": "OSTEP Chapter 8", "url": "http://muratbuffalo.blogspot.com/2026/02/ostep-chapter-8-scheduling-multi-level.html", "published_at": "2026-02-11T03:56:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b90eeadc", "title": "OSTEP Chapter 8", "url": "https://muratbuffalo.blogspot.com/2026/02/ostep-chapter-8-scheduling-multi-level.html", "published_at": "2026-02-11T03:56:00+00:00" }, { "id": "01a0bba0-035f-7047-a6df-60eb7122a374", "title": "Towards a Standard for JSON Document Databases", "url": "http://muratbuffalo.blogspot.com/2026/02/towards-standard-for-json-document.html", "published_at": "2026-02-09T23:34:00+00:00" }, { "id": "01a0bba0-04f0-7121-91e3-78d5b9693816", "title": "Towards a Standard for JSON Document Databases", "url": "https://muratbuffalo.blogspot.com/2026/02/towards-standard-for-json-document.html", "published_at": "2026-02-09T23:34:00+00:00" } ] posts Claim your blog
Back to Murat Demirbas
Blog · corpus.blog/blogs/muratbuffalo.blogspot.com/posts

Murat Demirbas

muratbuffalo.blogspot.com

2026

What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lessonoriginal ↗
23 Sept 2026
What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lessonoriginal ↗
23 Sept 2026
In Search of a Compositional Theory of Self-Stabilizationoriginal ↗
21 Sept 2026
In Search of a Compositional Theory of Self-Stabilizationoriginal ↗
21 Sept 2026
Academic Doomerismoriginal ↗
16 Sept 2026
Academic Doomerismoriginal ↗
16 Sept 2026
Jetpack: Consensus Made Generally Fast (OSDI '26)original ↗
12 Sept 2026
Jetpack: Consensus Made Generally Fast (OSDI '26)original ↗
12 Sept 2026
Metastability as a failed conditional discharge of rely-guarantee compositionoriginal ↗
3 Sept 2026
Metastability as a failed conditional discharge of rely-guarantee compositionoriginal ↗
3 Sept 2026
The Safest Job from AI may be Writingoriginal ↗
31 Aug 2026
The Safest Job from AI may be Writingoriginal ↗
31 Aug 2026
Composition and Modular Verification of TLA+ specsoriginal ↗
27 Aug 2026
Composition and Modular Verification of TLA+ specsoriginal ↗
27 Aug 2026
Thoughts on LLMsoriginal ↗
23 Aug 2026
Thoughts on LLMsoriginal ↗
23 Aug 2026
Specula: Scaling formal specifications for autonomous model checking of system codeoriginal ↗
12 Aug 2026
Specula: Scaling formal specifications for autonomous model checking of system codeoriginal ↗
12 Aug 2026
Towards Designing an Execution Control System with Metastability Resilienceoriginal ↗
2 Aug 2026
Towards Designing an Execution Control System with Metastability Resilienceoriginal ↗
2 Aug 2026
Aurora DSQL: Scalable, Multi-Region OLTPoriginal ↗
24 Jul 2026
Aurora DSQL: Scalable, Multi-Region OLTPoriginal ↗
24 Jul 2026
Characterizing Metastable Faults and Failuresoriginal ↗
22 Jul 2026
Characterizing Metastable Faults and Failuresoriginal ↗
22 Jul 2026
Leaving Buffalo: A Move-ing Storyoriginal ↗
15 Jul 2026
Leaving Buffalo: A Move-ing Storyoriginal ↗
15 Jul 2026
5 Lessons at 50original ↗
24 Jun 2026
5 Lessons at 50original ↗
24 Jun 2026
Our Collective Bike Shed Momentoriginal ↗
20 Jun 2026
Our Collective Bike Shed Momentoriginal ↗
20 Jun 2026
Our Italy triporiginal ↗
16 Jun 2026
Our Italy triporiginal ↗
16 Jun 2026
Our MongoDB TLA+ Workshoporiginal ↗
13 Jun 2026
Our MongoDB TLA+ Workshoporiginal ↗
13 Jun 2026
Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Toolsoriginal ↗
9 Jun 2026
Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Toolsoriginal ↗
9 Jun 2026
A Case for Simulation-Driven Resilience in Agentic Data Systemsoriginal ↗
8 Jun 2026
A Case for Simulation-Driven Resilience in Agentic Data Systemsoriginal ↗
8 Jun 2026
ACM CAIS: Conference on AI and Agentic Systemsoriginal ↗
2 Jun 2026
ACM CAIS: Conference on AI and Agentic Systemsoriginal ↗
2 Jun 2026
Chess invariantsoriginal ↗
21 May 2026
Chess invariantsoriginal ↗
21 May 2026
OSTEP Chapter 15: Address Translationoriginal ↗
18 May 2026
OSTEP Chapter 15: Address Translationoriginal ↗
18 May 2026
Book review: The Thinking Machineoriginal ↗
16 May 2026
Book review: The Thinking Machineoriginal ↗
16 May 2026
The Two Abstractions of System Design: Hide or Reduceoriginal ↗
8 May 2026
The Two Abstractions of System Design: Hide or Reduceoriginal ↗
8 May 2026
BugBash'26: Day 2original ↗
3 May 2026
BugBash'26: Day 2original ↗
3 May 2026
BugBash'26 Afternoon of Day 1original ↗
27 Apr 2026
BugBash'26 Afternoon of Day 1original ↗
27 Apr 2026
BugBash'26 Morning of Day 1original ↗
25 Apr 2026
BugBash'26 Morning of Day 1original ↗
25 Apr 2026
BugBash'26 Keynote: We won, what now?original ↗
25 Apr 2026
BugBash'26 Keynote: We won, what now?original ↗
25 Apr 2026
OSTEP Chapter 14: Interlude -- Memory APIoriginal ↗
3 Apr 2026
OSTEP Chapter 14: Interlude -- Memory APIoriginal ↗
3 Apr 2026
PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicelyoriginal ↗
1 Apr 2026
PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicelyoriginal ↗
1 Apr 2026
Measuring AI Ability to Complete Long Software Tasksoriginal ↗
28 Mar 2026
Measuring AI Ability to Complete Long Software Tasksoriginal ↗
28 Mar 2026
OSTEP Chapter 13: The Abstraction of Address Spacesoriginal ↗
26 Mar 2026
OSTEP Chapter 13: The Abstraction of Address Spacesoriginal ↗
26 Mar 2026
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systemsoriginal ↗
24 Mar 2026
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systemsoriginal ↗
24 Mar 2026
TLA+ mental modelsoriginal ↗
23 Mar 2026
TLA+ mental modelsoriginal ↗
23 Mar 2026
Beat Paxosoriginal ↗
19 Mar 2026
Beat Paxosoriginal ↗
19 Mar 2026
Claude Code experiment: Visualizing Hybrid Logical Clocksoriginal ↗
18 Mar 2026
Claude Code experiment: Visualizing Hybrid Logical Clocksoriginal ↗
18 Mar 2026
OSTEP Chapter 10: MultiProcessor Schedulingoriginal ↗
18 Mar 2026
OSTEP Chapter 10: MultiProcessor Schedulingoriginal ↗
18 Mar 2026
Measuring Agents in Productionoriginal ↗
17 Mar 2026
Measuring Agents in Productionoriginal ↗
17 Mar 2026
Modeling Token Buckets in PlusCal and TLA+original ↗
16 Mar 2026
Modeling Token Buckets in PlusCal and TLA+original ↗
16 Mar 2026
The Serial Safety Net: Efficient Concurrency Control on Modern Hardwareoriginal ↗
15 Mar 2026
The Serial Safety Net: Efficient Concurrency Control on Modern Hardwareoriginal ↗
15 Mar 2026
TLA+ as a Design Accelerator: Lessons from the Industryoriginal ↗
10 Mar 2026
TLA+ as a Design Accelerator: Lessons from the Industryoriginal ↗
10 Mar 2026
Building a Database on S3original ↗
5 Mar 2026
Building a Database on S3original ↗
5 Mar 2026
800th blog post: Write that Blog!original ↗
3 Mar 2026
800th blog post: Write that Blog!original ↗
3 Mar 2026
Writing Away From the Screenoriginal ↗
25 Feb 2026
Writing Away From the Screenoriginal ↗
25 Feb 2026
End of Productivity Theateroriginal ↗
21 Feb 2026
End of Productivity Theateroriginal ↗
21 Feb 2026
OSTEP Chapter 9: Proportional Share Schedulingoriginal ↗
18 Feb 2026
OSTEP Chapter 9: Proportional Share Schedulingoriginal ↗
18 Feb 2026
Are We Becoming Architects or Butlers to LLMs?original ↗
15 Feb 2026
Are We Becoming Architects or Butlers to LLMs?original ↗
15 Feb 2026
How LLMs may affect academic writingoriginal ↗
12 Feb 2026
How LLMs may affect academic writingoriginal ↗
12 Feb 2026
OSTEP Chapter 8original ↗
11 Feb 2026
OSTEP Chapter 8original ↗
11 Feb 2026
Towards a Standard for JSON Document Databasesoriginal ↗
9 Feb 2026
Towards a Standard for JSON Document Databasesoriginal ↗
9 Feb 2026
Next