Dennis Hackethal’s Blog

My blog about philosophy, coding, and anything else that interests me.

Tweets

An archive of my tweets and retweets through . They may be formatted slightly differently than on Twitter. API access has since gotten prohibitively expensive – I don't know whether or when I'll be able to update this archive.

But in case I will, you can subscribe via RSS – without a Twitter account. Rationale

@Hugoisms @reasonisfun

“Human” in this sense meaning non creative, person meaning creative.

@dchackethal · · Show · Open on Twitter

@Hugoisms @reasonisfun

Is there a difference between killing a human and killing a person?

@dchackethal · · Show · Open on Twitter

@Hugoisms

In what sense? In games? In relationships?

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf

Is a problem always a conflict between two explanations? Can it also be the lack of an explanation? Or is that somehow reducible to a conflict between two explanation?

@dchackethal · · Show · Open on Twitter

@HermesofReason @reasonisfun

“Peter the Popperian”! Best thing I’ve heard in a while. As Peter hehehehehehe friggin sweet guys!

@dchackethal · · Show · Open on Twitter

@Wparks91

For an example of this using multiplication, see soundcloud.com/dchacke/artifi… (disclaimer: I’m the author).

@dchackethal · · Show · Open on Twitter

@bnielson01 @JSB_1685 @dela3499 @DavidDeutschOxf @EvanOLeary

He claims he came up with it 25 years ago... talk is cheap. Show us the code.

@dchackethal · · Show · Open on Twitter

@JSB_1685 @dela3499 @DavidDeutschOxf @EvanOLeary

Where can we find and how can we run this thing you built?

@dchackethal · · Show · Open on Twitter

Thanks @dela3499 for sharing this with me. It's good to see researchers focusing on open ended problem solving.

youtube.com/watch?feature=…

@dchackethal · · Show · Open on Twitter

@eigenrobot @halvorz

What’s guess culture?

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

I agree that qualia are mysterious but that’s a problem of understanding, not a problem of qualia. Once we have a good explanation we shall understand them. Problems are soluble :)

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

Yes, good point. Perhaps what we are left with is that a universal explainer has the capacity to experience qualia, but doesn’t necessarily do so? Eg feeling hungry is a kind of knowledge?

If so, does that mean non-explainers cannot experience qualia?

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

Yup agreed. I’m after explanations at this point :)

@dchackethal · · Show · Open on Twitter

@davidarredondo

Sounds like some neuroscientists are finally starting to see their own reductionism.

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

I personally stay away from qualia for the most part because they are utterly mysterious. If a universal explainer automatically has them, great; if not, I don’t really care all that much. May even make things easier if it helps avoid moral issues.

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

Depending on one’s definition of AGI, a universal explainer without qualia could be considered a little less than an AGI.

@dchackethal · · Show · Open on Twitter

@bnielson01 @AW43755181

Lack of input/output devices doesn’t necessarily suggest lack of qualia. See aeon.co/essays/how-clo…

I agree however that even without qualia a universal explainer is genuinely universal in its capacity to explain.

@dchackethal · · Show · Open on Twitter

@bnielson01

Yeah, I still go back and forth on whether a universal explainer would automatically have qualia. I agree that it’s not obvious.

@dchackethal · · Show · Open on Twitter

Episode 7 of the podcast on artificial creativity is out; as always, heavily inspired by @DavidDeutschOxf. This time, it's a Q&A episode.

soundcloud.com/dchacke/artifi…

@dchackethal · · Show · Open on Twitter

@Hugoisms

Love ‘em. Keep ‘em coming :)

@dchackethal · · Show · Open on Twitter

@thethinkersmith @ToKTeacher @Crit_Rat @SamHarrisOrg

Neuroscience would need to violate computational universality in order to contribute.

@dchackethal · · Show · Open on Twitter

@HumanProgress

Only half of all households in 1990 had a stove? How did people cook?

@dchackethal · · Show · Open on Twitter

@tjaulow

The only thing universality suggests is a shared repertoire.

@dchackethal · · Show · Open on Twitter

@thethinkersmith @ToKTeacher @Crit_Rat @SamHarrisOrg

That could all be genetic or memetic.

@dchackethal · · Show · Open on Twitter

@thethinkersmith @ToKTeacher @Crit_Rat @SamHarrisOrg

I’m curious. How do primates demonstrate creativity?

@dchackethal · · Show · Open on Twitter

