Taptic Toys iPad robot at WWDC (Update: being made by Double Robotics!)