tossandthrow

7 ms·

1.
by tossandthrow 5d ago
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 comment that we n
2.
by tossandthrow 5d ago
> 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 existing projects I thi
3.
by tossandthrow 5d ago
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 see the same with math.
4.
by tossandthrow 5d ago
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 little they have is popos
5.
by tossandthrow 5d ago
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 reduce to a fear of reduce
6.
by tossandthrow 5d ago
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 interactions of the
7.
by tossandthrow 5d ago
Yes
8.
by tossandthrow 5d ago
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 mechanism".
9.
by tossandthrow 6d ago
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. Regardless of that, car dr
10.
by tossandthrow 6d ago
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 not fair.
11.
by tossandthrow 6d ago
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 outside
12.
by tossandthrow 7d ago
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.
13.
by tossandthrow 8d ago
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 core of the argument.
14.
by tossandthrow 9d ago
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!
15.
by tossandthrow 12d ago
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 they don&#x27
16.
by tossandthrow 12d ago
No. No human checked it. But a type checker did. And that is much better.
17.
by tossandthrow 12d ago
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 or less - especially
18.
by tossandthrow 16d ago
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 less (eg communiting
19.
by tossandthrow 20d ago
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 not come with a job p
20.
by tossandthrow 22d ago
> 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 for a waiter to cla
21.
by tossandthrow 27d ago
Oh, I did notice t introduce the typo. The commenter corrected after quoted.
22.
by tossandthrow 28d ago
Yes, is you see my response to one of the parents, it should be apparent that it was clear to me.
23.
by tossandthrow 28d ago
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 statements, but we can believe the reasons that people will n
24.
by tossandthrow 28d ago
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 extend it to harvesting,
25.
by tossandthrow 28d ago
I think there might be a mixup here. You see: normally one reads for recreation or enlightenment. If that same one would approach their job as a recreational activity, or solely for enlightenment, you might not have that job for very long.
26.
by tossandthrow 28d ago
> where afraid to touch for good reasons This appears entirely unreasonable. Normally the reason is not good. The reason is that unit testing is missing or that downstream effects are not entirely mapped out. Exactly activities that trad
27.
by tossandthrow 28d ago
I think any idea that is contingent on a human being in the loop, solely to the property of being a human is most practically doomed to fail, but is inherently anti scientific. Science,at its core, does not care about the credentials or ins
28.
by tossandthrow 1mo ago
I don't get the argument. I get that there is a cultural benefit to keeping it alive. Just like we ideally want the languages represented at the universities. But keeping humans in the loop does not appear to be necessary in order to c
29.
by tossandthrow 1mo ago
The idea about the goal of mathematics being shared understanding seems to come at a convenient time. Mathematicians have never been known to communicate their ideas very clearly. Regardless, even that target llms will likely win - an llm w
30.
by tossandthrow 1mo ago
Yes, so there is not reason to believe that you can do computations that the precompiler can not do. There is no reason to believe that that you can not fully simulate intelligence in a C++ precompiler. The precompiler can be simulated by h

More ›