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.
If what you say is true: DPRK spends $3 billion (approx) on military.
It's neighbours spend the following:
China: $150 billion (approx) South Korea: $33 billion (approx) Japan: $50 billion (approx)
Lets not forget that South Korea and Japan are satellites for the US, and a conflict would involve them: $640 billion (approx).
So their spending is at least 10x less than their cheapest neighbour.