@tjaulow

I think I understand what you mean, but I don’t think universality on its own suggests that.

@dchackethal · · Show · Open on Twitter

@mizroba

It’s just a turn of phrase. It means that something that is considered an exception doesn’t break the rule precisely because it is an exception, as opposed to something that was not expected to occur.

@dchackethal · · Show · Open on Twitter

@CarnunMP

For example, I could learn how to be attracted to men, if I chose to. This may be hard but can't be impossible, since women have that knowledge somehow.

@dchackethal · · Show · Open on Twitter

@CarnunMP

Yeah, this helps. I think I was simply wrong about what heterosexuality implies. It means that there is different knowledge in men and women; but (given the right technology etc) nothing prevents either from learning what the other has.

@dchackethal · · Show · Open on Twitter

@ster

While there are differences between kinds of knowledge any two people hold - e.g. you know something I don't - nothing forbids my creating that missing knowledge for myself. The universality here lies in the ability to create knowledge, not differences in existing knowledge.

@dchackethal · · Show · Open on Twitter

@ster

But while there are no differences between people as explainers, there are undeniable differences between people as it relates to different genders.

@dchackethal · · Show · Open on Twitter

@ster

x is a universal y if it can do all the z's all the other y's can do.

People are universal explainers. Any given person can in principle explain anything any other person could explain. That means in their ability to create knowledge, all people are literally the same.

@dchackethal · · Show · Open on Twitter

@CarnunMP

Makes sense. I also just remembered David saying somewhere that people have an inborn fear of heights which they can exploit for fun (eg parachuting). But could they get rid of it?

@dchackethal · · Show · Open on Twitter

How do we square gender specific preferences with universality? For example, most men are attracted to women.

Presumably, genes can create preferences, interests, etc in people, but can be overwritten by the mind?

@dchackethal · · Show · Open on Twitter

@mizroba

  • Knowledge is information that is adapted to a purpose.
  • Knowledge is information with causal power.
  • Knowledge is information that solves a problem.

Those are the three relationships that come to my mind.

@dchackethal · · Show · Open on Twitter

RT @DavidDeutschOxf:
@notsurethomas @lynz_h55 @TheHalcyonSavan @PSTaylor13

Explanations never explain why they themselves are true. That wo…

@dchackethal · · Show · Open on Twitter

@LubnaHamdan0

The term has been bastardized.

@dchackethal · · Show · Open on Twitter

@bnielson01

First time I've seen it, but the description sounds promising.

@dchackethal · · Show · Open on Twitter

@bnielson01

I’m being told it won’t.

@dchackethal · · Show · Open on Twitter

@ToKTeacher @mizroba

Yes backups!

@dchackethal · · Show · Open on Twitter

@RealtimeAI @chrisalbon

Hahahaha omg that sounds so disgusting! 😂

@dchackethal · · Show · Open on Twitter

Join me for a talk on artificial creativity this Sunday at 8 at Rainbow Mansion in Cupertino, CA:

facebook.com/events/2194051…

@dchackethal · · Show · Open on Twitter

@FamilyGuyonFOX

The chicken's name is Ernie! I had no idea...

@dchackethal · · Show · Open on Twitter

RT @drbronowski:
https://t.co/gzL8uld8jV

@dchackethal · · Show · Open on Twitter

@dchackethal · · Show · Open on Twitter

@homsiT

Thanks! And agreed, I plan on doing that.

@dchackethal · · Show · Open on Twitter

@dela3499 @kyleofsorts

He's too invested now. He would probably, as most people, think it a public failure to change his mind about superintelligence.

Deeper reason: pessimism.

@dchackethal · · Show · Open on Twitter

@kyleofsorts @dela3499

Haven’t read his books yet, but some of his papers I’ve read are among the worst “contributions” to the field. Complete nonsense. Will likely never come around.

@dchackethal · · Show · Open on Twitter

@zombieinjeans

Don't know.

FWIW, definitions of knowledge I also like include "explanation" and "information that is adapted to a purpose", which latter definition includes being hard to vary.

And yes it has causal power and tends to remain physically instantiated.

@dchackethal · · Show · Open on Twitter

@tjaulow @zombieinjeans

Yes, I've been meaning to read it.

@dchackethal · · Show · Open on Twitter

@dela3499

Christ

@dchackethal · · Show · Open on Twitter

Google the term "knowledge" and you'll get:

