Inlay

//

Profile

Loading...

[new blog post] A Case for Simulation-Driven Resilience in Agentic Data Systems muratbuffalo.blogspot.com/2026/06/a-ca...

[new blog post] Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools muratbuffalo.blogspot.com/2026/06/writ...

4d

3d

Murat (Distributolog)

I love this breakdown. We can simplify by ignoring details that would distract from the system we are trying to design ( like APIs do ). Or we can simplify by totally deleting the pieces of the solution that are unnecessary to produce the desired behavior!

1d

[new blog post] BugBash'26 Afternoon of Day 1 muratbuffalo.blogspot.com/2026/04/bugb...

[new blog post] Book review: The Thinking Machine muratbuffalo.blogspot.com/2026/05/book...

[new blog post] ACM CAIS: Conference on AI and Agentic Systems muratbuffalo.blogspot.com/2026/06/acm-...

[new blog post] BugBash'26 Day 2 muratbuffalo.blogspot.com/2026/05/bugb...

1mo

[new blog post] Chess Invariants muratbuffalo.blogspot.com/2026/05/ches...

26d

9d

1mo

[new blog post] The Two Abstractions of System Design: Hide or Reduce muratbuffalo.blogspot.com/2026/05/the-...

22d

Zicklag

As I mentioned in my previous post , I traveled to San Jose at the end of May for the ACM CAIS conference. On Day 0, I gave a very short tal...

muratbuffalo.blogspot.com

A Case for Simulation-Driven Resilience in Agentic Data Systems

Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools

The transformative power of LLMs in coding has been irrefutable, and it feels like we are living through a magical computing renaissance. On...

muratbuffalo.blogspot.com

1mo

My notes from this year's Antithesis BugBash conference, about software verification and distributed systems: emptysqua.re/blog/notes-f...

1mo

Murat (Distributolog)

1mo

When talking about TLA+, I keep referring to "abstraction" as the most important thing to learn . And it is about the hardest to learn as w...

muratbuffalo.blogspot.com

The Two Abstractions of System Design: Hide or Reduce

Murat (Distributolog)

When talking about TLA+, I keep referring to "abstraction" as the most important thing to learn . And it is about the hardest to learn as w...

muratbuffalo.blogspot.com

The Two Abstractions of System Design: Hide or Reduce

Ok, finally getting sometime to put my butt down to write about day 2 of BugBash. Why do so few buildings fall down? Brian Potter, Senior In...

muratbuffalo.blogspot.com

BugBash'26: Day 2

Book review: The Thinking Machine

I listened to this book as an audiobook through the Libby app, which basically brings your public library to your phone. The Thinking Machin...

muratbuffalo.blogspot.com

Last week, I traveled to San Jose to attend the ACM CAIS conference . On Day 0, I gave a short talk at the Supporting our AI Overlords (SAO)...

muratbuffalo.blogspot.com

ACM CAIS: Conference on AI and Agentic Systems

Murat (Distributolog)

Chess is a lot trickier than it looks. It has so many rules: castling, en passant, pawn promotion, pinning, the discovered check, and the de...

muratbuffalo.blogspot.com

Chess invariants

Murat (Distributolog)

These are my notes from the afternoon sessions of BugBash'26 . We had a 75 minute lunch break. Nice lunch, but there were no vegetarian entr...

muratbuffalo.blogspot.com

BugBash'26 Afternoon of Day 1

A. Jesse Jiryu Davis

Notes from the 2026 conference on autonomous testing and software correctness.

emptysqua.re

Antithesis BugBash Conference 2026