Ask HN: Are there tech layoffs in government?

There has been a lot of news around tech layoffs at companies. Are people experiencing the same working for government?