Derived projective covers and Koszul duality of simple-minded and silting collections

We introduce derived projective covers and explain how they are related to the notion of enough derived projectives. This provides an if-and-only if criterion for when derived projective covers form a silting collection. We prove moreover a Koszul duality result for silting and simple-minded collections.