in thread "Accelerationism": You can try your luck with https://retrochronic.com/ ... 2mo ago (collapse hidden) 55 You can try your luc (view hidden) 55 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... 2mo ago (collapse hidden) 55 Better complexity th (view hidden) 55 I meant computational complexity, since what is of interest are the logico-computational properties of a certain interesting kind of physical systems. ... 1mo ago (collapse hidden) 44 I meant computationa (view hidden) 44