Lately I've often seen north koreans placed good at codeforces rounds. Looking on the ratings, I see that they have good ratings on hackerrank and codeforces. Are this profiles really from North Korea? If yes, how do they train under the existing censorship in the country?