It feels like there is nothing new under the sun.

I've learned to use, implemented a few of and studied the theory of (over the course of the last two decades) HTML, SQL, C, Java, Objective-C, Prolog, Common Lisp, CLOS, J, Scheme, Ocaml, Haskell, Agda, Oz, Reversible programming, Quantum algorithms to name a few.

Now I know that I am wrong, and there are lots of original things (not equivalent to what I have already seen) out there but I haven't been able to discover them. That's why I'm posting.

So what new discoveries have you come across recently? And what gems from history might I have overlooked?