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