|The stupid question is the question not asked|
and "pure" layers of abstraction (that appear to have no use other than adding layers of abstraction).
When abstraction becomes distraction, it has failed.
the current implementation of prove is like some doctoral thesis on how to over-engineer software
Putting the woe in O'Woe (Order of Worshipful Over Engineers).
(At least none of the layers are (yet) hiding behind a truly enormous pile of code like if they started using Moose... *shudder*)
The OO in s-l-o-o-w!
With the rise and rise of 'Social' network sites: 'Computers are making people easier to use everyday'
Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
"Science is about questioning the status quo. Questioning authority".
In the absence of evidence, opinion is indistinguishable from prejudice.