The hyperfinite timeline — LessWrong