Building a rewards platform from scratch
This post was originally written by Pedro Franceschi on Medium. Reposted with permission. Brex is launching rewards today. This post aims to go over the design decisions that we made
TLA+ with Leslie Lamport
TLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a user to describe a system formally with simple, precise mathematics.