  The purpose of this note is to extend some classical results on
quasi-projective schemes to the setting of derived algebraic geometry. Namely,
we want to show that any vector bundle on a derived scheme admitting an ample
line bundle can be twisted to be globally generated. Moreover, we provide a
presentation of $K^0(X)$ as the Grothendieck group of vector bundles modulo
exact sequences on any quasi-projective derived scheme $X$.
