[phpnode]

Does it matter? The relevant part (to most of us) is whether they're laying off engineers. Almost any company is a tech company these days