[extropy-chat] 44th mersenne prime verified

[spike]

...
> 
> > Wei Dai proposed a few years ago that measure could be defined
> > based on Greg Chaitin's notion of algorithmic complexity...


Where is Wei Dai?  Anyone know where he hangs out?  I thought I saw a
comment from him a couple years ago on SL4 or somewhere.  If someone here is
in contact with him, please invite him to come in to say hi and describe his
life trajectory these days.

spike