"A 64-fiber, 4-wavelength, 25-Gbps CWDM System for bi-directional transmission totaling 100 6.4 Tbps between a superconducting processor at 4 K and high speed mass memory at 300 K" Probably have a few of those in room 641 <b>B</b>
I think you misunderstand. A complex system is a system with a complicated set of behaviors that emerges naturally from a large number of actors and a simple set of rules. See P.W. Anderson's article "More is different." No mysticism or religion involved.
I know what you mean, man. Lots of n00bz, ricers, and fanboiz will claim C is the fastest, most efficent lang because you can get "close to the metal" and "tweak". In reality, any code beyond trivial complexity will benefit much more greatly from algebraic rectification, which can only be done with certain languages that are amenable to formal analysis.
> In reality, any code beyond trivial complexity will benefit much more greatly from algebraic rectification, which can only be done with certain languages that are amenable to formal analysis
What exactly is "algebraic rectification"?
While it is generally true that having a formal semantics aids greatly in analysis, it is worth noting that a very large amount of program analysis work is targetted towards C. (And mind you, flexible, high level languages bring with it their own troubles. Analysis in the presence of higher order functions is not a panacea at all)
I think what flatestcat wants is something that actually functions and is proven to function correctly. Frama-C is yet another open source project that is long on hype but woefully short on delivery of actual, working code.
