@jmoiron I've always considered the natural world of CS to be the abstract one of computation, using models like the turing machine. The idea that it is computer systems built by engineers is interesting, and I have noticed that as a pattern in eg. papers surfaced in PWL.