I think the color of Carmack's statements are much more anti-gov't than anti-ineffcient-gov't. The way I read it, he's saying lets make government more efficient by cutting out services, not by making all services operate more efficiently. To me, that is only anti-inefficient-gov't by way of anti-gov't. He effectively states that gov't can't be efficient :

"Sure, there is room for improvement everywhere, but there are important fundamental limits."

"So, the federal government is essentially doomed to inefficiency, no matter who is in charge or what policies they want it to implement."

"I would ask that it stop doing the majority of the things that it is currently doing"

Note that he is also glad that the government is doomed to inefficiency : "Even if you could snap your fingers and get it, do you really want a razor sharp federal apparatus ready to efficiently carry out the mandates of whoever is the supreme central planner at the moment? The US government was explicitly designed to make that difficult, and I think that was wise."