Lol, what a slave mindset. Just because a technology exists, and most of the human cattle use it, does not mean that it's necessary for someone to use it.
I don't think thats the problem. Moreso something like this that was intended to help people that needed it is being taken advantage of. Every cafe with $6 espressos will ask you for a tip nowadays. What's worse is that…
My argument is that LLM generation and a correlated Lean verification are not sufficient conditions. Both are falliable.
What do you think mathematics is? "Just a hobby"? Developments in mathematics made possible the industrial revolution, the information age, everything! Do you think the world will be the same when math is "solved"?
It's a necessary condition
You don't know what you're talking about. Just because it was created by an LLM, and verified in Lean, does not make it true. The whole point of writing a proof is for it to be understandable.
LLMs are like putting a jammer in the research community.
Why do you think Godel Incompleteness doesnt apply? By default mathematicians work in ZFC which is proven to be incomplete...
The situation is overblown, but the writing of Doctorow is clearly unreliable at this point. Jabbing at this opponent of choice by declaring Python is "an easy-to-master programming language" just shows he has no…
Wow another hot take - agents can write a lot of code!!!
Nice toys
Ultimately this kind of mechanism is what creates a society of hereditary classes. This is not something to be celebrated - the one good thing about capitalism and open competition generally is that you can challenge…
Ultimately this comes down VCs who fund people like this. Can we really believe the established funds look for "independent thinkers" anymore?
Clearly there is a fuzzy line of demarcation. I was thinking for a simple opt-out of any rec-sys
Yeah I meant it would avoid the necessity of age verification to solve this problem. Age verification and how enthusiastic gov'ts are about it is concerning.
It should just be universally required to give an option to disable addictive features. Should prevent age verification, and giving users optionality is always a good thing (for them).
Can confirm that wasn't written by an LLM. To many spelling mistake
I've been using it for about 6 months. Very, very good - especially paired with anna's archive. IT IS VERY FRAGILE! The eink screen on my first broke while in my backpack. The company is generous, I bought a new one and…
Codeberg.org is really great. Also I recommend self-hosting Gitea for private projects and backing-up public projects
True it is pretty dated. OP was requesting resources that cover *all* of physics and Landau popped into mind. Is there a modern series of textbooks that offers such a broad coverage?
Road to Reality is good to get a general overview of *everything* but I dont think you can actually learn the things he talks about. For example, the jump from calculus in R^2 to Riemannian surfaces is insane and leaves…
Freshman university textbooks have what you need. Two of the most popular are: - University Physics by Young and Freedman - Fundamentals of Physics by Halliday, Resnick, Walker - Modern Physics by Krane You might guess…
Lol, what a slave mindset. Just because a technology exists, and most of the human cattle use it, does not mean that it's necessary for someone to use it.
I don't think thats the problem. Moreso something like this that was intended to help people that needed it is being taken advantage of. Every cafe with $6 espressos will ask you for a tip nowadays. What's worse is that…
My argument is that LLM generation and a correlated Lean verification are not sufficient conditions. Both are falliable.
What do you think mathematics is? "Just a hobby"? Developments in mathematics made possible the industrial revolution, the information age, everything! Do you think the world will be the same when math is "solved"?
It's a necessary condition
You don't know what you're talking about. Just because it was created by an LLM, and verified in Lean, does not make it true. The whole point of writing a proof is for it to be understandable.
LLMs are like putting a jammer in the research community.
Why do you think Godel Incompleteness doesnt apply? By default mathematicians work in ZFC which is proven to be incomplete...
The situation is overblown, but the writing of Doctorow is clearly unreliable at this point. Jabbing at this opponent of choice by declaring Python is "an easy-to-master programming language" just shows he has no…
Wow another hot take - agents can write a lot of code!!!
Nice toys
Ultimately this kind of mechanism is what creates a society of hereditary classes. This is not something to be celebrated - the one good thing about capitalism and open competition generally is that you can challenge…
Ultimately this comes down VCs who fund people like this. Can we really believe the established funds look for "independent thinkers" anymore?
Clearly there is a fuzzy line of demarcation. I was thinking for a simple opt-out of any rec-sys
Yeah I meant it would avoid the necessity of age verification to solve this problem. Age verification and how enthusiastic gov'ts are about it is concerning.
It should just be universally required to give an option to disable addictive features. Should prevent age verification, and giving users optionality is always a good thing (for them).
Can confirm that wasn't written by an LLM. To many spelling mistake
I've been using it for about 6 months. Very, very good - especially paired with anna's archive. IT IS VERY FRAGILE! The eink screen on my first broke while in my backpack. The company is generous, I bought a new one and…
Codeberg.org is really great. Also I recommend self-hosting Gitea for private projects and backing-up public projects
True it is pretty dated. OP was requesting resources that cover *all* of physics and Landau popped into mind. Is there a modern series of textbooks that offers such a broad coverage?
Road to Reality is good to get a general overview of *everything* but I dont think you can actually learn the things he talks about. For example, the jump from calculus in R^2 to Riemannian surfaces is insane and leaves…
Freshman university textbooks have what you need. Two of the most popular are: - University Physics by Young and Freedman - Fundamentals of Physics by Halliday, Resnick, Walker - Modern Physics by Krane You might guess…