Viewing profile — dtornow

Hey thanks for the kind words, I am happy you liked the article. You are correct, we did not come up with the rule (but Joran did come up with the name) but drew from the rich hist…

Yes, exceptions often surprise us in practice. The distinction I'm drawing is more about categorical boundaries than anticipated boundaries: exceptions are part of normal control f…

When we built Distributed Async Await, we went a step further: Every time the generator instance awaits, we "kill" the generator instance (you cannot really kill a generator, but y…

That's what we do at Resonate: We build Distributed Async Await, basically async await with durability provided by Durable Promises. A Durable Promises is the checkpoint (the memoi…

At Resonate, we are using generators (both for the typescript sdk and the python sdk) to implement Distributed Async Await, Resonate's Durable Execution Framework. Because generato…

My favorite mental framework to reason about consistency in distributed systems, Invariant Confluence, was formulated by Peter Bailis at al in Coordination Avoidance in Database Sy…

The blog post explores the magic of abstractions using the example of database transactions.

Blog post presenting a blueprint for a principled failure handling strategy that aims for correctness and completeness while maximizing the chance of success even in the presence o…

I was part of that debate, I remember a rather interesting point of discussion: Is the main operation "apply" or "dedup" Apply seems to be the common notion of event sourcing: Ther…

With specifications in First Order Logic (TLA+ syntax)

Author here: I tried to capture networking on a conceptual level, not an implementation level. The idea is to describe the network as a graph of idealized processes and switches. I…