Mbed: 32 bit micro with cloud based toolchain
hackaday.com
For some time I've thought that a web based toolchain might be advantageous for these simple embedded boards, so I'm glad to see someone trying it out.
hackaday.com
I also like their idea of having the board appear as a USB drive with FAT filesystem; copy the new firmware over and it will automatically reflash the microcontroller.