mark4

4 ms·

1.
by mark4 4mo ago
Relevant keynote I wrote about Formal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....
2.
Measuring Agents in Production(muratbuffalo.blogspot.com)
4 points by mark4 7mo ago|0 comments
3.
Are We Becoming Architects or Butlers to LLMs?(muratbuffalo.blogspot.com)
2 points by mark4 8mo ago|0 comments
4.
Do you think I am a goldfish?(muratbuffalo.blogspot.com)
2 points by mark4 8mo ago|0 comments
5.
by mark4 10mo ago
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.
6.
Best of Metadata in 2025(muratbuffalo.blogspot.com)
5 points by mark4 10mo ago|0 comments
7.
Taurus MM: A Cloud-Native Shared-Storage Multi-Master Database(muratbuffalo.blogspot.com)
4 points by mark4 11mo ago|0 comments
8.
Taurus Database: How to Be Fast, Available, and Frugal in the Cloud(muratbuffalo.blogspot.com)
3 points by mark4 11mo ago|0 comments
9.
Practical Diff Testing of Stateful Applications (VLDB'25)(muratbuffalo.blogspot.com)
4 points by mark4 1y ago|0 comments
10.
Master Your Questioning Skills(muratbuffalo.blogspot.com)
4 points by mark4 1y ago|0 comments
11.
Neurosymbolic AI: Why, What, and How(muratbuffalo.blogspot.com)
6 points by mark4 1y ago|0 comments
12.
Real Life Is Uncertain. Consensus Should Be Too(muratbuffalo.blogspot.com)
4 points by mark4 1y ago|0 comments
13.
by mark4 1y ago
Thank you!
14.
by mark4 1y ago
Thank you! Great explanation! As I guessed this is much less alarmist and sensational than what the paper seems to be claiming.
15.
by mark4 1y ago
ELI5 on this please. I don't get a good understanding by doing a quick read.
16.
Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+(mongodb.com)
5 points by mark4 1y ago|0 comments
17.
by mark4 1y ago
Getting schooled by AI, colleges must evolve (March, 2023) https://muratbuffalo.blogspot.com/2023/03/getting-schooled-b...
18.
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization(muratbuffalo.blogspot.com)
3 points by mark4 2y ago|0 comments
19.
Publish and Perish: Why Ponder Stibbons Left the Ivory Tower(muratbuffalo.blogspot.com)
3 points by mark4 2y ago|0 comments
20.
What Makes Entrepreneurs Entrepreneurial?(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
21.
by mark4 2y ago
This is a cool and important one. I was happy to see the article celebrating the young scientist. This is well deserved. Congratulations to him. And I hope this inspires other undergraduates as well.
22.
Best of 2024 in Metadata blog (distributed/database systems)(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
23.
Auto-WLM: machine learning enhanced workload management in Amazon Redshift(2023)(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
24.
High Performance Transaction Systems 2024, Day 1(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
25.
FlexiRaft: Flexible Quorums with Raft in Meta's MySQL Deployments(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
26.
by mark4 2y ago
In 2001, I did an internship at IBM. Ever since then, I have been convinced IBM should be going out of business any day now. Since then AWS was formed, and ate IBM's lunch. But IBM kept going. To my complete amazement, they are still i
27.
Understanding the Performance Implications of Storage-Disaggregated Databases(muratbuffalo.blogspot.com)
2 points by mark4 2y ago|0 comments
28.
by mark4 2y ago
On a tangential topic, is there another way of sitting, like sitting up? Why do English require qualifying with "down" so frequently?
29.
AWS DynamoDB: A Scalable, Predictably Performant, Managed NoSQL Database (2022)(muratbuffalo.blogspot.com)
4 points by mark4 4y ago|0 comments
30.
Why should this paper be published?(muratbuffalo.blogspot.com)
2 points by mark4 4y ago|0 comments

More ›