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.
22 karma · joined January 16, 2014
I calculated the rates for 111 square meters.
For instance, for food I used the Big Mac Index, and got data from various sources on the Internet.
I did some spot checking of minimum wage employees, the trend seems to apply to them too, although I haven't checked in more detail.
Missing Metrics: - Cost Of Education - Healthcare - Ease Of Switching Jobs
All three of these metrics are complicated to measure due to the different preferences that people have.
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
Perhaps, you simply mean a different thing when you say "abstraction".
You should check out [Acoustic cryptanalysis](source: http://www.nuclearphynance.com/Show%20Post.aspx?PostIDKey=15...)
Of course I could be wrong. If you do know of any open-source compiler which compiles code to PCMPISTRI, let me know.
Superoptimization is not exactly exponential, it is NP-hard.
Of course, in the paranoid conspiracy I was referring to in my previous comment I predict the NSA/GCHQ is also using this directly via assembly. xD
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
Unfortunately, no one is actually paying attention to all this research being done in ivory tower academics. Sad!
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.
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.
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.
""" Surrounding them were groups of kids chatting. Clearly social rituals depend on communication, which is presumably used to get a sense of the kind of person the other is. In my culture (of vaguely technical people), people converse by sharing information through mutually-beneficial discussion and debate, but the teenager's system is altogether different and wholly alien to me.
I have little firsthand experience, but I have developed an initial theory of how things work. The protocol begins by sharing basic personal information to establish identity, then moves to the humorous recitation of cultural information. (Humorous may be too strong a word; the key point is that there's a lot of laughing.) This is the beginning of a loop. The two parties exchange information, allowing them to get a better sense of each other. If the clearer picture is disliked, the party breaks the loop and disassociates. Otherwise, more personal knowledge is shared as the parties get to know each other better. Discussion moves from cultural issues, to societal ones, to gossip, to personal matters, to deep intimate issues, presumably shared with close lovers or friends. """ ― http://www.aaronsw.com/weblog/001421
For this to be the case there have to demonstrable advantages over working with set theory. The main attraction of HoTT is that it allows people to do homotopy theory on computers using theorem provers. It is still a very open question whether this is an improvement over pen and paper math. It's still not clear if HoTT is just some neat technical gimmick that allows one to model homotopy theory using type theory.
This is still certainly worth investigating, but saying that HoTT "subsumes" set theory is a bit strong.
I would refer the interested reader to the discussion at https://mathematicswithoutapologies.wordpress.com/2015/05/13... (between Jacob Lurie, Shulman and Voevodsky).
It has been used by a "mainstream programmer" to build a RSS feed reader.
The book list is also too broad, IMO. It's much better to find a niche and specialize.
http://coldatomlab.jpl.nasa.gov/mission/
Kids born in the future will get to see quantum mech first hand. I'm envious.
I know nothing about crypto and AI and even less about neuroscience and this probably sounds stupid - but, is it possible that all the sensory input we receive is just random "sensible nonsense" and our brains partially solve this "multilinear jigsaw puzzle" using a vast neural network?
Considering the fact that brute force AI has been a total failure in recognizing anything, I wonder if our world is similarly obfuscated by sensible nonsense (from the robot's perspective).
- A Mathematician's Apology, Hardy
''' "Tech" isn't a thing except in how people--people--use it and are affected by it and how they, in turn affect the world around them.'''
Pure mathematics, for most of history has had zero relevance and zero effect on society. So I suppose to you, "pure mathematics" isn't a thing because it is completely removed from the world.
I personally find math and "tech" more interesting than people. Just saying..