Designing a Custom Query Language for Non-Technical Analysts

A Data Pipeline Is a Materialized View

Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis