3 ms·I would rename "the dark forest" to "the interesting horizon"by jchook 6mo agoI would rename "the dark forest" to "the interesting horizon"