Three recent posts on usenet about getting far hex digits of pi.