This is not evangelism. Would you say that about a kernel in OCaml or Haskell?
Experimenting with safer language choices and see how that might help writing a kernel is a fun exercise. I am glad that Phil shared these articles, I learned a bunch from it.
Or possibly the other way round? 0hh1.com was registered in 2014 according to whois info, the puzzles on this site go back to 2011. (I'm not claiming this is proof, of course)
They're older than that, this kind of puzzle is called a Takuzu or Binairo and was invented in 2009 by a pair of Belgians: https://fr.wikipedia.org/wiki/Takuzu