Where did you learn how it worked? Was it just through his other blog posts?
If you get into it, the library itself is well documented on docs.rs and there’s an active Gitter channel.
(Disclaimer: I work with Frank at his company, Materialize.)
[0]: https://timelydataflow.github.io/differential-dataflow/
[1]: http://sigops.org/s/conferences/sosp/2013/papers/p439-murray...