Murat Demirbas (Distributolog)
@muratdemirbas
Followers
11K
Following
13K
Media
440
Statuses
13K
MongoDB Research: Distributed Systems, Databases, Formal Methods ex-AWS, ex-Prof SUNY Buffalo. Blog at: https://t.co/IqZPhhtcCC Opinions my own
Joined April 2009
[new blog post] Research, writing, and career advice https://t.co/4kRrIobVCF
5
17
114
This looks like a huge step forward for Raft implementations everywhere. Simple, powerful, and formally verified.
We introduce LeaseGuard: a Raft-specific lease protocol with a precise spec and fast recovery after crashes. By leveraging Leader Completeness, the log itself becomes the lease, avoiding the need to maintain extra protocol vars/messages. Using log knowledge, LeaseGuard
0
2
5
[new blog post] LeaseGuard: Raft Leases Done Right! https://t.co/lwF8ZLYX9l
0
3
21
We introduce LeaseGuard: a Raft-specific lease protocol with a precise spec and fast recovery after crashes. By leveraging Leader Completeness, the log itself becomes the lease, avoiding the need to maintain extra protocol vars/messages. Using log knowledge, LeaseGuard
1
9
38
"This is all good, but how does your spec match my implementation?" Here is how. We generate a test harness that tries the code and the spec. Both get tested! Want it fast? Let's use Claude. Does it find bugs? Oh yes! https://t.co/Uw6KspBrSG
protocols-made-fun.com
Author: Igor Konnov
1
5
24
[new blog post] TLA+ modeling tips https://t.co/9A6NHT7RJ3
0
9
37
TLA+ Community Event 2026 - https://t.co/eRS5vpC4iD Co-located with ETAPS 2026 in Torino, Italy, on April 12, 2026. Submit talk proposals by Jan 31 on: - industrial or academic case studies, - new tools for TLA+ or add-ons to existing tools, - innovative use of existing tools
0
3
21
It’s called fintech if the business model is more complicated than the product
31
342
3K
Everything you don’t need to know about Amazon Aurora DSQL: Part 5 – How the service uses clocks Hybrid Logical Clocks! https://t.co/0xbqmfF8rP The entire series is well written and worth a read.
aws.amazon.com
In this post, I explore how Amazon Aurora DSQL uses Amazon Time Sync Service to build a hybrid logical clock solution.
0
7
45
The main problem with modern-day universities are the lies. We have been lying so much that we cannot think clearly anymore. Here are a few lies. - « Professor X is an an expert in ZYX » where ZYX is some socially relevant topic. For example, professor X is an expert in «
12
15
133
Trying to perform LLM-powered joins at scale without the quadratic cost? @SepantaZeighami's new preprint proposes featurized-decomposition join: extract features from each "side" (ie LLM-synthesized fuzzy blocking rules), and uses those to limit the number of pairs sent to an
arxiv.org
Large Language Models (LLMs) are being increasingly used within data systems to process large datasets with text fields. A broad class of such tasks involves a semantic join-joining two tables...
0
6
21
Pomodoro has been around forever now, and we keep coming back to it
1
2
1
Our car pool turned into a brainrot field study. I wrote about the language, the memes, the programming joke that went too far, and why I think the kids are alright. Real tea inside.
1
0
0
I’m ancient fr fr but I am not an unc. I still got that aura. I understand the brainrot vibe, I just don’t cook in it.
1
0
2
Three communities of computer science contributing to the shared endeavor of building software infrastructure
4
3
25
Thrilled to release our new paper MAP: Measuring Agents in Production ⚙️🚀 2025 is the year of agents… but do they actually work in the real world? Is it just hype? A group of 25 researchers from Berkeley, Stanford, UIUC, IBM, and Intesa Sanpaolo investigated what makes agents
20
104
501
"I need the context I am not able to learn by studying rules/principles and deriving everything from them. That shit only works for the tidy thinkers. Context is my crack, the same way rules/principles are the crack for the tidy thinkers. I need to know why, why not" SAME!
[new blog post] Learning a technical subject https://t.co/mIbj1uXahE
1
1
1
Vol:18 No:13 → SunStorm: Geographically distributed transactions over Aurora-style systems https://t.co/YdiC4d0haQ
0
1
7