A developer mined Bitcoin on a 33-year-old computer