I've peeked at your profile and the linked page. See, I'm currently enrolled into linguistics program, and I was considering dedicating some time to The Art of Prolog, so I've researched what Prolog software there is and wasn't especially impressed. Could I maybe ask you for advice as to what kind of side project Prolog is suited for? I'm familiar with Lisp and C and I've dabbled with Haskell and Coq, and I would really really like to write something at least marginally useful.
I think Prolog, like Lisp, is mainly useful for being a different way of thinking about computation. The only practical industrial uses of Prolog I've ever heard of are some niche expert systems, a tool for exploring Unix systems for security vulnerabilities, and an implementation of part of the Universal Plug and Play protocol.
What do you believe that most people on this site don't?
I'm especially looking for things that you wouldn't even mention if someone wasn't explicitly asking for them. Stuff you're not even comfortable writing under your own name. Making a one-shot account here is very easy, go ahead and do that if you don't want to tarnish your image.
I think a big problem with a "community" dedicated to being less wrong is that it will make people more concerned about APPEARING less wrong. The biggest part of my intellectual journey so far has been the acquisition of new and startling knowledge, and that knowledge doesn't seem likely to turn up here in the conditions that currently exist.
So please, tell me the crazy things you're otherwise afraid to say. I want to know them, because they might be true.