Some company has a formal verification engineer job opening and of course they're a defence contractor.
Makes one think: are there medical devices companies doing formal verification of, say, things like pacemakers and insulin pumps?
Seems that there's all the money in the world for making killing machines better...
@bob Do you think this is a problem that could be solved by a truly free market?
Seems to me that having such centres of power is a problem.
@bob Mmm. Even Adam Smith seems to agree that free market alone cannot fund all public goods. (I haven't read Wealth of Nations, I remember Milton Friedman quoting Smith in "Free to Choose". I don't have the exact words handy.)
That said, do you think less powerful centers of power could be a solution to the problem of low-skilled low-effort (but presumably high-effect?) execs getting paid more than skilled workers? Or is this just the nature of things?
@bob Sounds something like a worker-owned co-operative?
Seems to me that we're in the age of specialization and automation. Developing specialized skills (becoming a better programmer, or a better manager) takes time, sometimes a lifetime. Some people just won't want to do some jobs. (I for one don't care for managerial roles.)
How will job rotation work here?
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!