I was just pointing out that public service can pay as well as private sector - if not better (pensions at 80% pay!).
Except for police and the already retired I don't think you see a lot of pensions at 80% pay anymore.
FERS gives you 1.1%years of servicehigh 3 average salary, which is about 40% salary for a lifetime of service.
The NYPD give 2.1%years of serviceaverage salary and early retirement at 20 years of service (less 50% social security upon that kicking in) which is a hell of a good deal, but hardly representative of what most government workers get. I think they are probably among the only 80% pay.
You also end up with the (generally state) government worker problem of the government just deciding that paying your pension is expensive, and then having it reduced or removed. ¯\_(ツ)_/¯
I mean, public service can pay well if you are a commissioner or head of a for-profit part of public service. I'm not sure there is much of a comparison to be made for software developers, though.