Hacker News Reader

Seems like they are using a derivative of PyCharm for the IDE-part?

Indeed, I wonder if they have a deal with Jetbrains for that.

I guess they have to have that. Or perhaps they built it on top of intellij community edition?

Yes, we do.