Neural networks and back propagation, John Carmack Interview, Clock Bound Wait, Emergent Leader, Distributed Systems with Liquid Haskell