mark4

Recent Submissions

1. 1. ▲ Best of Metadata in 2025 (muratbuffalo.blogspot.com) 5 points · 28 days ago · 0 comments
2. 2. ▲ Taurus MM: A Cloud-Native Shared-Storage Multi-Master Database (muratbuffalo.blogspot.com) 4 points · 1 month ago · 0 comments
3. 3. ▲ Taurus Database: How to Be Fast, Available, and Frugal in the Cloud (muratbuffalo.blogspot.com) 3 points · 1 month ago · 0 comments
4. 4. ▲ Practical Diff Testing of Stateful Applications (VLDB'25) (muratbuffalo.blogspot.com) 4 points · 4 months ago · 0 comments
5. 5. ▲ Master Your Questioning Skills (muratbuffalo.blogspot.com) 4 points · 4 months ago · 0 comments
6. 6. ▲ Neurosymbolic AI: Why, What, and How (muratbuffalo.blogspot.com) 6 points · 4 months ago · 0 comments
7. 7. ▲ Real Life Is Uncertain. Consensus Should Be Too (muratbuffalo.blogspot.com) 4 points · 4 months ago · 0 comments
8. 8. ▲ Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ (mongodb.com) 5 points · 6 months ago · 0 comments
9. 9. ▲ Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (muratbuffalo.blogspot.com) 3 points · 9 months ago · 0 comments
10. 10. ▲ Publish and Perish: Why Ponder Stibbons Left the Ivory Tower (muratbuffalo.blogspot.com) 3 points · 9 months ago · 0 comments