TechTakes

1441 readers

46 users here now

Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.

This is not debate club. Unless it’s amusing debate.

For actually-good tech, you want our NotAwfulTech community

founded 1 year ago

MODERATORS

[email protected]

187

I Will Fucking Piledrive You If You Mention AI Again (ludic.mataroa.blog)

submitted 5 months ago by [email protected] to c/[email protected]

36 comments fedilink hide all child comments

another obviously correct opinion from Lucidity

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 8 points 5 months ago (1 children)

You got Schmidhuber'd! A Gödel machine would fit the bill. Nobody's built one yet, but the hard part -- proof search through something like Metamath (particularly Metamath Zero) -- is long-since solved. It wouldn't take over the world, though; it would just sit in a corner and get really good at maths over the next few centuries.

[–] [email protected] 13 points 5 months ago

I'm sure that taking a noisy average of everything posted on Twitter about Gödel machines will produce a Gödel machine, any day now.

Step 2: the Gödel machine becomes the monolith from 2001 that can do anything not explicitly prohibited by the laws of physics