@leonardo_arachoo
@lemm.eeGiven 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.
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?
Well, even on Reddit I was always seeing the same content ciruculating through multiple subreddits at the same time.
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.