Archive | 2021-09-10

• Service Architecture at SoundCloud — Part 2: Value-Added Services

  (developers.soundcloud.com)

  #software-architecture #infra #microservices

• Flow Equivalence: A Step on the Path to Formally Verified Asynchronous Design

  (galois.com)

  #hardware #research #formal-verification

• Pinterest’s Analytics as a Platform on Druid (Part 1 of 3)

  (medium.com)

  #data-pipeline #DBMS #analytics

• Eats Safety Team On-Call Overview

  (eng.uber.com)

  #software-engineering #devops #SRE #practices

• RAMP-TAO: Layering atomic transactions on Facebook’s online graph store

  (engineering.fb.com)

  #DBMS #scaling #distributed-systems #research