Stories by eatonphil

How OmniPaxos handles partial connectivity – and why other protocols can’t

JIT Compilers 102

TLA+ specification for the Raft consensus algorithm

Twitter Verification for Organizations, a new kind of network on Twitter

The World Today, Foretold by Nixon (2011)

Twitter, Inc. is now X Corp

TPC-H benchmark of Hyper, DuckDB and DataFusion on Parquet files

Testing Sync at Dropbox (2020)

Cross shard transactions at 10M requests per second (2018)

Madsim: Magical Deterministic Simulator for distributed systems in Rust

High-Level Synthesis Made Easy

Building a Database in the 2020s

Libeatmydata – because fsync() should be a no-op

Making assertions about compiler decisions in Go programs via inline comments

When Graham Greene Met Ernest Hemingway on the Set of 'Our Man in Havana'

Ensuring data reaches disk (2011)

Can the U.S. See the Truth About China?

The Problem with AI Is the Problem with Capitalism

The Evolution of LeanStore

Laptop vs. Desktop for RonDB Development

19
20
21
22
23
24
25
26
27
28