https://www.youtube.com/watch?v=1Fa_2FXBAjA
Lunchtime talk at Stanford in which Meng Weng Wong examines some history of RaC/compK efforts.
10:09 Symbolic/statistical AI division as Apollonian and Dionysian
32:00 Formal verification
40:19 Bitcoin/Ethereum