Recent filings to the California Employment Development Department provide more details about job cuts at major tech companies.