DPRK Textbooks
archive.org
archive.org
1. Choose the time you want to listen and note the "target area" at https://en.wikipedia.org/wiki/Voice_of_Korea#English
2. Choose a WebSDR in the "target area" from this list: http://kiwisdr.com/public/
3. Tune the WebSDR to the correct frequency and listen. You might try a 2 or 3 different WebSDRs in the "target area" in order to get the best reception
The broadcasts are much shorter than an hour, contrary to what Wikipedia says. The format is usually:
1. National anthem (very imposing and sounds like a Soviet military anthem in my opinion)
2. News / headlines. This lasts maybe 3-5 minutes and then is repeated several times
3. Music
Sometimes the music is before the news. Last time I listened, it was the 73rd anniversary of North Korea's indepedennce and so the news was about all of the congratulations from other nations -- the list of which was quite amusing (Cuba, Syria, Iran, Uzbekistan, China, Russia others I don't recall).
I suddenly remembered all those Norko tourists I seen in Vladivostok. These were very shy ones https://ibb.co/6BvNdFw . There used to be years when the city was squirming with them, then they suddenly all disappeared almost overnight.
Funny moments I remember. Two Korean tourists stood in line for an icecream stall, started chitchat. Then one in better dress turns to another, suddenly suspicious, sees Kim's pin on another guy's tshirt, and then he freezes, turning pale, and speechless.
When you're tired of inscrutable audio you can switch over to RNZ or BBC Pacifica and there's often good programming.
I don't know if this is still the case but they used to use a freeware Windows XP encryption application. The amused author wrote a bit about it, IIRC.
Direct tune to 9435 or 11710 at either 6:00 AM or 8:00 AM Pacific time.
You’re not going to find it on "scan" without scanning through literally thousands of other stations first and without setting the scan sensitivity very high. You're going to become very frustrated long before you find it that way.
https://www.wykop.pl/wpis/16379237/1-wlaczasz-radio-glos-kor...
Edit: a reference in English: https://www.rferl.org/a/27485988.html
https://books.google.com/books/about/Object_oriented_Softwar...
I think the version they're translating is a UK print edition, because the currency unit in the code is "£".
But the series about Red Star OS [0] are very certainly DPRK-authored.
[0] https://en.wikipedia.org/wiki/Red_Star_OS
The music textbooks are worth noticing (they're very obviously North Korean -- e.g. "Lesson 1. Song of Kim Il-sung"). It's all in Western notation. References both Western and Korean instruments. There's bow markings on the score of "Song of Kim Il-sung", so I infer that violins are at least somewhat common in secondary schools (or why else are they there?)
I wonder if, when discussing ANSI C++, they admit what ANSI means.
And their CS majors supposedly have monitored but uncensored access to general internet. I'm sure they know that the A in ANSI means American.
Could be from Hong Kong when they used sterling?
They came from a DPRK tablet, and it took some reversing work to recover the PDFs. There's a talk about what went into getting them uploaded: https://media.ccc.de/v/34c3-9279-dprk_consumer_technology