It's all just Turing machines, or Lambda calculus, or NAND gates

   https://en.wikipedia.org/wiki/NAND_logic

Or maybe...maybe...we're having some problems that our current programming languages aren't addressing:

https://www.hpi.uni-potsdam.de/hirschfeld/publications/media...

And so we should:

https://dl.acm.org/doi/10.1145/3689492.3690052

It’s all ball bearings nowadays.