Open Thread June 2010, Part 3

Kevin

This thread is for the discussion of Less Wrong topics that have not appeared in recent posts. If a discussion gets unwieldy, celebrate by turning it into a top-level post.

The thrilling conclusion of what is likely to be an inaccurately named trilogy of June Open Threads.

This thread is for the discussion of Less Wrong topics that have not appeared in recent posts. If a discussion gets unwieldy, celebrate by turning it into a top-level post.

The thrilling conclusion of what is likely to be an inaccurately named trilogy of June Open Threads.

I know of partial evaluation in the context of optimization, but I hadn't previously heard of much connection between that and AI or theorem provers. What do you see as the connection?

Or, more concretely: what do you think would be the right kind of theorem provers?

I think I made a mistake in mentioning partial evaluation. It distracts from my main point. The point I'm making a mess of is that Yoreth asks two questions:

If the coming singularity is such a monumental, civilization-filtering event, why is there virtually no mention of it in the mainstream? If it is so imminent, so important, and furthermore so sensitive to initial conditions that a small group of computer programmers can bring it about, why are there not massive governmental efforts to create seed AI?

I read (mis-read?) the rhetoric here as containin... (read more)

2[anonymous]16y

Partial evaluation is interesting to me in a AI sense. If you haven't have a look at the 3 projections of Futamura. But instead of compilers and language specifications you have learning systems and problem specifications. Or something along those lines.

9

Open Thread June 2010, Part 3

9

9

9

Open Thread June 2010, Part 3

9

9