[kapsel]

I saw multiple machines running RedStar OS, even took photos of me interacting with one of them, on my 2-week trip a couple of years ago.

I commented on another North Korea post here on Hacker News a while ago, where I also posted the URL to the photos, if anyone are curious. It even had IP addresses set and some sort of network (not Internet) access.

[erikus]

Direct link so others don't have to look them up: https://www.facebook.com/photo.php?fbid=10151143106612055&se...

[bmer]

How did you end up getting a chance to visit North Korea?

[EliRivers]

At risk of repeating other respondents, you can just go. You can find a tour organiser and simply book onto one of their tours, or you can organise your own through the DPRK state tourism companies. Going with an established tour organiser is by far the easier way to do it. I went with Koryo Tours in 2012 and it couldn't have been easier; filled in the form, emailed my details, paid a deposit and the rest at the start of the tour.

But to reiterate, you can just book on a tour. There's no problem or difficulty doing it.

[threeseed]

There are plenty of tours that operate in North Korea.

Koryo Tours is one that I took a few years ago.

[w8rbt]

Also, the government occasionally allows a radio amateur to operate. Just this month, North Korea was active on HF (last time was 2002). They'll be active again in Feb 2016:

http://www.arrl.org/news/p5-3z9dx-concludes-demonstration-op...

http://www.eham.net/articles/35853