PINNOCHION MENU

"Learning from Delayed Rewards" (Chris Watkins)

What is a visualisation? (Chris Watkins)

"Extended Computation Tree Logic [Extended Abstract] (M. Latte, R. Alexsson, M. Hague, S. Kreutzer and M.Lange) M. Hague is Matthew Hague.

"Static Checkers for Tree Structures and Heaps" (Matthew Hague)

Proposal for Leverhulme Grant on "Babbage's Language of Thought" (Adrian Johnstone)

Principled software micro-engineering (Adrian Johnstone and Elizabeth Scott)

Learning to program course notes chapter 1 (Adrian Johnstone)

Multiparty Compatibility in Communicatinf Automata: Characterisation and Synthesis of Global Session Types (Pierre-Malo Denielou and N Yoshida)

When Computers Were Human (David Alan Grier)

Ghost Hunters: The Victorians and the Hunt for Proof of Life After Death (Deborah Blum)

Growing Up With Lucy: How to Build an Android in Twenty Easy Steps (Steve Grand)

Mind-Storms: Children, Computers, and Powerful Ideas (Seymour Papert)

E=mc2: A Biography of the World's Most Famous Equation (David Bodanis)

A Man About A Dog: Euphamisms & Other Examples of Verbal Squeamishness (Nigel Rees)

My Sisters Telegraphic: Women in the Telegraph Office 1846-1950 (Thomas C. Jepsen)

Love At Goon Park (Deborah Blum)

Negotiate This! By Caring, But Not T-H-A-T Much (Herb Cohen)

Reframing: Neuro-Linguistic Programming and the Transformation of Meaning (Richard Bandler and John Grinder)

Frogs Into Princes: Neuro Linguistic Programming (Richard Bandler, John Grinder, Steve Andreas)

Kelvedon Hatch Secret Nuclear Bunker

Porthcurno Telegraph Museum

Science Museum Computing Gallery

"Chance" (Foster Spragge)

APG's approach to context and the open brief

Flat Time Ho. and the work of John Latham on 'least event'

Jason Rohrer

Southend Linux User Group

Stepback Morris

Pandorabots

The Personality Forge

Codecademy

TV Tropes

Bits And Bytes

"Juice it or Lose it"