Comment by tylerhou

1 hour ago

I do research on programming languages. There are many facts about programming languages that (1) nobody else knows and (2) I have not written down because I just haven’t had the time / opportunity.

The same happens all the time in mathematics.