A soup-to-nuts software development and production environment based on a predicate database supported by automated theorem proving with ranged domains capable of reasoning about optimization.

Why: streams of ASCII characters are no way to program yet every single piece of the software development puzzle requires them. They are the lowest common denominator. To be replaced, the replacement must replace everything.

That's what I'm working on. Get it done a lot faster if I could do it full time.