“When Meta's internal teams are offered the choice to trade headcount for compute resources in the budgeting process, they almost never choose to trade for compute.”