Do you guys think someday programming languages will have reached their absolute limit? Where any more abstraction or additions would be more of a detriment than a plus?

I don't think it will reach any limit instead I think it will evolve in much better way, I mean like back in the days there was procedural approach to programming which evolved to object oriented approach.
It will only evolve in different approach/phase.

You have some pretty interesting new languages coming up, like Idris with its dependent type system. The programming languages research community seems to be pretty active in that sort of thing right now. And relatively recently, "new" abstractions like monads are becoming more popular in mainstream languages like Scala and JS. So, it's still evolving.

Because a lot of new work is very mathematics-based, I think it'll take a long time before our capacity for abstraction is saturated. Due to some deep links between the basis of functional languages (lambda calculus, and associated higher systems like system T and F) and the rest of mathematics (I'm talking about links like the Curry-Howard isomorphism), the state of abstractions in languages seems to be limited only by what mathematicians can dream up. So... I'd say we'll hit a limit in languages only when we hit a limit in maths.

Since it's dreamed up by humans, I'm hoping that all that fancy stuff will be useful for devs too :p