About 10% of the National Science Foundation has been laid off