Twitch channel with the full show: https://www.twitch.tv/terminusdb
Data mesh intro: https://martinfowler.com/articles/data-mesh-principles.html
Formal methods (from CMU, Gavin went to Uni here): https://users.ece.cmu.edu/~koopman/des_s99/formal_methods/
World https://en.unesco.org/commemorations/worldlogicday
More about TerminusDB: https://terminusdb.com/
Or GitHub: https://github.com/terminusdb/terminusdb