Ben Schofield

Sequences are one of those Postgres features that you don’t think much about.

Summary of It’s Time to Replace TCP in the Datacenter This position paper from John Ousterhout sets out everything that’s wrong with TCP and exactly how we should fix it.

I love this article from lwn and this conclusion especially: this ability to take a property that the language does not know about and “teach” it to Rust, so that now it is enforced at compile time, is why he likes to call Rust an “X-safe” language.

Summary of Kafka: a Distributed Messaging System for Log Processing Apache Kafka is a system for streaming logs with the aim of providing high throughput over strict guarantees around delivery.

I’m on vacation, so I’m getting some time to do things that interest me in between time spent with family and recharging.

Summary of Anvil: Verifying Liveness of Cluster Management Controllers Wouldn’t it be nice to write some software and confidently say that you know it’s right?

Summary of MRTOM: Mostly Reliable Totally Ordered Multicast This paper is about building a network primitive to speed up consensus protocols.

Summary of How Hard is Asynchronous Weight Reassignment?

Summary of Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications Replicated systems typically pretty much always have some overhead in comparison to unreplicated systems, at least if you want strong consistency for yo…

This is my rough sketch of advice for people trying to get their first role in the tech industry.