07:30 Programming is unobservable.
09:33 Programming is indirect.
11:24 Programming is incidentally complex.
12:55 Every time we found ourselves manually managing
something, we’ve built some system to do it for us.
We were handwriting binaries , so we got Fortran. We were managing memory manually and so we got garbage collectors. We were trying to encode data constraints and so we got type systems.
13:15 I think the next big step from removing incidental
complexity from code is automatically managing time.
13:23 We have to remove these complex interactions that
have nothing to do with our problems, because
we need to be focused on actually solving things, not
solving the problems around the solving our problems.
Programming is data transformation. Nothing else.