dandanua

58 ms·

721.
by dandanua 6y ago
I like Musk, he is an awesome manager and inspirer, and clearly technically smart. But the actual breakthroughs come from the actual science by the actual scientists. And the actual scientists know how little do we know about the world (and
722.
by dandanua 6y ago
A fully generalized automated "proof checking" is also impossible because it depends on what system of axioms and rules the checking algorithm is using, which is, again, limited by incompleteness theorems. BTW if we have a proof c
723.
by dandanua 6y ago
It's good that they are trying to do such stuff, but a lot of their goals are indeed impossible. This is like taking a running processor, connecting to a couple of its legs and trying to figure out what an operating system is currently
724.
by dandanua 6y ago
This documentary looks like a fairy tale with an appropriate storyteller, music and narration. Like a massive nuclear bomb is the happiest achievement of the humankind. How schizophrenic is that??
725.
by dandanua 6y ago
1. I don't need "a point" to attach a relevant information. 2. But I indeed have one - giving algorithms so much power without an appropriate checking and appeal process is clearly wrong. 3. This doesn't imply we shouldn
726.
by dandanua 6y ago
Relevant: Youtube algorithm blocked a video on a popular chess channel with 1800 videos, supposedly for a "racism" https://www.youtube.com/watch?v=KSjrYWPxsG8
727.
by dandanua 6y ago
Haters gonna hate. John Martinis at Google did a very good job for silencing those deniers.
728.
by dandanua 6y ago
John Martinis emphasized in his talks that they didn't observe any correlations between local errors in the Sycamore and the total error can be computed through the "high school probability theory" from the local errors. This
729.
by dandanua 6y ago
I don't see how deepfake is less dangerous through it availability. Because everyone is now aware? That doesn't mean this tool has to be open. Also no one is making a proper fact-check nowadays and a deepfake attack can do a lot o
730.
by dandanua 6y ago
It's inevitable that AI research will be more and more closed. AI is a weapon which is potentially much more dangerous than nuclear. It's naive to think that the most dangerous weapon will be accessible to a general public.
731.
by dandanua 6y ago
If you live in a very aggressive and malevolent environment that constantly wants to break you and use you for its own needs it's important to follow these rules: 1. Don't forget to love. There is always something to love. This is
732.
by dandanua 6y ago
This is great! But what are your thoughts about MuZero? :)
733.
by dandanua 6y ago
Nowadays many people are referencing quantum mechanics when they try to explain some elusive and fuzzy notions like free will, consciousness, afterlife, mysticism, religious beliefs etc. This is such a bullshit. In fact, quantum mechanics
734.
by dandanua 6y ago
I don't think it was this way in 1820, but I agree with your point. Even though I also use Linear Algebra mostly computationally today, the origin of it is in the geometry and I think this connection should come first. Also, "numb
735.
by dandanua 7y ago
Unison language has a beautiful idea to solve this https://www.unisonweb.org/docs/tour/#%F0%9F%A7%A0-the-big-te... I didn't dive deep and still a bit skeptical, but it looks very promising.
736.
by dandanua 7y ago
Even Russians know that there is Russia and there is Moscow. It's like two different countries. Moscow has 10% of Russia's population and 90% of wealth (probably even more). Moscow has moderate climate. This winter temperature was
737.
by dandanua 7y ago
Here the explanation and the picture describes the best strategy https://en.wikipedia.org/wiki/Quantum_pseudo-telepathy#The_M...
738.
by dandanua 7y ago
This can be solved by making all ordinary transactions public. Blockchain is not needed in 100% of the cases when central authority is in place.
739.
by dandanua 7y ago
What you say is a Berry paradox. To be consistent we fix a programming language before any such definitions. So you have to count all characters in the BB(k) subprogram. Hence the total program for “BB(k) plus 1” definitely will have more t