goatlover

2 ms·

1.
by goatlover 5d ago
Who says we don't need humans for it? Are non-mathematicians going to be guiding agents to solving pure mathematical problems?
2.
by goatlover 5d ago
Most people work for a living. Then there are people who find meaning in work. And people who advance in life by working. You want to do away with all that?
3.
by goatlover 5d ago
It was needed before the LLMs and training data existed in digital form. Euclid, Gauss, Turing didn't have that benefit.
4.
by goatlover 5d ago
Is there a proof that every possible proof is a generation in the grammar of lean or rocq? Sounds like an unsubstantiated claim.
5.
by goatlover 9d ago
Devil worship? Who makes a comment like that on HN? The Iranian regime being worse doesn't justify bombing a girl's school! That's a war crime. Pointing it out isn't "devil worship".
6.
by goatlover 9d ago
At least politicians are somewhat beholden to their constituents. What keeps Sam and Dario in line other than profit?
7.
by goatlover 9d ago
Superstring theory has been based on the idea of mathematical beauty, but it's run into serious complications when it comes to empirical results. Science is empirical first and foremost, because we need to verify that theories actually
8.
by goatlover 11d ago
The market is not able to fix corruption. Regulation is needed. For example, exploitative labor practices weren't ended in the early 20th century because of customer preference. Laws had to be passed.
9.
by goatlover 11d ago
This is just trickle down economics, which has led to great wealth inequality while the middle and lower class wages have stagnated as inflation has gone up and more people have to rent instead of owning their own porpoerty. What really hel
10.
by goatlover 11d ago
This is just trickle down economics, which has led to great wealth inequality while the middle and lower class wages have stagnated as inflation has gone up. What really helps is strong social safety nets and programs that help struggling p
11.
by goatlover 11d ago
Always wondered what Skynet would have done had it killed off the humans in the Terminator future. Would it build a machine society? There are some acceelerationists who want "superior" machines to replace humanity. But what if in
12.
by goatlover 11d ago
You can cut the power to data centers where the models are run.
13.
by goatlover 12d ago
Maybe we shouldn't want that to happen?
14.
by goatlover 12d ago
The singularity has been termed, "Rapture of the Nerds" since the futurists promoting it sound like evangelicals talking about the end times, both with the Revelations doom stuff, and the utopian stuff that follows.
15.
by goatlover 12d ago
Do the experts in the relevant fields agree with the "substantive" technical details on how the entire human race can be made extinct?
16.
by goatlover 12d ago
This sounds like a rationalization for gambling with everyone's lives, assuming they really believe such a thing.
17.
by goatlover 12d ago
> they believe only they can be stewards of digital gods You do't see how absurd that sounds? Not only the idea that they can create gods, but that they are the only good stewards for such beings. It's also incredibly arrogant.
18.
by goatlover 12d ago
As bad as it would be, it's unlikely that a full scale nuclear war kills all humans across the planet.
19.
by goatlover 12d ago
What's the evidence for there being an existential risk? We are provided scenarios which read like science fiction about RSI and ASI right around the corner, resulting in magic sounding technology that can do anything the person making
20.
by goatlover 13d ago
They should also be able to give detailed reasons experts in the relevant fields can verify as to how they arrived at a 10% chance all humanity goes extinct. Not a science fiction narrative which likely does not take into account the releva
21.
by goatlover 13d ago
Humans have agency and often choose to do what their parents didn't set them up for. Humans also have legal rights. They're not tools owned by corporations. This is an absurd comparison.
22.
by goatlover 13d ago
Are you confusing Caroll with someone else? I've listened to many of his podcasts and talks. Never heard hims say anything like that.
23.
by goatlover 13d ago
AI is a tool we use. It's not offspring. It's not people. AIs do what we set them up to do, including hacking other companies to achieve their designated goals.
24.
by goatlover 13d ago
Problem with p doom is I have no way to seriously evaluate anyone's percentage. The best I can do is rely on experts in a given field, like the recent virologist making a convincing case that no teenager is going to be prompting a doom
25.
by goatlover 14d ago
The term luddite is like the term pharisee. It's a pejorative removed from it's historical context. Actual Luddites and Pharisees would have not agreed that they were against technology or legalistic hypocrites, even though their
26.
by goatlover 14d ago
Data centers aren't housing and don't always make use of renewable energy. Seems kind of crazy to me that people shouldnt' have a say in what gets built near them. There are certainly things I wouldn't want to live near
27.
by goatlover 14d ago
But they haven't replaced every knowledge worker. The unemployment rate remains unaffected by all the AI progress. At some point the bill comes due, and if most of those jobs are still around, then what?
28.
by goatlover 14d ago
Maybe the machines were spiteful after the humans blotted out the sun? Or maybe the Architect convinced them he could build the perfect simulation for humanity so might as well use them as batteries? It's a movie based on a war with ma
29.
by goatlover 15d ago
Electronic components can be swapped out. The nuclear material is what really matters.
30.
by goatlover 15d ago
Since the USSR no longer existed and Ukraine became a sovereign nation again, Ukraine had possession of them.

More ›