Business and Philosophy

Sort by:

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.

Wonolo: Staffing Marketplace with Jeremy Burton

Online labor marketplaces are widely used for one-to-one transactions. On Uber, a rider hires a driver for transportation. On TaskRabbit, a homeowner hires a cleaner to come clean their

Building a Hiring Process with Ammon Bartram

Engineers who start companies often find themselves building something they have no experience with: a hiring process. Hiring engineers today is not as systematic as building software.

DataOps and the Data Platform

They say that data, if tortured enough, will confess to anything. Maybe this is the explanation behind how and why data became a buzzword by the end of the 90s when hard drive production

Checkr: Background Check Platform with Tomas Barreto

Background checks are a routine part of the hiring process. After a potential employee has made it through job interviews, a background check is administered to look through the