Yesterday, a HN question made me realize something interesting (that vector addition systems were equivalent to the word problem over commutative monoids). I mentioned it to some friends, and one of them didn’t see it. I don’t really know about vector addition systems, so I turned to Google, at which point I found out that my post had already reached the top 10 google results for the subject. Obviously I pointed out that this meant my claim was right. https://news.ycombinator.com/item?id=47851254