[muti]

From the article

  Intel said Thursday that the company will lay off more than 15 percent of its workforce  

and

  Intel will cut roughly 15,000 of its 131,000-employee headcount, most by the end of the year

15% of 131,000 is ~20,000, so are there more to come or is workforce =/= headcount?

[floxy]

No idea, but it probably wouldn't be unusual to have 4% turn over / retirements every year, which could make up for the 5,000 discrepancy.

[dr_kiszonka]

Some were offered a nice severance to leave voluntarily.