News for hackers. Stuff that matters.
Re:My Grandfather Thought He Solved a Cosmic Mystery by felipemnoa on Thursday November 01, 2018 @06:29PM (#18359044)
>>It reminds me of a sci-fi story

Could you mention the the name?

Re:My Grandfather Thought He Solved a Cosmic Mystery by jonnybgood on Thursday November 01, 2018 @06:48PM (#18359160)
Sounds like Diaspora by Greg Egan. If it’s not, Diaspora also has a virtual mine of mathematical proofs that is mined by the citizens, which are virtual “human” entities living in a simulated world.