You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance.
I'm not sure how what you are proposing is any better than sed. I said math envy since you resorted to using algebraic ring theory when there was a much simpler solution. xD
Abstraction is useful when the resulting code is logically simpler, much like say category theory makes certain results in algebraic topology seem obvious.
Perhaps, you simply mean a different thing when you say "abstraction".
Lol, my comment was restricted to SIMD, which definitely does not take 10 minutes.
Secondly, no mainstream compiler actually compiles code to the PCMPISTRI instruction. Presumably it was meant to be used directly as assembly. I'm not sure why you are bringing in this obscure instruction into the discussion of superoptimizers.
I personally have a paranoid fantasy where NSA/GCHQ introduced this instruction to speed up password cracking. :D
Don't be ridiculous. It's better for technical books to be freely available for everyone to read. Think about it, it is more optimal for the world in the long run.
No. I simply pointed out that someone with sufficiently high intellect would have found other ways to get a job. Unless she is a statistical anomaly people in her situation would have similar experiences. I see no evidence that she was particularly unlucky, and even if she was ― bad things happen to people all the time.
The central point I was trying to make was that hard work pays off, if you are smart enough.
For example, Jeff Dean currently heads Google Brain despite having not having a PhD in machine learning (his PhD was on whole program optimization of object oriented languages). Or John Carmack starting Armadillo Aerospace would be another example.
I expect to be downvoted again, but I stand by what I said.
__I am average at my studies, what seemed to be super easy to my peers seemed strenuous for me.__
This is probably going to controversial, but her core problem seems to be an insufficiently high g-factor. She could have contributed to a prominent open source project like the Linux kernel or the C++ compiler. The only barriers to entry are technical competency and ability to focus.
__Hard work has been overly simplified to “If you work hard, you will achieve your dreams.”__
This is true assuming your dreams are calibrated to your capabilities. I presume the problem was her map was not in sync with the territory. Elon Musk can dream about going to Mars. I can't because I simply lack the willpower/drive/intelligence to achieve that.
We need to stop perpetuating the egalitarian fantasy. All men are not created equal.
In general, the FDA over-regulates rather than under regulates.
A comment is too short to summarize the reasons why, but I would refer interested people to Eliezer Yudkowsky's Inadequate Equilibria ― there is a 50 page dialogue between two humans and an alien visitor on the FDA.