In a workshop about the geometry of $\mathbb{F}_1$ I attended recently, it came up a question related to a mysterious but "not-so-secret-anymore" seminar about... an hypothetical Topological Langlands Correspondence!

I had never heard about this program; I have found this page via Google:

http://www.math.jhu.edu/~asalch/toplang/

I only know a bit about the Number-Theoretic Langlands Program, and I still have a hard time trying to understand what is happening in the Geometrical one, so I cannot even start to draw a global picture out of the information dispersed in that site.

So, the questions are: What do you know (or what can you infere from the web) about the Topological Langlands Correspondence? Which is the global picture? What are its analogies with the (original) Langlands Program? Is it doable, or just a "little game" for now? What has been proved until now? What implications would it have?

(Note: It is somewhat difficult to tag this one, feel free to retag it if you have a better understanding of the subject than I have!)