sypherpk’s wife