Join the unofficial IRC channel below, or you can visit #mbed on irc.freenode.net