Labs
Each lab takes under an hour on a laptop and turns a claim from this mechanism into a number you measured yourself.
- 1
Key-bounded versus time-bounded state
A per-user counter and a 600-second join buffer over the same stream at two rates, then the buffer without eviction.
SimulatePython - 2
The indivisible key
Hash partitioning over 8, 32 and 128 instances with one key carrying 30% of traffic; then salting it into 8 sub-keys.
SimulatePython with NumPy - 3
Sliding window with panes, and floating-point drift
A 24-hour sliding count refreshed every minute, kept per window and with 1-minute panes; then a float sliding sum by add-new, subtract-old.
MeasurePython - 4
Aligned versus unaligned checkpoints under backpressure (optional, needs a local stream engine)
A model of barrier checkpoints behind a bounded buffer and a slowing sink: duration and size, aligned against unaligned.
SimulatePython - 5
Replay determinism
An exactly-once loop with checkpoints, crashed at random and restarted 50 times: a pure computation and one that reads random.random(); then an upsert sink.
Break itPython