By the end of today, NASA's workforce will be about 10 percent smaller
https://news.ycombinator.com/item?id=43090862