"facts, information, and skills acquired by a person through experience or education [...]"

😭😭😭

@dchackethal · · Show · Open on Twitter

@dela3499 @BertChakovsky

Oh shit, that looks so cool!

@dchackethal · · Show · Open on Twitter

@dela3499

I was worried you’d say that. Will skip this one, thanks :)

@dchackethal · · Show · Open on Twitter

@dchackethal · · Show · Open on Twitter

@dela3499 @BertChakovsky

Right on, thanks :)

@dchackethal · · Show · Open on Twitter

@zombieinjeans @DavidDeutschOxf

Blind evolution often finds solutions in the biosphere. But knowledge in humans has the advantage that not every single explanation along the way has to work, so it has more flexibility.

Genetic pluralism may be part of the answer, too.

@dchackethal · · Show · Open on Twitter

@royalsociety

It doesn’t prove general relativity. Epistemological blunder.

@dchackethal · · Show · Open on Twitter

@dchackethal · · Show · Open on Twitter

@dela3499

How was “A New Kind of Science”? It was recommended to me buy an AI person, but I haven’t gotten around to it yet.

@dchackethal · · Show · Open on Twitter

@zombieinjeans @DavidDeutschOxf

I go back and forth on this. On the lowest lvl there seems to be blind evolution happening in our minds. In hindsight it looks goal oriented and purposeful, not random. So does biological evolution, though. But yes, things we have learned in the past can help with a new problem.

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf

Got it - are you referring to the part where I invoke the hidden target function to gather return values and then reconstruct the function from those values as “explaining data”?

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf @bnielson01

Great, thank you.

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf @bnielson01

Got it. I think I understand what you mean by “objective”. And what do you mean by “criterion”?

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf @bnielson01

What do you mean by “mismatch between criterion and current objective”? A mismatch between target function and its replica?

@dchackethal · · Show · Open on Twitter

@bnielson01 @DavidDeutschOxf

Yes, I think of it this way as well.

@dchackethal · · Show · Open on Twitter

@DavidDeutschOxf

Thank you. I will revisit this.

@dchackethal · · Show · Open on Twitter

@caerwy @DavidDeutschOxf

Thank you :)

@dchackethal · · Show · Open on Twitter

@ChristopherCode @DavidDeutschOxf

I know next to nothing about quantum operations, but the laws of epistemology should apply to function implementations on quantum computers as well.

@DavidDeutschOxf would know better.

@dchackethal · · Show · Open on Twitter

@caerwy @DavidDeutschOxf

How do they do this? Do they not implement a function of their own to imitate the other function?

@dchackethal · · Show · Open on Twitter

@dela3499 @DavidDeutschOxf

It should apply to all explanations.

I’m not sure yet how to represent more complex functions such as human speech, let alone philosophical theories. But given lambda calculus’ universality, it must be possible.

FWIW functions without parameters are also explanations.

@dchackethal · · Show · Open on Twitter

The sixth episode of the podcast on artificial creativity is out. It's another video episode, and as always, heavily inspired by @DavidDeutschOxf:

youtube.com/watch?v=xRaR3L…

@dchackethal · · Show · Open on Twitter

@madeofmistak3 @ghstgrllll

Not yet - thanks for the recommendation!

@dchackethal · · Show · Open on Twitter

@madeofmistak3 @attractfunding

Can I throw “The Babadook” in the ring?

@dchackethal · · Show · Open on Twitter

@madeofmistak3 @ghstgrllll

Mother! is unfortunately full of spaceship earth thinking, but good otherwise. I know it splits the crowd because half the movie is supposed to be annoying, but if you can ignore that, you’ll have a great time watching it.

@dchackethal · · Show · Open on Twitter

@madeofmistak3 @ghstgrllll

Antichrist is a great movie.

@dchackethal · · Show · Open on Twitter

RT @ToKTeacher:
Article summarising the prevailing intellectual view of humanity at a concentration approaching saturation. Unbounded pessi…

@dchackethal · · Show · Open on Twitter

RT @davidarredondo:
Popper on Definitions: interesting. youtu.be/fgeMEr16yYk

@dchackethal · · Show · Open on Twitter

@davidarredondo

Just watched it today myself. Love me some Popper.

@dchackethal · · Show · Open on Twitter

@Azaeres @onnlucky @SerhiiHavrylov

Yes. I will get into some of that in the next episode. One thing to note is that there are always infinitely many functions that will fit the dataset perfectly. The question is how to find good, i.e. hard to vary, function implementations that match.

