Computer Science

Sort by:

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.