Measuring Agents in Productionmuratbuffalo.blogspot.com4 points·by mark4·4 bulan yang lalu·0 comments
Are We Becoming Architects or Butlers to LLMs?muratbuffalo.blogspot.com2 points·by mark4·5 bulan yang lalu·0 comments
Taurus MM: A Cloud-Native Shared-Storage Multi-Master Databasemuratbuffalo.blogspot.com4 points·by mark4·8 bulan yang lalu·0 comments
Taurus Database: How to Be Fast, Available, and Frugal in the Cloudmuratbuffalo.blogspot.com3 points·by mark4·8 bulan yang lalu·0 comments
mark4·28 hari yang lalu·discussRelevant keynote I wrote aboutFormal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....
mark4·7 bulan yang lalu·discussYep, this is the hardest part. Big groups slow everything down. I have found it helps to keep moving on what you can control while you wait on others, so you don't fully lose the thread.
Formal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....