-
The last mile was a compiler flag: getting Procgen to build on Apple Silicon
Why I moved the RL work from Mario to Procgen — and why the first step was fixing a four-year-old build bug in the benchmark itself, then upstreaming the patch.
-
From Mario to Procgen: preprocessing, the emulator tax, and generalization
Three concrete reasons I moved the RL work from Super Mario Bros to Procgen — the preprocessing you don't have to write, the environments you can finally parallelize, and the generalization test Mario can't give you.
-
kNN episodic novelty: the count that can't saturate
A count-based novelty signal that structurally cannot die the way distillation did — because every episode starts from an empty memory.
-
RND: a simpler curiosity, and why simpler won
ICM asks a dynamics question, RND a visitation question — and on Mario the simpler visitation signal held up where a prediction-on-features variant collapsed.
-
ICM: giving Mario curiosity (and the bug that ate it)
Bolting an Intrinsic Curiosity Module onto PPO as just a new learner — and the real bug where the curiosity signal silently collapsed to zero.