0
28
leonardo_arachoo

@lemm.ee

leonardo_arachoo 33 points 3 years ago

we all learned in Theory of Computation that general AI is impossible.

I strongly suspect it is you who has misunderstood your CS courses. Can you provide some concrete evidence for why general AI is impossible?

path: 0 737524 737783 740354, hotness: undefined, score: 33, children: 7
leonardo_arachoo 28 points 3 years ago

While cool, I am surprised this is considered noteworthy enough for an article. There's so much experimentation constantly going on with these models, what makes this special? It's more like the inspiration for a creepypasta.

path: 0 2837861 2839431 2840340, hotness: undefined, score: 28, children: 0
leonardo_arachoo 23 points 3 years ago

Could someone explain this to me? Why would this harm the strikers?

path: 0 1612686, hotness: undefined, score: 23, children: 6
leonardo_arachoo 20 points 3 years ago

Well, even on Reddit I was always seeing the same content ciruculating through multiple subreddits at the same time.

path: 0 700125 701118, hotness: undefined, score: 20, children: 1
leonardo_arachoo 20 points 3 years ago

Burning someone's work would most often just make you seem deranged. But don't muddy the waters here, the key point is it must be legal. And if someone wants to make it illegal, that's the rare good reason to actually do it.

path: 0 2819058 2822085, hotness: undefined, score: 20, children: 1
leonardo_arachoo 18 points 3 years ago

AI might not survive the next decade? I already use it every day at work. The productivity gains are enormous and far from saturated. I think it's more likely that AI will survive and consumers (humans) will not survive.

path: 0 2269993 2283804, hotness: undefined, score: 18, children: 2
leonardo_arachoo 16 points 3 years ago

I think your experience that your finances are better on $45k than $110k is quite mysterious and could do with some further elucidation

path: 0 1009055 1022544, hotness: undefined, score: 16, children: 9
leonardo_arachoo 15 points 3 years ago

Given that humans can write computer programs, how can you argue that the undecidability of the halting problem stops intelligent agents from being able to write computer programs?

I don't understand what you mean about the borrow checker in Rust or block instruction reordering. These are certainly not attempts at AI or AGI.

What exactly does AGI mean to you?

This stuff should all be obvious, but here we are.

This is not necessary. Please don't reply if you can't resist the temptation to call people who disagree with you stupid.

path: 0 737524 737783 740354 745050 745397, hotness: undefined, score: 15, children: 4
leonardo_arachoo 11 points 3 years ago

Here are two groups of claims I disagree with that I think you must agree with

1 - brains do things that a computer program can never do. It is impossible for a computer to ever simulate the computation* done by a brain. Humans solve the halting problem by doing something a computer could never do.

2 - It is necessary to solve the halting problem to write computer programs. Humans can only write computer programs because they solve the halting problem first.

*perhaps you will prefer a different word here

I would say that:

  • it doesn't require solving any halting problems to write computer programs
  • there is no general solution to the halting problem that works on human brains but not on computers.
  • computers can in principle simulate brains with enough accuracy to simulate any computation happening on a brain. However, there would be far cheaper ways to do any computation.

Which of my statements do you disagree with?

path: 0 737524 737783 740354 745050 745397 746104 746815, hotness: undefined, score: 11, children: 2
leonardo_arachoo 11 points 3 years ago

Looking forward to sync for lemmy

path: 0 699347, hotness: undefined, score: 11, children: 0
leonardo_arachoo 9 points 3 years ago

Thanks! I don't live somewhere with such a hot climate

path: 0 1612686 1612855 1624069, hotness: undefined, score: 9, children: 1
leonardo_arachoo 5 points 3 years ago

desktop time is way more expensive than phone time!

I was asked why I wouldn't viist on my desktop. This is a great way to put it.

path: 0 695801 695849 697053 699163, hotness: undefined, score: 5, children: 0
leonardo_arachoo 5 points 3 years ago

Well, I'll make the halting problem for this conversation decidable by concluding :). It was interesting to talk, but I was not convinced.

I think some amazing things are coming out of deep learning and some day our abilities will generally be surpassed. Hopefully you are right, because I think we will all die shortly afterwards.

Feel free to have the final word.

path: 0 737524 737783 740354 745050 745397 746104 746815 747594 748171, hotness: undefined, score: 5, children: 0
leonardo_arachoo 5 points 3 years ago

I think you're looking at it wrong

path: 0 2351572 2352315 2357928 2358340 2359889 2362279, hotness: undefined, score: 5, children: 0
leonardo_arachoo 4 points 3 years ago

Easy to believe that you improved quality of life and achieved some savings, but the other poster specifically cited improvements in financial health after >50% cut which has me puzzled

path: 0 1009055 1022544 1028876 1036747, hotness: undefined, score: 4, children: 0
leonardo_arachoo 4 points 3 years ago

Ha, touché

path: 0 738846 740779 741473 741565 744921, hotness: undefined, score: 4, children: 0
leonardo_arachoo 3 points 3 years ago

I don't think we can consider AI as a monoloth. A text to image AI surely has no conception at all of what a city is for. An LLM might have such a concept, but I wouldn't be worried about what it thinks based on limitations of a totally unrelated model.

path: 0 1016926 1023225, hotness: undefined, score: 3, children: 0
leonardo_arachoo 3 points 3 years ago

Gorgeous!

path: 0 2285451, hotness: undefined, score: 3, children: 0
leonardo_arachoo 2 points 3 years ago

Not sure how much income taxes are for you but the gross difference is $65k and I'll assume you take home at least half of that. So $32k. Just curious like which specific categories of items were costing you tens of thousands of dollars that you were able to cut out? Is this the famous American medical expenses mainly? Just trying to be able to understand

path: 0 1009055 1022544 1027119 1027936 1031890 1036682, hotness: undefined, score: 2, children: 1
leonardo_arachoo 2 points 3 years ago

I'd vote labour for housing reform

path: 0 683642, hotness: undefined, score: 2, children: 0

thanks for using Leebra!

go to feed...