Microsoft has laid off about 9,000 employees—nearly 4% of its workforce—even as it reports record profits and expands its investment in generative AI tools that now contribute to a significant portion of code development.