I've often thought "what is the minimum stack, with minimum moving parts that just scales endlessly?"
If you reduced all the data flow of your distributed software (10,000s of machines, 100,000s of containers) to the number of positions that where each value is at to just an integer, could the position and movement of all values be traversable on a single thread on a single machine and calculated in a tiny amount of time? What's the O notation to your system's data flow?
I've this intuition and feeling that logistics and movement underlies the complexity of computer systems and that it's the shipping bits and dispatching everywhere is the complex part.
If we could write a formally verified state space with software similar to TLA+ and formal methods, we could generate all the plumbing.
Compilers work out how to place things in a calling convention, REST APIs and event queues schemas are just the same thing except we do it manually.
If you reduced all the data flow of your distributed software (10,000s of machines, 100,000s of containers) to the number of positions that where each value is at to just an integer, could the position and movement of all values be traversable on a single thread on a single machine and calculated in a tiny amount of time? What's the O notation to your system's data flow?
I've this intuition and feeling that logistics and movement underlies the complexity of computer systems and that it's the shipping bits and dispatching everywhere is the complex part.
If we could write a formally verified state space with software similar to TLA+ and formal methods, we could generate all the plumbing.
Compilers work out how to place things in a calling convention, REST APIs and event queues schemas are just the same thing except we do it manually.