2016-02-05 Maki: on-disk memoization for (deterministic) fun and profit