For those who would like to follow North Korea on a more than casual basis, these sites are likely to be of interest:

* NK News (http://nknews.org)

* DailyNK (https://www.dailynk.com/english/index.php)

And perhaps especially since this is HN:

* North Korea Tech (https://www.northkoreatech.org)