Both are really solid picks. There's nothing much between them.
The TLC NAND in the 840 Evo gives you lower write-endurance (meaning that theoretically the drive can sustain fewer writes), but I think this is one of the most over-blown issues for general consumers. The Samsung does have a nice software kit with it.
If you like Samsung's software kit, go that way. Otherwise get whichever is cheaper.