Hacker News Reader

The bullets link to non-solutions, which are not enough to formally prove that it is impossible to solve this challenge in the language.

Agreed. These are informal. If you want to make a formal proof that it's impossible, I'll make a new category.