Live

The demo, as it runs

A paced simulation, not real traffic: hermod replays the taxi requests of a 2010 Manhattan morning against a modelled fleet, ten times faster than it happened, looping over a few seeds, and streams every event as it's logged. Each run's log goes through the invariant checker when it ends. Watching changes nothing in the engine.

Waiting for a driver

–

A driver on the way, with its line

–

Driver with a rider

–

Idle driver

–