@dchackethal · · Show · Open on Twitter

@RichardDawkins @center4inquiry

Nice. Add @Target for selling homeopathic eardrops I accidentally bought once thinking they were legitimate.

@dchackethal · · Show · Open on Twitter

@Azaeres @onnlucky @SerhiiHavrylov

Ah, got it. Again, I’m hesitant to address problems of scale or performance without first knowing how the creative algorithm works. Only that knowledge would suggest performance problems. But you mentioned you had some background knowledge about this. Care to share?

@dchackethal · · Show · Open on Twitter

@Azaeres @onnlucky @SerhiiHavrylov

That is precisely how an AGI does not learn. It’s induction again.

@dchackethal · · Show · Open on Twitter

@Azaeres @onnlucky @SerhiiHavrylov

How do you know it will take immense resources without having a good explanation of how the program works first?

@dchackethal · · Show · Open on Twitter

@onnlucky @Azaeres @SerhiiHavrylov

Indeed. We already know that modern day computers could run a universal creativity program. What's lacking here is neither hardware nor processing power: we lack a good explanation of how to write the program.

@dchackethal · · Show · Open on Twitter

@Azaeres @SerhiiHavrylov

That is correct.

@dchackethal · · Show · Open on Twitter

@Azaeres @SerhiiHavrylov

If resources were the problem, we would gladly wait to run it if we had a good explanation of how it works.

@dchackethal · · Show · Open on Twitter

@Azaeres @SerhiiHavrylov

Bayesianism is inductivism in a cheap tuxedo. Has nothing to do with creativity. See bretthall.org/bayesian-epist… by @ToKTeacher

@dchackethal · · Show · Open on Twitter

@Azaeres @SerhiiHavrylov

The problem with inductive processes is that they don’t exist.

Re intractable: I don’t know what you mean by “holistic nature”, but our minds are creative somehow, so it can’t be intractable. We just don’t yet know how.

@dchackethal · · Show · Open on Twitter

@dela3499 @ChristopherCode

I skimmed it. The causal approach is the right one. Also reading up on program synthesis now.

@dchackethal · · Show · Open on Twitter

@SpaceTime_A @DavidDeutschOxf @ToKTeacher

Great question - I have no idea :)

@dchackethal · · Show · Open on Twitter

@davidarredondo

It is creativity. And we are beginning to understand it. Baby steps :)

@dchackethal · · Show · Open on Twitter

@ChristopherCode @dela3499 @DavidDeutschOxf

I responded in the document in purple.

@dchackethal · · Show · Open on Twitter

@SerhiiHavrylov

I skimmed it, still sounds inductivist.

@dchackethal · · Show · Open on Twitter

@Doxosophoi

Hopefully in the next episode :)

@dchackethal · · Show · Open on Twitter

@ChristopherCode @dela3499 @DavidDeutschOxf

Indeed. E.g. for objects in JS, Clojure etc one first needs an explanation of how to map keys reliably to values: a hash function. We know from lambda calculus that any such concepts can be built from pure, single parameter functions, because it is Turing complete.

@dchackethal · · Show · Open on Twitter

@DKedmey

Yeah, that’d be pretty neat. Being a universal explainer, the creative algorithm could do so.

@dchackethal · · Show · Open on Twitter

@Doxosophoi

What do you mean by “epistemological facts”? Do you mean rules such as hard to vary? If so, my guess is knowledge of those rules is the result of the creative algorithm as well. If your question is how the creative algorithm creates new explanations, I haven’t covered that yet.

@dchackethal · · Show · Open on Twitter

@SerhiiHavrylov

First time reading about this, too. First impression: Sounds like Occam’s razor applied to functions. I’m after good function implementations, which need not be the shortest. The best implementation of multiplication in this episode only happens to be the shortest, IIRC.

@dchackethal · · Show · Open on Twitter

@SerhiiHavrylov

First time reading about Solomonoff’s inductive inference, so may be missing something. Wikipedia says it “is a theory of prediction based on logical observations”. Sounds inductive to me. Too focused on observation. No mention of knowledge creation as far as I can tell.

@dchackethal · · Show · Open on Twitter

Search tweets

/
/mi
Accepts a case-insensitive POSIX regular expression. Most URLs won’t match. Tweets may contain raw markdown characters, which are not displayed.
Clear filters