Waking up to find 512 btc in your account =/= stealing/thieving.
He sold those Bitcoins shortly thereafter. So yes, it is stealing.
Ahh yes, that part is certainly the shadiest of the story.
What I find interesting is many folk around here will make fun of the USD when millions get stolen, but when it comes to bitcoin, suddenly they're violating the purest of pures.
While I agree it would have been honorable to return most/all of the bitcoins, I also think this would have happened if the guy who
made the mistake to begin with approached the dude with a little more humility.