First, yes, to your question "Does it mean that humans can never invent a new technique that always decides whether a Turing machine will halt?", mostly because the rules of the game have been set: the formalism of TMs. (at this point it will be helpful to actually go into some of those details and see the construction that shows that assuming the existence of such a TM that checks for halting results in a contradiction).
But even so, suppose you were given such a magical 'new technique'...this has been investigated under the name 'oracle'...even with an oracle that decides if a TM can halt on given input, it turns out that there are still problems that can't be solved with a TM (by pretty much a similar paradoxical construction that showed that the plain old halting problem is undecidable).
Aside from all that, there are two general difficulties with the halting problem that might lead to misunderstanding (if ignoring the technical details): knowing what is being quantified over, and dealing with infinity.
what is asked for is an algorithm (to be implemented on a TM) that takes as input the specs for another TM and a parameter and is supposed to return the answer to the questions 'Does the given TM halt for the given input parameter?'. The point is that, even though you might be able to show for a particular TM that it halts (or does not) on the given input, but you're suppose to be able to show it for -any- TM. That's kind of a tall order.
the other problem is, for an input that doesn't halt on the given TM...well, you don't know that ahead of time, so how do you know if the TM is going on forever, or just taking a really long time? You can't run things for as long as you want (that's sort of the definition of infinite). So -that's not a possible strategy, to check for -nonhalting- by simulating.
Given the main result (there's no general algorithm that will show for -any-TM if it halts on a given input), it turns out, possibly in the direction you're looking for, that for many subclasses of all possible TMs, there -are- algorithms that can decide if one will halt or not. That is, maybe if you restrict your formalism a little bit, there just might be a compiler (the halting problem TM for this subclass) that will tell you if you have some annoying infinite loops in there (does not halt for some input).