grondilu
Joined 15 years ago
Karma
1,865
Submissions
1,310
Member since
May 13
Recent submissions
Comment · 2 years ago
It doesn't seem so at all from what I've tried.
Comment · 2 years ago
> so even theoretically this is hard to imagine.
Possibly a strech, but transistors are basically current amplifiers, so their optical equivalent should be... lasers. Indeed lasers are optical amplifiers. Whether or not they can be turned into logic gates as transistors can, I don't know.
Comment · 2 years ago
> Mechanical computers are computers that operate using mechanical components rather than electronic ones.
For anyone who's excited about mechanical computers, perhaps it is worth reminding that an electron is about a thousand times lighter than a nucleon. Therefore, it's probably fair to say that mechanical computers will always be more energy consuming than electronic ones, because they fundamentally need to move atoms around to operate.
Comment · 2 years ago
They took 20 bitcoins out of me, but I never bothered to fill the paperwork. Oh, well.
Comment · 2 years ago
I'm quite baffled by the fact that LLMs can generate a dataset used to train other LLMs. One would think that such a feedback loop would produce utter nonsense but apparently not. This seems to work.
Comment · 2 years ago
> But the first problem is, the number of legal transformations is actually infinite.
I am fairly certain the number of legal transformations in mathematics is not infinite. There is a finite number of axioms, and all proven statements are derived from axioms through a finite number of steps.
Comment · 2 years ago
> Nor is it music without a musician.
The case of music is quite fascinating. YouTuber Rick Beato is following it very closely. He seems to think that quite soon people will listen to AI generated music even knowing it is AI-generated music. They will listen to it because they'll enjoy it and they will not care who or what made it. I personally think he is right. Music can be enjoyed in a way no other art can, in that sense it might become kind of a drug.
Now some people think that will never happen because AI music will always be bad, but recently he posted a video in which he tells us that his kids can immediately tell an AI-generated song from a normal one. He is baffled because he himself can't do that. But he also tells us that one of his kids thinks that he probably won't be able to tell it anymore in six months or something. In other words, a young person with such a good ear is confident that AI-generated music will soon be if not good, at least indistinguishable from human-made music. I think that's indicative of where things are going.
Comment · 2 years ago
"I think in the future, instead of typing up our proofs, we would explain them to some GPT. And the GPT will try to formalize it in Lean as you go along. If everything checks out, the GPT will [essentially] say, “Here’s your paper in LaTeX; here’s your Lean proof. If you like, I can press this button and submit it to a journal for you.” It could be a wonderful assistant in the future."
That'd be nice, but eventually what will happen is that the human will submit a mathematical conjecture, the computer will internally translate into something like Lean, and try to find either a proof or a disproof. It will then translate it in natural language and tell it to the user.
Unless mathematics is fundamentally more complicated than chess or go, I don't see why that could not happen.
Comment · 2 years ago
Growing Neural Cellular Automata https://news.ycombinator.com/item?id=22300376, February 2020
Comment · 2 years ago
> improved soil health, improved ecosystem health, better water retention, less erosion, more carbon sequestered in the soil.
Regarding carbon sequestration, I think it is worth pointing out that Freeman Dyson, in one of his conferences, mentioned no-till farming as one land management methods that could be used to absorb the carbon emitted in the atmosphere by human activities.
"The point of this calculation is the very favorable rate of exchange between carbon in the atmosphere and carbon in the soil. To stop the carbon in the atmosphere from increasing, we only need to grow the biomass in the soil by a hundredth of an inch per year. Good topsoil contains about ten percent biomass, [Schlesinger, 1977], so a hundredth of an inch of biomass growth means about a tenth of an inch of topsoil. Changes in farming practices such as no-till farming, avoiding the use of the plow, cause biomass to grow at least as fast as this. If we plant crops without plowing the soil, more of the biomass goes into roots which stay in the soil, and less returns to the atmosphere. If we use genetic engineering to put more biomass into roots, we can probably achieve much more rapid growth of topsoil. I conclude from this calculation that the problem of carbon dioxide in the atmosphere is a problem of land management, not a problem of meteorology. No computer model of atmosphere and ocean can hope to predict the way we shall manage our land."
https://www.edge.org/conversation/freeman_dyson-heretical-th...