I’m an engineer. Give me concrete implementation details. Love the softwar theory but can’t see how it actually is implemented. Hand waved theorems are good. Lots of things started that way but I need some code to work with. Or a concrete example.