HackerTrans
TopNewTrendsCommentsPastAskShowJobs

soist

no profile record

Submissions

Turing Categories (2019)

golem.ph.utexas.edu
1 points·by soist·2 года назад·0 comments

Nintendo will not use generative AI

gameworldobserver.com
5 points·by soist·2 года назад·1 comments

Sulfur Dioxide

en.wikipedia.org
2 points·by soist·2 года назад·1 comments

Turning Nuclear Weapons into Nuclear Power (2017)

large.stanford.edu
2 points·by soist·2 года назад·0 comments

Basic Category Theory (2016)

arxiv.org
2 points·by soist·2 года назад·0 comments

Sheaf Theory Through Examples

direct.mit.edu
73 points·by soist·2 года назад·39 comments

A Vision for Betterment [video]

youtube.com
2 points·by soist·2 года назад·0 comments

comments

soist
·2 года назад·discuss
Most practitioners seem to understand that what they are doing is creating executable models and they don't confuse the model based on numeric observations with the actual reality. This is why I very much do not like all the AI hype and how statistical models were rebranded as artificial "intelligence" because the people who are not aware of what the words mean get very confused and start thinking they are nothing more than computers executing algorithms to fit numerical data to some unspecified cognitive model.
soist
·2 года назад·discuss
This is a common retort. You can read my other comments if you want to understand why you're not really addressing my points because I have already addressed how reductionism does not apply to living organisms but it does apply to computers.
soist
·2 года назад·discuss
Rephrase your question. I don't know what you're asking.
soist
·2 года назад·discuss
What value is being optimized and how do you know it is too much or not enough?
soist
·2 года назад·discuss
And I am saying they are confused because they are attributing personal characteristics to computers and software. By spelling out what computers are doing it becomes very obvious that there is nothing that can be aware of any experiences in computers as it is all simply a sequence of arithmetic operations. If you can explain which sequence of arithmetic operations corresponds to "experiences" in computers then you might be less confused than all the people who keep claiming computers can think and feel.
soist
·2 года назад·discuss
Just making sure no one is confused by common computationalist sophistry and how they attribute personal characteristics to computers and software. People can have and can create experiences, computers can only execute their programmed instructions.
soist
·2 года назад·discuss
I am familiar with the literature on reinforcement learning.
soist
·2 года назад·discuss
There is no such thing as too much optimization. Early stopping is to prevent overfitting to the training set. It's a trick just like most advances in deep learning because the underlying mathematics is fundamentally not suited for creating intelligent agents.
soist
·2 года назад·discuss
AlphaZero did not create any experiences. AlphaZero was software written by people to play board games and that's all it ever did.
soist
·2 года назад·discuss
Every software platform is essentially a digital panopticon and as AI gets deployed more widely in the real world this will also be increasingly true for non-software interactions. My guess is everyone is eventually going to carry an AI "assistant" that records all signals and gives guidance to its owner just like most people in the developed world today carry a cell phone and a credit card.
soist
·2 года назад·discuss
The Church-Turing thesis is a meta-mathematical statement and it neither has a proof nor disproof. In any case, this discussion has run its course.
soist
·2 года назад·discuss
Unknown physics is happening all the time almost by definition but as I said in another thread, good luck with your computations.
soist
·2 года назад·discuss
I expect claims to be backed by evidence that is consistent with our current state of knowledge. I have seen no such evidence so that's why I asked for references. In any case, this discussion has run its course, best of luck to you and your future computations.
soist
·2 года назад·discuss
Do you have a reference for this equivalency?
soist
·2 года назад·discuss
Well, that's essentially a logical tautology. Everything works according to the known laws of physics but it's certainly true that everything must also work with unknown laws of physics because of basic human ignorance.
soist
·2 года назад·discuss
I think I understand. So what you're saying is that every function that can be implemented with computers must be computable. Your claim is that the brain is actually a computable function, can you tell me which one it is using your favorite version of a Turing complete instruction set? Or maybe I misunderstood and what you're saying is that the brain is not the function but what it does is compute a specific function called your mind in some unknown instruction set?
soist
·2 года назад·discuss
Rule 110 can be specified with a rewrite system, also known as cellular automata: https://arxiv.org/abs/0906.3248. Cellular automatons have a correspondence with contextual grammars: https://www.cis.upenn.edu/~cis5110/notes/tcbook-lang.pdf. Each is equivalent to a Turing machine, another way of saying that there is a program for it which can be specified on a Turing machine with the usual Turing machine instruction set for writing, reading, and erasing binary digits on a tape. This usual program can then be "compiled" into a rewrite system corresponding to the instruction set for rule 110.

The reason rule 110 is said to be Turing complete is because someone went through the trouble of specifying an instruction set for rule 110 so that other people could verify that it would be possible to write programs with it. This is not the case for the people who claim that they are computers. They always leave the instruction set undefined which makes their claims hard to believe.

I personally have no problem with people who think they're computers but if they're not programmable then I'm not sure what the point would be of calling themselves computers.
soist
·2 года назад·discuss
Whether something is physical or not is orthognal to whether it computes or not. You're the one who brought up physics so that's why I showed why your logic was invalid. My contention was that calling something a computer without providing an instruction set was nonsensical and I wanted to know if someone had actually spent the time to rigorously think about what a computer without an instruction set would entail. So far it seems like no one has spent any time really thinking about it but that's probably for the best anyway. I'm sure an LLM will eventually figure out an instruction set for programming people and then take over the world.
soist
·2 года назад·discuss
Oh I see, so it's magic.
soist
·2 года назад·discuss
You'll have to define your terms first. Physicists now believe there is such a thing as dark matter and that there are objects so massive that no amount of observation can ever make sense of how massive they are because it is impossible to model it mathematically.

I am not the one making any extraordinary claims. Physicists themselves admit there are aspects of reality with no computational basis.