But is total compensation competitive? I suspect it is closer than it seems since a career in the federal government can leave you retiring in your fifties getting nearly as much as you were making in the last few years until the day you die. Additionally, you continue to receive all the health benefits.

I don't know of any tech companies offering defined benefit plans and health insurance after you retire.