This would mean that only 13 of 16 million mined Bitcoins are available for circulation. I would be interested in knowing where on Reddit you can find the thread.
I think I remember reading somewhere on reddit.com/r/bitcoin that someone did the actual counting, and they came up with at least 3 million bitcoins already lost forever... if the statistics are anywhere close to reality, then in a couple of years the total supply will be about 15 million bitcoins if coins get lost at the same rate, or potentially faster rate as some people use it and keep screwing up.