in thread "Accelerationism": You can try your luck with https://retrochronic.com/... 6mo ago (collapse hidden) log in to judge received 5.5 5.5 You can try your luc (view hidden) log in to judge received 5.5 5.5 Better complexity theory is what you want (along with programmers who actually take logic seriously, but that's just a dream), Thomas Seiller is working on a program of Mathematical Informatics that will hopefully lead to, among other things, a more fine-g... 6mo ago (collapse hidden) log in to judge received 5.5 5.5 Better complexity th (view hidden) log in to judge received 5.5 5.5 I meant computational complexity, since what is of interest are the logico-computational properties of a certain interesting kind of physical systems.... 6mo ago (collapse hidden) log in to judge received 4.1 4.1 I meant computationa (view hidden) log in to judge received 4.1 4.1