Yes but the discussion was about whether you could assume a DPRK computer science grad would go into military (or associated work). Using military spending as a

Yes but the discussion was about whether you could assume a DPRK computer science grad would go into military (or associated work). Using military spending as a % of GDP as a rough yardstick does suggest that the number of DPRK citizens involved in military activity is very high. Especially as each comp sci grad probably has greater potential to contribute to GDP than say your average farm labourer.