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....