RFduino, an Arduino compatible, Bluetooth 4.0 compliant microcontroller. Just heard of it today on ArsTechnica and they apparently will ship this July. Already want to build support for it in YmsCoreBluetooth.

CoreBluetooth   Software   Ubicomp