A laptop from Toshiba, or a Dell Mini. What's the verdict?

So I’m stuck between two sides. I don’t know whether to get a laptop from Toshiba which a family member of mine has, it’s awesome to use, but way too bulky. Is there anyone that has ever had both, and could recommend one or the other?

I don’t know if I’d rather have a small Dell Mini, or an awesome Toshiba that doesn’t fit in my hypothetical pocket. Does anyone know the specs on both? Which would you prefer?