Interior compact subspaces and differentiation in model subspaces

We discuss the relationship between a theorem of P. Koosis on interior compact subspaces in $L^2(0,\infty)$ and recent results due to K. M. Dyakonov on differentiation in the model subspaces of the Hardy class $H^2$ in the upper half-plane.