“800,000 tech workers have been laid off since 2022.”