BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations Learnfun and Playfun: A Nintendo Automation System

Learnfun and Playfun: A Nintendo Automation System

Bookmarks
27:46

Summary

Tom Murphy explores the automation of Nintendo Entertainment System game playing, using the mathematically elegant and amusingly simple techniques of lexicographic ordering and time travel.

Bio

Tom Murphy VII is a professional software-person and whimsical research-hobbyist who has made over one jillion miscellaneous thingies. His specialty is creating under duress: Games, music, writing, fonts, and so on; this helps to explain both the quantity and the spottiness. He did his Ph.D. at Carnegie Mellon on the theory and practice of modal type systems for distributed programming.

About the conference

Strange Loop is a multi-disciplinary conference that aims to bring together the developers and thinkers building tomorrow's technology in fields such as emerging languages, alternative databases, concurrency, distributed systems, mobile development, and the web.

Recorded at:

Jan 23, 2014

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • Where is the demo?

    by Asa Ayers,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The demo, which I think sounds like the most interesting part is just cut off the end of the video.

  • Re: Where is the demo?

    by Tom Murphy,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The demo was in a different room and not recorded, sorry. BUT, there are several good videos online with lots of demos of it playing: tom7.org/mario/

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT