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