mad44

4 ms·

1.
by mad44 13d ago
Yes. The followup blogpost makes this more concrete over an example: https://muratbuffalo.blogspot.com/2026/08/composition-and-mo... The rely-guarantee reasoning we used in this post is where the two abstractions
2.
by mad44 16d ago
There are now projects like Specula that, using LLMs, enable us to derive specifications from the implementation, and somewhat paradoxically, use those specifications to find bugs in the implementation. https://muratbuffalo.blog
3.
by mad44 21d ago
AI written, and makes no sense it how the piece flows.
4.
Book Review: The Thinking Machine(muratbuffalo.blogspot.com)
3 points by mad44 4mo ago|0 comments
5.
PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely(muratbuffalo.blogspot.com)
6 points by mad44 6mo ago|0 comments
6.
Taming LLMs: Using Executable Oracles to Prevent Bad Code(john.regehr.org)
47 points by mad44 6mo ago|20 comments
7.
Claude Code Experiment: Visualizing Hybrid Logical Clocks(muratbuffalo.blogspot.com)
6 points by mad44 6mo ago|0 comments
8.
by mad44 8mo ago
Does anyone have any explanation or theories about the NVME SSDs pricing anomaly?
9.
by mad44 9mo ago
MongoDB Engineering Blog is shaping up well https://www.mongodb.com/company/blog/channel/engineering-blo...
10.
LeaseGuard: Raft Leases Done Right(muratbuffalo.blogspot.com)
4 points by mad44 9mo ago|0 comments
11.
by mad44 1y ago
I had summarized this talk here: https://muratbuffalo.blogspot.com/2020/01/how-to-speak-by-pa... And a couple more pearls from Prof. Winston here as well. https://muratbuffalo.blogspot.com/search?q
12.
by mad44 2y ago
Also Mahesh Balakrishnan (Yale, Facebook/Meta, Confluent) https://muratbuffalo.blogspot.com/search?q=mahesh
13.
by mad44 2y ago
Marc Brooker @mjb https://news.ycombinator.com/user?id=mjb
14.
TLA from First Principles(buttondown.com)
4 points by mad44 2y ago|0 comments
15.
by mad44 2y ago
I was also unhappy with emacs breaking across versions, but I learnt to adopt to the new and sane keyboard shortcuts for org mode. http://muratbuffalo.blogspot.com/2024/01/dude-wheres-my-emac...
16.
Best of 2023 in MuratBuffalo Distributed/Database Systems Blog(muratbuffalo.blogspot.com)
3 points by mad44 3y ago|0 comments
17.
by mad44 3y ago
How I read a research paper https://muratbuffalo.blogspot.com/2013/07/how-i-read-researc...
18.
Epoxy: Acid Transactions Across Diverse Data Stores (VLDB'23)(muratbuffalo.blogspot.com)
3 points by mad44 3y ago|0 comments
19.
by mad44 3y ago
It makes working across other slack workspaces inconvenient by adding another click to select another workspace.
20.
by mad44 3y ago
Yes, the redesign sucks, it is hard to use.
21.
Hints for Distributed Systems Design (2023)(muratbuffalo.blogspot.com)
9 points by mad44 3y ago|0 comments
22.
How I Learn a Technical Subject(muratbuffalo.blogspot.com)
1 points by mad44 3y ago|0 comments
23.
by mad44 3y ago
I had written this in 2014 as a short introduction to Dijkstra's EWD notes. https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.ht...
24.
Detock: High Performance Multi-Region Transactions at Scale (Sigmod 2023)(muratbuffalo.blogspot.com)
4 points by mad44 3y ago|0 comments
25.
by mad44 3y ago
Distributed systems, database systems, writing, research, cloud computing https://muratbuffalo.blogspot.com
26.
by mad44 3y ago
http://muratbuffalo.blogspot.com/2016/09/sonification-for-mo... Sonification for monitoring and debugging distributed systems
27.
New Directions in Cloud Computing(muratbuffalo.blogspot.com)
2 points by mad44 3y ago|0 comments
28.
by mad44 3y ago
There it is in the post: In Search of an Understandable Consensus Algorithm. Diego Ongaro, John Ousterhout, Usenix ATC, 2014.
29.
by mad44 3y ago
Public Service Announcement. Reading research papers is so important for your growth and career, please put in a process to do it at least once in a month or two. (I will try to write a blog post about why it is important, and how to go abo
30.
by mad44 3y ago
> the original text is not a mystical text beyond your comprehension; you too can engage with it and draw your own conclusions. This! This is so important. Here is what I wrote (oh, wow, 10 years ago) about the process I use for reading

More ›