I am a professional software engineer. In my downtime, I enjoy following some of the informal streams about advances in my field (Lambda the Ultimate for example, academic email lists, etc.) as well as more practical practices to keep myself up to date. Some of those practical aspects involve playing around at the edge of my knowledge/skill to try and advance it.
Recently I've had a particularly good idea that I've been able to turn into a workable prototype for something a little novel (as far as I can tell looking into past research). Normally, I would pat myself on the back and go about my life - or maybe post it to a blog. But this one falls into a realm that is almost entirely academic (Type Theory and Parsing). Nobody reading a random blog would understand or be able to extend/expand it into anything greater. On the other hand, I've read enough papers to know that I wouldn't be taken seriously by academics (or even skilled amateurs) without a boatload of formalism, that I honestly don't have (and may be beyond me).
It's been 20 years (and 2000 miles) since college, so contacting my alma mater's CS department seems to be not an option. These questions ask about how to get into doing research somewhat full-time, and their answers recommend actually entering a degree program at a research university. That certainly seems premature when I'm not particularly interested in doing research full time, and odds are heavily against this idea actually being novel or non-trivial to someone with more formal training.
This question is similar, but is asking more of "is it possible? how is it possible?". I know the options, but I also am pretty sure they won't do much, or I can't effectively do them. The answers point out the difficulty of being a solo outsider, which I readily acknowledge, even if I don't well understand how little I know about the difficulties.
So as someone well removed from university, how would I find someone to vet this idea - and in the best of scenarios, help form it into something respectable?