Metaspex is the result of the obsession of keeping software progress alive, and pushing boundaries.
What if machines could program? What if they could take formal specification, both concise and precise, and deliver without help a piece of software that no human programmer using conventional techniques could match, in terms of features and performance? What if we had a tool that allows to unleash our creativity and describe our most sophisticated wishes in a high-definition manner?
Alan Turing, the father of computing, liked to say "Machines take me by surprise with great frequency". We would like you to enjoy that literally.
We have been used for too long to consider that giving a very high level of abstraction (another fancy name for specification) to a machine yields only poor results. We seem to be condemned to feed a hive, and hire more and more programmers. Indeed, to deliver business applications, in spite of the arrival of the Cloud, we have witnessed very little progress during the last 40 years.
Metaspex's ambition is to foster in a single shot a massive leap forwards, and allow to defeat for good some of the misconceptions we're currently entertaining. Yes, it is possible to feed a machine with specification, let it produce automatically and immediately an application and have superb performance at the end, without the need for costly quality assurance, and go straight to user acceptance. This is the "Holy Grail" so many have searched for a very long time.
This is possible because, at Metaspex, we are not followers. We do not adopt blindly the latest fashion. We are not afraid of working differently and challenging assumptions. We are not settlers, we are trailblazers, bringing a wide portfolio of fresh concepts and new science results that back them. We think for ourselves as Paul Graham likes to put it. We are contrarians (with a positive purpose), in Peter Thiel's sense. Of course, being contrarian is not proof that ideas are valuable, but not being contrarian is certainly evidence that ideas are worthless.
But no worries, you do not need to read the theorems, we worked them for you. Just relax and enjoy the ride: watch the machine program. It will work relentlessly and tirelessly to build your business applications...
A Human Wave Bubble Ready to Burst
The Case for High-Definition Search
Metaspex's Performance Advantage: A Miracle?
Ubergeek corner: Metaspex answering the 8 Ultimate Software Questions