hillel wayne

Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal examples.

Hillel Wayne reports on interviews with 17 people who have worked as both software and traditional engineers. He argues the fields are fundamentally the same and have much to learn from each other.

Hillel Wayne's PyCon 2018 talk on testing beyond pytest and mypy. It introduces property-based testing with the Hypothesis library and design-by-contract with dpcontracts, and shows how to combine them with an existing test suite.

A Wayne's World (1992) movie clip in which Wayne and Garth tell Benjamin they will not bow to any sponsor, that they are not in it for the money.

A one-minute clip of Scotty from Star Trek giving advice to engineers about managing expectations in estimates. It is a comedic bit of workplace wisdom.

A US Air Force film on the Heavy Press Program, which built some of the world's largest metal forging and extrusion presses for aircraft, starting from German presses taken after WWII.