Digressions – August 2019

No, we don't want to do two things on every initial design of our distributed systems:

  • Leadership Election
  • Using shared memory

How to Architect a Query Compiler, Revisited


Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems


A Novel Predictive and Self -- Adaptive Dynamic Thread Pool Management


Reference implementation of the paper above for Rust is here:


Lightweight talk, heavy ones are below.

Formal verifications etc.

Transparency related stuff + VC shenanigans