tossandthrow

3 ms·

1.
by tossandthrow 5d ago
I honestly think a us ban would get us quite far, also in a global setting.
2.
by tossandthrow 9d ago
My initial complaint was merely that the interest rate it not neutral to buyers.
3.
by tossandthrow 9d ago
Yes, so the 500k is not fixed - that should be obvious from these calculations.
4.
by tossandthrow 9d ago
I said that the monthly payment is the same. Not that you pay the same amount towards your loan. An optional extra payment is worth more when interest rates are higher. Ie. An optional extra payment of 1000$ will pay your 150$ a year in sav
5.
by tossandthrow 9d ago
No? Paying down a high interest mortgage will always have bigger impact on the dollar than paying down a low interest mortgage.
6.
by tossandthrow 10d ago
Neutral for buyers? Absolutely not. As a buyer you rather want to take out a loan in a high interest rate environment than a low interest rate environment, given that the monthly payment is the same. 1000 usd extra paid towards your mortgag
7.
by tossandthrow 10d ago
Why? You might never have tried to program before, so I don't blame it on you. But most programmers, even experienced ones, see grammar and type errors regularly.
8.
by tossandthrow 10d ago
You are right. I am imprecise. Languages allow a certain flexibility in their grammars - you can read a sentence without that adhering it exactly to the grammar. Games and programming languages (including lean) does not allow this flexibili
9.
by tossandthrow 10d ago
Llm systems are not really build for adhering to a grammar (other than "a string og tokens"). It is also not clear whether the llm adhering to a grammar is necessary for intelligent agents. Certainly,a harness can easily correct f
10.
by tossandthrow 11d ago
What a shame that we get a bird ckassifier by the samle technology we use to recognize cancer and other illnesses.
11.
by tossandthrow 14d 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
12.
by tossandthrow 15d 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
13.
by tossandthrow 15d 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.
14.
by tossandthrow 15d 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
15.
by tossandthrow 15d 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
16.
by tossandthrow 15d 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
17.
by tossandthrow 15d ago
Yes
18.
by tossandthrow 15d 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".
19.
by tossandthrow 15d 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
20.
by tossandthrow 16d 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.
21.
by tossandthrow 16d 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
22.
by tossandthrow 16d 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.
23.
by tossandthrow 17d 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.
24.
by tossandthrow 19d 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!
25.
by tossandthrow 22d 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
26.
by tossandthrow 22d ago
No. No human checked it. But a type checker did. And that is much better.
27.
by tossandthrow 22d 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
28.
by tossandthrow 25d 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
29.
by tossandthrow 29d 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
30.
by tossandthrow 1mo 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

More ›