I don't understand why you introduce morality and ethics into your comment? Pointing out that regressive Ai politics likely are not going to help researchers crisis of purpose is not unethical. You also assume in your…
> the rampant plagiarism that has been reported across multiple problems now, the unethical attempts to oust authors, the outrageous attempts to scoop researchers instead of collaborating with them and building on…
I like this approach. A but like whenever the first sprinter hits a new world record other runners follow along. Knowing that something is possible tends to strengthen our ability to work with it. We will potentially…
Not being able to feed your family for a large group of people should likely be taken graver. We will definitely see a large group of people needing therapy, but suggesting that it is worse than people loosing what…
If that is the case, if the pursuit of math is not instrumental, then there is no issue with ai. You can take a leisurely drive on your Mc even when self driving taxis can take you from a to b. It must necessarily…
On the contrary to what Tao believe, it seems like we need AI to move the needle on mathematics. > problems in many fields of mathematics Developing these different fields moves complexity from the field itself to the…
Yes
Yes it seems odd. Out sourcing construction jobs was great for the economy while leaving entire cities in rubbles. But as soon as it hits the privileged class there is a call to "provide a specific replacement…
Surely you could occupy that position. Just keep it in mind when you are stuck in your 12-lane city streets. It is a weird position though. Public transport is good for car drivers as it reduces load on the roads.…
I read that you think I am proposing to make transport more difficult. That is a very far stretch. I definitely want to make transport easier. But a 50.000 dollar ticket to entering the previlige of transport is simply…
The gas lighting in this comment is strong. > "Let's make car owners more miserable" I proposed to let people pay for the services they use. That is not an attack on redistribution to unhealthy older people living…
A better idea would just be to let drivers pay the real price for the infrastructure they occupy and their negative externalities. Then people would likely not have a issue with public transit.
Paying license? What small scale author receives license payments for anything they have authored from bug tech? To me it appears that individuals and large companies benefit from copyright asymmetrically, which is the…
2:1 by who? That is not written. These types of schemes ring very poorly in my head for charity. If someone has the ability to give 2$ for every 1$ I give, why are they only giving on contingence? Just give the money!
You need to understand the concept of the core algebra and 100s (with the s), then I think you'd be better positioned to understand my comment. And granted, I don't know the exact details about Lean. It might be that…
No. No human checked it. But a type checker did. And that is much better.
The proof system is relatively easy to verify. I am not entirely sure about lean, but the core algebras for systems like lean are in the 100s of lines of code. You can likely convince yourself it is correct in a weekend…
Compared to 20-30kw spend on cruising the highway in a car (considerably higher for older ICEs) 1.4kw does not really seem to dent the energy consumption. Especially if cognitive technologies mean that we need to travel…
IMHO cities are way more lonely than homestead structures. Anyways, there is nobody saying that you can not stay in a big city. The core of the claim is that people on aggregate will not pay a city premium when it does…
> Instead of checking on the customer every few minutes This is likely one of the absolute worst features of the US dining system. So many times I have been sitting in deep conversation with friends or colleagues just…
I don't think they can delvist here. It looks like a flat 2.5% tax on add revenue. Likely,the tech giants. will just treat it like that, and not strike any deals, and add it on to the cost of doing business in that…
Oh, I did notice t introduce the typo. The commenter corrected after quoted.
Yes, is you see my response to one of the parents, it should be apparent that it was clear to me.
What appears unreasonable is that the reasons must be good. This comes directly after they wrote "statements we can't verify". Why is it that we can not verify the staments, but we can believe the reasons that people…
No, but the parent is a half baked snark of the type that instills a type of false memes. Latently they say that it is a quality of itself to do the work. That is a reasonable statement, however, I am sure they also…
I don't understand why you introduce morality and ethics into your comment? Pointing out that regressive Ai politics likely are not going to help researchers crisis of purpose is not unethical. You also assume in your…
> the rampant plagiarism that has been reported across multiple problems now, the unethical attempts to oust authors, the outrageous attempts to scoop researchers instead of collaborating with them and building on…
I like this approach. A but like whenever the first sprinter hits a new world record other runners follow along. Knowing that something is possible tends to strengthen our ability to work with it. We will potentially…
Not being able to feed your family for a large group of people should likely be taken graver. We will definitely see a large group of people needing therapy, but suggesting that it is worse than people loosing what…
If that is the case, if the pursuit of math is not instrumental, then there is no issue with ai. You can take a leisurely drive on your Mc even when self driving taxis can take you from a to b. It must necessarily…
On the contrary to what Tao believe, it seems like we need AI to move the needle on mathematics. > problems in many fields of mathematics Developing these different fields moves complexity from the field itself to the…
Yes
Yes it seems odd. Out sourcing construction jobs was great for the economy while leaving entire cities in rubbles. But as soon as it hits the privileged class there is a call to "provide a specific replacement…
Surely you could occupy that position. Just keep it in mind when you are stuck in your 12-lane city streets. It is a weird position though. Public transport is good for car drivers as it reduces load on the roads.…
I read that you think I am proposing to make transport more difficult. That is a very far stretch. I definitely want to make transport easier. But a 50.000 dollar ticket to entering the previlige of transport is simply…
The gas lighting in this comment is strong. > "Let's make car owners more miserable" I proposed to let people pay for the services they use. That is not an attack on redistribution to unhealthy older people living…
A better idea would just be to let drivers pay the real price for the infrastructure they occupy and their negative externalities. Then people would likely not have a issue with public transit.
Paying license? What small scale author receives license payments for anything they have authored from bug tech? To me it appears that individuals and large companies benefit from copyright asymmetrically, which is the…
2:1 by who? That is not written. These types of schemes ring very poorly in my head for charity. If someone has the ability to give 2$ for every 1$ I give, why are they only giving on contingence? Just give the money!
You need to understand the concept of the core algebra and 100s (with the s), then I think you'd be better positioned to understand my comment. And granted, I don't know the exact details about Lean. It might be that…
No. No human checked it. But a type checker did. And that is much better.
The proof system is relatively easy to verify. I am not entirely sure about lean, but the core algebras for systems like lean are in the 100s of lines of code. You can likely convince yourself it is correct in a weekend…
Compared to 20-30kw spend on cruising the highway in a car (considerably higher for older ICEs) 1.4kw does not really seem to dent the energy consumption. Especially if cognitive technologies mean that we need to travel…
IMHO cities are way more lonely than homestead structures. Anyways, there is nobody saying that you can not stay in a big city. The core of the claim is that people on aggregate will not pay a city premium when it does…
> Instead of checking on the customer every few minutes This is likely one of the absolute worst features of the US dining system. So many times I have been sitting in deep conversation with friends or colleagues just…
I don't think they can delvist here. It looks like a flat 2.5% tax on add revenue. Likely,the tech giants. will just treat it like that, and not strike any deals, and add it on to the cost of doing business in that…
Oh, I did notice t introduce the typo. The commenter corrected after quoted.
Yes, is you see my response to one of the parents, it should be apparent that it was clear to me.
What appears unreasonable is that the reasons must be good. This comes directly after they wrote "statements we can't verify". Why is it that we can not verify the staments, but we can believe the reasons that people…
No, but the parent is a half baked snark of the type that instills a type of false memes. Latently they say that it is a quality of itself to do the work. That is a reasonable statement, however, I am sure they also…