reuben364

12 ms·

91.
by reuben364 5y ago
But you are choosing to use the Turing test, which tests a form of intelligence, as a proxy to determine whether to believe the claim. A Turing test does not preclude philosophical zombies. It does not demonstrate anything about consciousne
92.
by reuben364 5y ago
Yes, but this is arbitrary. That is my point. There's no reason to believe that you can extrapolate your own subjective experience to others based on their similarity to you.
93.
by reuben364 5y ago
> Of course we take the pragmatic approach of deciding things that look like suffering to us is suffering. Hence why I said this. There is nothing you can use to believe a human's claims over the text-to-speech's claims, so we
94.
by reuben364 5y ago
And on what basis do you claim that computational complexity is a necessary condition for consciousness and suffering? There is only one datum you have for consciousness. Other people can tell you that they experience consciousness, but so
95.
by reuben364 5y ago
The only consciousness we experience is our own. In the extreme, we can no more say a chair suffers than a human being other than ourselves. Of course we take the pragmatic approach of deciding things that look like suffering to us is suffe
96.
by reuben364 5y ago
I've heard this a lot recently in regard to Intel's latest CEO coming from an engineering background. I can intuit it, but is there something to back up this claim?
97.
by reuben364 5y ago
Case in point: Microsoft Teams. On Chrome it gives an option to use the web client. On Firefox it doesn't even show it as an option. For the longest time I thought that Teams didn't even have a web client.
98.
by reuben364 5y ago
Here is a video on the topic of bacteria in an experiment evolving to use a second source of food: https://www.youtube.com/watch?v=w4sLAQvEH-M . I'm not sure if they depend on it being present though.
99.
by reuben364 5y ago
By my interpretation, the empty set would cover no users, not all of them.
100.
by reuben364 5y ago
I would guess {"google"} would cover almost all users.
101.
by reuben364 5y ago
While not a novel port of doom, there is this texture pack that replaces every thing in it with a picture of Tim Allen. I still chuckle every now and then when I think about it. ( https://www.youtube.com/watch?v=Ji9qSuQapFY )
102.
by reuben364 5y ago
Well, one of the possible applications is game theory. Maybe these techniques could be used to design incentive structure that work. This of course is very loose reasoning on my part as I don't really know the details.
103.
by reuben364 5y ago
A more degenerate argument: a type system that rejects all programs will prevent all bugs.
104.
by reuben364 5y ago
As good as you can get without being able the read the programmer's brain to figure out what they really wanted in the first place. To talk about correctness formally in the first place, you need to specify what you want and when you d
105.
by reuben364 5y ago
I think he's referring to the idea of petty HOA politics where motivated power hungry people drown others out and selectively apply rules to make others miserable.
106.
by reuben364 5y ago
s/^.*$/
107.
by reuben364 5y ago
I've seen this in very incel-y contexts, but I can't imagine it being anywhere as pervasive in the context of GitHub. "Everybody hates me even though I'm a really nice guy, but man those class of people are ****"
108.
by reuben364 5y ago
Generics are not really the statically typed answer to duck-typing. Subtyping with structural types, such as in TypeScript, is.
109.
by reuben364 5y ago
I guess; in the sense that it frees cognitive load from reasoning about properties of your program that are easily computed to think about properties that aren't. Even then, maybe thinking about the former primes you to reason about th
110.
by reuben364 5y ago
Adding more fuel to the fire is that most of the benefit in learning the underlying principles of software is being able to build, modify and introspect it. In a terminal, to view a text file, you could use cat. On a phone, you download an
111.
by reuben364 5y ago
Semantics of programs in type theory are most of the time described by a small step relation which describes, possibly non-deterministically, how to perform one step of computation. Separately one can consider which terms are values, indica
112.
by reuben364 5y ago
I'm struggling to fit this into my current understanding. I guess I don't really know how incompleteness looks in a type theory setting. Terms are proofs, types are propositions. _ are theories, _ are models, _ are valid formulas?
113.
by reuben364 5y ago
Not qualified to answer, but my thought is that if you have a statement that is true that cannot be proven, you could write a program whose correctness implies the statement, then proving the program correct amounts to proving something tha
114.
by reuben364 5y ago
Constructive mathematics by it's nature does not use LEM. The idea is that proof of existance must be done by construction of the object in question. LEM implies DNE, which means existance can be shown by showing non-existance is not t
115.
by reuben364 6y ago
Reading articles like this make me want to avoid OOP. It seems that like the concept is so over-complicated that it requires developers to invent an entire religion to be able to effectively apply it to real world use cases...( my procedura
116.
by reuben364 6y ago
I realize now that you were talking about changing types, which I didn't factor in. I guess what would happen is you would cascade the hot swapping, reloading anything which depends on the function for which the type has changed.
117.
by reuben364 6y ago
Replying because its too late to edit EDIT: I'm struggling to find the source connecting lenses to dynamical systems. I might have misremembered, and was pretty tired, so take that with a grain of salt.
118.
by reuben364 6y ago
I thought so too, but Haskell was an object of adoration and envy for me long enough for me to become hooked. If Martians visited Earth, surely you'd want to learn their language. :)
119.
by reuben364 6y ago
So there are sort of several ideas floating in my head. Keep in mind, these are very loose and I am talking way out of my league here. I said lenses, but the more general term is optics (still vague and unsearchable, I know). A certain repr
120.
by reuben364 6y ago
That's one thing I have been thinking about. I think Haskell and other statically typed functional programming languages would benefit from a more interactive REPL like experience for "non-pure" programming where you are sort

More ›