Bragging thread August 2015

I sold out to the Dark Side in 2014. This was a move between industry jobs. But, actually, the new one is somewhat more in the direction of data-gathering than the old one was.

Actually I really appreciate that suggestion! I hadn't considered it. I always appreciate recommendations!

It may also be useful so that I rub my eyes less. My optometrist said to avoid that since I'm losing my 3D perception.

As of the end of the sentence, I intend to look up capsaicin and similarly purposed agents, and the appropriate dosage and application. Then I'll look up safety considerations if the information is indicative, and availability.

coating your fingers with capsaicin to make scratching your mucus membrances immediately painful?

Oh, dear. Please don't try this at home. You're likely to end up with a pain rating of 10 on this guy's scale.

How?

I often notice that I'm having a slow, regular, smooth breathing, as opposed to a chaotic one (I also used to do micro apneas while working, and I don't notice it anymore). But maybe the bigger effect is that having this in the background helps me be more aware of my body and feelings while I work. I much more often zoom-out of what I'm working on to check my breathing, and also pay more attention to the rest of the body (very often I my case, I notice tension in my shoulders)

If I remember right having a normal heartbeat that's unregular is more healthy then having one with little heart rate variability. What's the case for developing regular breathing?

Breathing with regularity increases your HRV, by making your heart rate follow a sine of high amplitude, instead of being random, something like this. It's quite visible in this video but it's also pretty easy to measure yourself

Also do you have a reason for a duration of inhale and exhale that are the default of the app?

Not really, but I've seen 5 or 6 seconds being recommended by several "coherence professionals" (as with this horrible clock)

From the github description:

An implementation of C.S. Calude's "Anytime Algorithms for Non-Ending Computations" for the untyped lambda calculus.

The github README is "Short summary, build instructions, examples".

I'm sorry that I over estimated my achievements. Thank you for being civil.

What do you expect to happen if you feed your code a problem that has no Turing-computable solution?

I'm actually quite interested in this. For something like the busy beaver function, it just runs forever with the output being just fuzzy and gets progressively less fuzzy but never being certain.

Although I wonder about something like super-tasks somehow being described for my model. You can definite get input from arbitrarily far in the future, but you can do even crazier things if you can achieve a transfinite number of branches.

If you're still interested in this (I doubt you are, there are more important things you can do with you are time, but still) you glance at this reply I gave to taryneast describing how it checks if a turing machine halts. (I do have an ulterior motive in pointing you there, seeing as I want to find that one flaw I'm certain is lurking in my model somewhere)

EY doesn't imply that hypercomputation is possible in our universe. He does imply that there are logically possible universes in which hypercomputation is possible. Hypercomputation is any computational process that is able to evaluate at least one non-Turing-computable function.

(That last definition may be unhelpful in practice. If our universe is finite then it can't contain anything that's even Turing-powerful, never mind capable of hypercomputation. If our own lifespan and perceptual powers are finite then there's no way we could ever know anything was doing hypercomputation.)

For some strange reason, your post wasn't picked up by my RSS feed and the little mail icon wasn't orange, Sorry to keep you waiting for a reply for so long.

The Halting proof is for Turing machines. My model isn't a turing machine, it's supposed to be more powerful.

You'll have to mathematically prove that it halts for all possible problems.

Not to sound condescending, but this is why I'm posting it on a random internet forum and not sending it to a math professor or something.

I don't think this is revolutionary, and I think there is very good possibility there is something wrong with my model.

I'll tell you what convinced me that this is a hyper-computer though., and I'll go a ahead and say I'm not overly familiar with the Halting inasmuch as I don't understand the inner workings as well as I can parrot facts about it. I'll let more experienced people tell me if this breaks some sort of conditional.

What my model essentially does is graft a time-travel formalism onto a something turing-complete. Since the turing -complete model of your choice is a special case of the model we just constructed, it's already turing complete. And the formalism itself already specifies that information can travel backwards through time, what has to be proven is that an algorithm can be constructed that solves the halting problem.

With all of that, we can construct an algorithm based off of the following assumptions about time travel

1. Inconsistent timelines "don't exist"*

2. A timeline is inconsistent if it sends back different information than it receives

3. If more than one timeline is consistent, then all are equally realized.

I have no idea if you read through the ramblings I linked, but the gist was that to simulate the model, at any given timestep the model receives all possible input from the future, organized into different branches. 'possible' is a important qualitfier, because the difference between the model being exponential in the size of the memory and exponential in an arbitrary quantity constrained to be smaller the size of the memory is whether you can tell if a given bit of memory is dependent on the future by looking at only the current state.

Next, I'll point out that because the model allows computation to be carried out between receiving and sending messages, you can use the structure of the model to do computation. An illustration:

• Suppose X is a turing machine you are interested in whether or not it halts

• 1. Receive extra input from the future (in the form of "X will halt after n timesteps" )

  • If null, goto 3 with n = 0

• 2. Is it properly formatted?

  • If not, halt without outputting t the past. (Halt.)

• 3. Simulate X for exactly n timesteps

  • If it halts before then, output "X will halt after m timesteps" where m is the number of cycles before it halted. Halt.

  • If it doesn't halt after n timesteps, output "X will halt after n+1 timesteps". Halt

I'll note this algorithm only appeared to me after writing my posts.

Here's how it works.

We can number each timeline branch based off of what it outputs to the past. If it outputs "X will halt after y timesteps" then it is machine y.

If X doesn't halt, machine y will simulate X up until y-1 timesteps, and output that it wil halt after y timesteps.

The above point should be emphasized. Recall above how a timeline is inconsistent and therefore "non-existent" if it's input doesn't match it's output. Thus, for a non-halting X, every machine y will be inconsistent, and the hyper-computer will halt immediately (things are a bit fuzzy here, I am 80% confident that if there is a problem with my model, it lies in this part).

If it halts at t=z, then y=z is that only consistent timeline. For timelines y>z, they output y+1, for timelines y<z, they output z. Making y=z a kind of attractor.

My problems with this timeline are as follows:

• I haven't been able to formulate the algorithm, without a) having every timeline inconsistent when the machine halts or b) the actual output uncertain (if it says it halts at z, you know for a fact it does, but if it says it doesn't halt, then you can't be sure)

• "non-existent" timelines have casual weight.