Taurus MM: A Cloud-Native Shared-Storage Multi-Master Databasemuratbuffalo.blogspot.com4 ポイント·投稿者 mark4·8 か月前·0 コメント
Taurus Database: How to Be Fast, Available, and Frugal in the Cloudmuratbuffalo.blogspot.com3 ポイント·投稿者 mark4·8 か月前·0 コメント
mark4·28 日前·議論Relevant keynote I wrote aboutFormal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....
mark4·7 か月前·議論Yep, 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....