The amount of writing done by demonbuddy will kill your harddrive at a faster pace. I'd leave that program on hdd.
Between the Samsung, I'd either go with the 840 or 840 PRO. The 830 is on the same price range as the 840 and is an older model. The 840 is faster than the 830 and more reliable...