HackerTrans
TopNewTrendsCommentsPastAskShowJobs

auroralimon

no profile record

comments

auroralimon
·2 ปีที่แล้ว·discuss
there are tens of thousands of apps that use it, for billions of instances; most all of the most popular apps use it in some fashion. it’s a beast.
auroralimon
·2 ปีที่แล้ว·discuss
then you have added nothing to the problem. of course if you run the program and it halts, even if runs until T+heatdeathofuniverse^googleplex (which is a finite time) without an infinite loop, you have not solved the conundrum implied by Turing’s work. Turing proved no algorithm exists that always correctly decides whether, for a given arbitrary program and input, the program halts when run with that input. The essence of Turing's proof is that any such algorithm can be made to produce contradictory output and therefore cannot be correct. He proved it - QED
auroralimon
·2 ปีที่แล้ว·discuss
damn. one of the best SF books - a fire upon the deep - ever. RIP Vernor
auroralimon
·2 ปีที่แล้ว·discuss
So what about a chaotic function like: (assume x is 64bit float)

x = 0.035876; while true { x = 3.5699456 * x * (1 - x); if x == rand() break; } does it halt?
auroralimon
·2 ปีที่แล้ว·discuss
Consider: are all programs that don’t halt infinite loops?

Perhaps one which experiences exponential growth in some variable.
auroralimon
·2 ปีที่แล้ว·discuss
always seemed to me like McKinsey just provided hired brains, ones more clever than any the client could attract on their own.
auroralimon
·2 ปีที่แล้ว·discuss
i’ve often wondered if mandelbrot is what you get when you do a simple quadratic iterator in complex numbers, what are the comparable sets for quaternions and octonions??