May has only just begun, but already, it has not been a good month for the tech industry in terms of layoffs. Since the month started, several prominent names in technology have announced layoffs, some involving a significant number of workers. Here are the companies involved in the…