Halide makes me think we can give a bunch of that power that Moore's law gave us back to actual problem domains without making programmers any less effective.