Lean 4, Clean Architecture, Actor Model, Machine Learning, Quantum Computing and The Theory of Relativity
