Doing followed by corrective feedback is often more effective than knowledge compression in general, but it’s costlier to implement.

Yup. Same concept behind paying for mentoring on sites like Udacity.

Knowledge compression for software is lossless because software is designed to be able to encode itself and instantiate the same for all machines. At the same time that software is eating the world, software is eating software.