 |
Post AvKkKx6yi9aWgBEmDQ by [email protected] |
 |
More posts by [email protected] |
|
Post #AvKQ5N5cMLljX3tUMS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
all physically possible programs that run forever must eventually cycle, becaus… |
|
|
|
Post #AvKQKyluXZAqkG7Q2K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter assuming they don't have external inputs from, for instance, quant… |
|
|
|
Post #AvKQWtzy74WHPrNa2y by [email protected] |
|
0 likes, 0 repeats |
|
|
|
the only class of programs for which this is not true are programs that are abl… |
|
|
|
Post #AvKQg9XngT34EicBpg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag that's cheating. such a program is impure. (has side effects) |
|
|
|
Post #AvKQy77lQ68nwZ07ua by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter hmm yeah i forgot that observing a quantum state changes it. but what … |
|
|
|
Post #AvKR3S2D6RNCFBwri4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
in a more practical case, a cyclical program running on a computer with 64GB of… |
|
|
|
Post #AvKR940pKX2fTfyfrs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter why does the memory usage increase over runtime? |
|
|
|
Post #AvKRI1NiTs7fvNxI6C by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Doomed_Daniel what are you referring to? |
|
|
|
Post #AvKRVRaENGUcx8D27E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter you say runtime is bounded by RAM - I don't get what you mean, thi… |
|
|
|
Post #AvKSZxfp6bNJaiXjO4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
the question is whether one can estimate the probability that a program is an a… |
|
|
|
Post #AvKSnJ250LZDbEJgOW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter you can also estimate the maximum cycle time of a universe of a given … |
|
|
|
Post #AvKSr2LYz3PN0YD0Km by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Doomed_Daniel or is maximal from the start |
|
|
|
Post #AvKT7XcGUbcIcatHtY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag provided entropy is not increasing. and we don't know yet if it… |
|
|
|
Post #AvKTTnM0f0aNnntn9M by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter no there's an upper limit on the entropy that's the point |
|
|
|
Post #AvKTf8MgslqC9UclJQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag i demand proof |
|
|
|
Post #AvKThyIAn0nrmRrdho by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter https://en.wikipedia.org/wiki/Bekenstein_bound |
|
|
|
Post #AvKTwdbPzlJFxMrLP6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag "within a given finite region of space" but the universe … |
|
|
|
Post #AvKV4GadXUlor4hB2G by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter i did say a universe of a given size |
|
|
|
Post #AvKVplPSlmhS3F7KzI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag there's one! aaand it's gone |
|
|
|
Post #AvKW3CTVS9t7l0PpRI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter but also as per some of the latest theories, if the universe is indeed… |
|
|
|
Post #AvKW3CZt4Qza4nOvNw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag these are straight up theories. as real as string theory. that'… |
|
|
|
Post #AvKWtQkTd3QT5JG6RE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Doomed_Daniel @lritter it's not RAM and it's not about increasing memo… |
|
|
|
Post #AvKWtQqrFKWvP6FCNs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rygorous @Doomed_Daniel yeah i simplified the machine a little. program is als… |
|
|
|
Post #AvKXQ5vq2ujY4x9Gmu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Doomed_Daniel @lritter and if the next state is a pure function of the current… |
|
|
|
Post #AvKXQ61rgVYQNdy5BI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rygorous @Doomed_Daniel i realize i just assumed we knew. |
|
|
|
Post #AvKXoW2acpj60Jx2VU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @Doomed_Daniel Along the same lines, the distinction between different… |
|
|
|
Post #AvKYBBCmG3ha2mWVwu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rygorous @Doomed_Daniel logicians likely upped the specs to infinite a) becaus… |
|
|
|
Post #AvKYYeQZm8H7KvAZxg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @Doomed_Daniel it's just (^n )^ni.e. n open parens, then n close … |
|
|
|
Post #AvKYYeXJN5f9foJxSa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @Doomed_Daniel And for practical parsers you don't need galactic n… |
|
|
|
Post #AvKYYedgzMlbzbJ3PE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rygorous @Doomed_Daniel recently extended my recursive stack with threaded lam… |
|
|
|
Post #AvKb4DOc0uaufrQhSi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter yeah but it's flippin obvious isn't it lol |
|
|
|
Post #AvKboPaL1jiFnawVMW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag circular logic. you put the premise before you had the model. |
|
|
|
Post #AvKbsHeCTtPEL4ayhc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter well i'm not very big. |
|
|
|
Post #AvKbwHrvbFkCBSvRWy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @rygorous @Doomed_Daniel induction. |
|
|
|
Post #AvKcONZjyaGHzVoW24 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag w-would you like to be? |
|
|
|
Post #AvKcyCawHNtqMOSKki by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter if this is about inflation then no |
|
|
|
Post #AvKdBFJXTpfuYhXMRs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mrsbeanbag funny how when i hear "inflation" i automatically think o… |
|
|
|
Post #AvKdyoQXigCTeJRqVM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter shouldn't it be not the length of the cycle but time until first r… |
|
|
|
Post #AvKe9FEst8JJhVyAeu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde oh sorry i used two meanings of cycle. we're counting number o… |
|
|
|
Post #AvKem1azY2PQgEnlsO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter I mean that in this example the number of CPU cycles per loop (once th… |
|
|
|
Post #AvKfx69L3ZWvwZiAKm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde we count as one loop the point when the program enters a previous … |
|
|
|
Post #AvKgEHqkoC3x9dDNMe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter okay let's imagine a circle with a huge tentacle sticking out of i… |
|
|
|
Post #AvKgNRh9ZdsYIL5jG4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde i meant, topologically speaking.i am speaking of tentacle volume. … |
|
|
|
Post #AvKkKx6yi9aWgBEmDQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @Doomed_Daniel I point this out because it leads somewhere interesting… |
|
|
|
Post #AvKkKxDiJ6yZ14O9iK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @Doomed_Daniel anyway, so:1. no actual Turing-complete computing devic… |
|
|
|
Post #AvKmXKLWLq2A7i4HEO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter why are we only interested in tentacles that have no beginning?The pro… |
|
|
|
Post #AvKmpDyWmDBTZpqaUy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde the sequence of states *is* the loop. and the radius depends on th… |
|
|
|
Post #AvKqRpSSAI74h5wbuy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde > does not have to ever reach its first state.this assumption i… |
|
|
|
Post #AvKrmsLkhxCNhNPSpk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter why?Another obvious counterexample: only have 16 bits of memory, as a … |
|
|
|
Post #AvKtbQiNJXV4iFf3su by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde ah. good point. so it's a loop with a prependix. we need to ad… |
|
|
|
Post #AvKtykchSe9H7O7wnI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter yes, the upper limit on the total possible runtime stays the same with… |
|
|
|
Post #AvKu3X7n4ktchWwxLk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde and thanks for that. now we both understand it better. it's an… |
|
|
|
Post #AvLieERqTNa1CR1V0S by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde now i get it. you were also describing _O topology |
|
|
|
Post #AvLx7j0XKa1LjbCuP2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde i just realized that C struct types also encode this _O shape. typ… |
|
|
|
Post #AvMB90UTDMQlbWiK3s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter ordinary linked lists encode this shape |
|
|
|
Post #AvMBKKk0GPyJazNdjc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde they can be implemented with C struct types so naturally they do.(… |
|
|
|
Post #AvMGa9bdvjMhSvpho0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@IngaLovinde ah but yes it's distinct because this is a runtime structure o… |
