TI Alternative to Arduino

TI is selling these ARM boards which are way more powerful than Arduino and cheaper too
Just saving the link for now.  A friend is ramping up on programming them and likes them.
The one that was recommended was the ARM core based Stellaris

http://www.ti.com/ww/en/launchpad/overview_head.html