Dijkstra famously compared this to astronomers who have no interest in telescopes or observing. I love theory, would happily retire to it—but I can’t see how anyone could have the right imagination calibration without lots of practice.
yep, the fact that computer sciences spend a lot of time on pen/paper/board and brings proofs without actually program them doesn't mean that CS researchers are not interested in code. Code is their ultimate goal, but it's an implementation detail :-)
No offence, but you sound like you haven't worked in or close to such a field. CS theory very often doesn't require coding at all, and coding would be barely helpful.
