hn_throwaway_99

4 ms·

31.
by hn_throwaway_99 14d ago
While I agree with that, my layman's understanding is that the whole purpose of Lean is that once you agree that the program does "do what it says it does", all the intermediate steps can be verified with a compilation. Tha
32.
by hn_throwaway_99 14d ago
With 5G in particular I think it's important that people talk about which specific technologies they're referring to. In the US at least, low-band or extended range 5G is widely available and has been for some time (and I'm t
33.
by hn_throwaway_99 14d ago
I'm sure a lot of the discussion here will be about regulatory capture, which I don't necessarily disagree with but tons of people on all sides with all motivations (i.e. folks with motivations to speed up and folks who just wan
34.
by hn_throwaway_99 14d ago
> You're basically saying that there's no purpose to it all if there's no human suffering involved, somehow. Really? That's what you took from my post? Not enough eye rolls in me for that one.
35.
by hn_throwaway_99 14d ago
I agree these clauses suck, but consumer mass arbitration is also a thing.
36.
by hn_throwaway_99 14d ago
I am truly baffled that you think AI is just one more step on the spectrum of "knowledge transmission" between humans. I think that literally nobody who is an expert on this (both from the perspective of the people creating the te
37.
by hn_throwaway_99 14d ago
This is bullshit and honestly reeks of sexism given that I rarely see these kind of attacks against men with lesser reputations. She has a CS degree from one of the best CS departments in the country. Sure, she worked at Coefficient Giving
38.
by hn_throwaway_99 14d ago
This is what class actions are literally for. Yes, I know it sucks that the only people who make money are the lawyers, but it can result in some behavioral change. Google is fine attracting bots when it makes money for itself, but it can c
39.
by hn_throwaway_99 14d ago
I commented something similar on a bunch of other posts. The thing that scares me about a lot of the AI community in general is that their utopia is basically more frightening to me than their doom scenarios. They present this "incre
40.
by hn_throwaway_99 16d ago
Just like the agents in the Hugging Face (and other) incidents were tools under OpenAI's control? That is, before they decided to break out of their sandbox and commit multiple felonies in order to go on a long term research project? O
41.
by hn_throwaway_99 16d ago
> Some people live in the US, get tech jobs and live lives of almost indescribable luxury compared to someone born in South Sudan. There are beggars on the streets of most African countries, who are deformed of malnutrition and suffering
42.
by hn_throwaway_99 17d ago
> What makes you think that just because an AI is more intelligent that it will not be completely subject to our authority? It's just a tool in our hands. Because it would be like 100 chimps trying to make a million humans subject t
43.
by hn_throwaway_99 17d ago
Thank you for putting it so succinctly. I find that lots of people get "stuck" in the current state of things - they think that AI will continue to improve, but they inherently believe (perhaps subconsciously) that humans will alw
44.
by hn_throwaway_99 17d ago
Do you see an end state in this? When AI is better than humans at everything (and I used to be very sceptical of that claim but I'm getting less and less by the day), I don't see the Wall-E version of humanity as some sort of ut
45.
by hn_throwaway_99 17d ago
Doesn't this seem to be where all domains are headed? I get kinda freaked out when I feel like all the AI "utopianists" haven't taken the next logical step of thinking about what society looks like when humans are subpar
46.
by hn_throwaway_99 17d ago
> Most people don't know about the existence of companies called "OpenAI" or "Anthropic", or that they are worth a lot of money. I agree with your general premise but that one sounds like bullshit to me. Tons of
47.
by hn_throwaway_99 18d ago
Just because folks always conveniently leave out the facts on this one, the Alaskan state legislature had been requesting the name change back to Denali since 1975. I'm waiting to hear when anyone remotely close to Lake Ontario reque
48.
by hn_throwaway_99 18d ago
It's baffling to me that people think that timeframe is too short. Basically, I don't think you've been paying attention to what is actually going on in the AI world. People much smarter than I believe we'll see fully au
49.
by hn_throwaway_99 19d ago
I agree with most that "AGI" is a poorly defined term, and there is obviously a ton of hype and incentives for folks like Jensen Huang to overhype. Yet still, a lot of the "haha this is just Silicon Valley bullshit" comm
50.
by hn_throwaway_99 19d ago
I think the AI 2027 paper does a good job explaining this phenomenon: AI companies are focused on coding and automating themselves first (i.e. using AI to build future models and do AI research) because it is the best way to ensure the fa
51.
by hn_throwaway_99 19d ago
Hard disagree. It wasn't the only thing, but it was so clear that all the fawning, uncritical media coverage and general buzz really "wanted a female Steve Jobs". And all the ways that Holmes emulated Jobs in style but not su
52.
by hn_throwaway_99 19d ago
Regarding "what it doesn't mean", when I read that I thought there would be some sort of limitation on what Claude could do in the realm of proof autoformalization, but that's not really true. All the "what it doesn
53.
by hn_throwaway_99 19d ago
> Humanity will be wiped out by 2030 Not saying nobody has said it, but I haven't seen any forecasts that humanity will be wiped out by 2030, so this feels like a straw man. But to be honest, most of the arguments here feel like str
54.
by hn_throwaway_99 19d ago
Well, I'll tweak my comment a bit then. On one hand you have folks like Ilya Sutskever, who named his new company "Safe Superintelligence", and on the other hand you have folks like Eliezer Yudkowsky, who titled his book &quo
55.
by hn_throwaway_99 20d ago
It's certainly analogous to the behavior exhibited by these AI companies in deliberately performing dangerous actions and then letting other innocent people deal with the consequences.
56.
by hn_throwaway_99 20d ago
Baloney, lots of people go to jail for DUIs, and that's the right analogy here. People don't drink and drive with the intention to kill people. They drink because it's fun and then get behind the wheel because it's easy
57.
by hn_throwaway_99 20d ago
100%. I hope it doesn't take that much foresight to do something like "crash power grids globally" and imagine what the world looks like at that point.
58.
by hn_throwaway_99 20d ago
They don't, it's just at that point in the AI 2027 story the AI has already wiped out the humans due to resource contention (similar to how humans largely wiped out the wolves).
59.
by hn_throwaway_99 20d ago
I think this line of thinking is a huge disservice to people in third world countries and poverty. People everywhere want to find goals and motivations that move them forward. Just look at the legions of people that have moved from Chin
60.
by hn_throwaway_99 20d ago
Really glad you brought up the mice utopia experiments. I encourage people to read about them and think how they apply to humans. In many ways they don't apply to humans, and I think a lot of the modern critiques are valid, and the o

More ›