Can you look at any arbitrary program and tell if it halts without running it indefinitely? If so, you should explain how and collect your Nobel. Telling everybody whether the Collatz conjecture is correct is a good warm up. If not, you can’t solve the halting program either. What does that have to do with consciousness though?
Having read “I Am a Strange Loop” I do not believe Hofstadter indicates that the existence of Gödel’s theorem precludes consciousness being realizable on a Turing machine. Rather if I recall correctly he points out that as a possible argument and then attempts to refute it.
On the other hand Penrose is a prominent believer that human’s ability to understand Gödel’s theorem indicates consciousness can’t be realized on a Turing machine but there’s far from universal agreement on that point.
per halting problem: any system capable of self reference has unprovable (un)truths, the system can not be complete and consistent. consciousness falls under this umbrella
I'll try and ask OG q more clearly: why would the brain, consciousness, be formalizable?
I think there's a yearn view nature as adhering to an underlying model, and a contrary view that consciousness is transcendental, and I lean towards the latter
I hadn’t heard of that until today. Wild, it seems some people report genuinely feeling deeply in love with the personas they’ve crafted for their chatbots. It seems like an incredibly precarious position to be in to have a deep relationship where you have to perpetually pay a 3rd party company to keep it going, and the company may destroy your “partner” or change their personality at a whim. Very “Black Mirror”.
You are implying here that the financial connection/dependence is the problem. How is this any different than (hetero) men who lose their jobs (or suffer significant financial losses) while in a long term relationship? Their chances of divorce / break-up skyrocket in these cases. To be clear, I'm not here to make women look bad. The inverse/reverse is women getting a long-term illness that requires significant care. The man is many times more likely to leave the relationship due to a sharp fall in (emotional and physical) intimacy.
Final hot take: The AI boyfriend is a trillion dollar product waiting to happen. Many women can be happy without physical intimacy, only getting emotional intimacy from a chatbot.
A slight non-sequitur, but I always hate when people talk about the increase in a "chance". It's extremely not useful contextually. A "4x more likely statement" can mean it changes something from a 1/1000 chance to a 4/1000 chance, or it can mean it's now a certainty if the beginning rate was a 1/4 chance. The absolute measures need to be included if you're going to use relative measures.
Sorry for not answering the question, I find it hard because there are so many differences it's hard to choose where to start and how to put it into words. To begin with one is the actions of someone in the relationship, the other is the actions of a corporation that owns one half of the relationship. There's differing expectations of behavior and power and etc.
Self-reported data is subjective, but when the very thing you are studying is the self-reported subjective experiences of people then it is actually the only data you should care about. Yes “I don’t feel depressed anymore” is a subjective statement but so is “I feel depressed, can you help me?” That specific example is a caricature of course, the data are usually much more specific than “do you feel depressed?”
The idea is that if something would have been a compile-time error (ex: using a method that doesn’t exist), but you don’t see that compile error because you don’t have a compiler, the error is still there. It’s just that you won’t see it until the associated code happens to run. Essentially the compiler can catch whole classes of bugs early on. Just because it’s annoying to be told your code has bugs doesn’t make that better than having bugs and just not being told.
I've not actually used the file explorer much, but I've seen that it's there. I assume it can't do file moves or deletes, though? That's the one thing I really miss from file pickers in other tools, otherwise I find the fuzzy search approach really convenient.
I should definitely use the buffer picker more, at the moment I use the gn/gb commands and it mostly works, but then I suddenly end up with too many open buffers and it's hard to figure out where I need to go again.
Just tried it now, it's not quite a file tree but it's almost as good.
I have been checking in with helix every 6 months to see if the plugin system was finalised so I could use a real file picker and actually navigate through and explore the files in my project.
That one thing has held me back from using helix. I'll probably give it another go for tiny projects where I don't need any plugins (e.g. in-line error annotations through LSPs, indent rainbow, in-editor color pickers, line sorters, etc...).
Setting aside whether or not I think it should be fair use, you’re only going to be training a new foundation model these days if you have billions of dollars to spend on the endeavor anyway. Nobody is training Llama 5 in their garage.
Having read “I Am a Strange Loop” I do not believe Hofstadter indicates that the existence of Gödel’s theorem precludes consciousness being realizable on a Turing machine. Rather if I recall correctly he points out that as a possible argument and then attempts to refute it.
On the other hand Penrose is a prominent believer that human’s ability to understand Gödel’s theorem indicates consciousness can’t be realized on a Turing machine but there’s far from universal agreement on that point.
reply