This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
?(And[f@ k == f@ #1 + f@ #2, Nest[f, k, 2] == Nest[f, #1, 2] + Nest[f, #2, 2]] & @@ # &)] > 0]] (* _Michael De Vlieger has authored 0 sequences.