Thoughts
We have so much fricking more we can still do with computers. We're not going to slow down for the next 30 years at least.
I'm just thinking about like IDE/code-analysis features—we could totally have a button in the IDE that simulates running the code and generates all possible outputs. Like IntelliJ will point out if you can transform a boolean condition into a simpler equivalent form (like `if not (not a and not b)` -> `if (a or b)`, if I remember DeMorgan's). Why can't we do that with the entire program?
And like, I hate IDE features like type checking—but mostly because they're bad. It seems like I get false positives from TypeScript type checking 30+% of the time and an acceptable false positive rate for a static code analysis tool IMO is close to 1%. But that's something we can bring down in the next decade.