A very interesting slide deck on IT research

I thought this was quite interesting. It’s the slides from the 1998 Turing lecture, given by Jim Gray talking about what enabling technologies would have the most value for IT. Remarkably prescient given the date of the talk and how fast things change.

Here is a particularly interesting screen grab from p.47:

untitled1.JPG

Gray sees such a system “discussing” the system with the designer…and mentions that this is a type of Turing test–the automated programming system is imitating a programmer.

I wonder how close to this vision a good declarative language would be?

One thought on “A very interesting slide deck on IT research

  1. Geordie,

    If an AI program can replace an actual human programmer has been a $64B question for the past quarter of a century… Apparently, managing a software
    project was an NP-complete problem: the cost of completely specifying a
    project is the same as completely developing it.
    , see recent comp.lang.lisp discussion here: http://groups.google.com/group/comp.lang.lisp/browse_frm/thread/56c020b039b74fbd/2b2d704c528efbf0?tvc=1&q=np-complete+specification+paper#2b2d704c528efbf0
    with links to PDFs of actual papers.

    But yes, Prolog makes it really easy to write programs to do complete search, they will still take exponential time to complete…🙂

    In other news, some guy in /. discussion of some most recent vapourware “photonic processor”, expecially how photons are so much worse than electrons for classical computation gave (without understanding it, I’d guess!) the clearest and shortest description of how QCs are supposed to work:


    by Tempest429 (1024249) Alter Relationship on Monday December 25, @03:45PM (#17361292)
    (http://www.ualberta.ca/~uasl | Last Journal: Tuesday November 07, @05:41PM)
    Just a thought, but doesn’t that mean that you could use superposition to your advantage.

    I’m no expert on the intricacies of microprocessor design, but it seems to me that being able to re-use the most frequently used elements would be quite beneficial. This would cut down on a huge amount of circuitry. At the very least, physically the chip could be smaller.

    At this point this is purely speculation on my part. Until someone figures out how to control photons with other photons (rather than electrically) the benefits will likely be offset by the extra support circuits required to control the logic gates etc.

    There is a fine line between genius and insanity. I have erased that line

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s