do you do a lot of work with encryption, compression or image/video files? if you do the intel wouldn't be the best option because it uses a sandforce controller that relies on compression to hit max speeds. the 840 uses TLC nand which is slower then the MLC nand in the intel but it doesn't treat incompressible data any differently. you probably wouldn't be able to tell the difference between the 2.
The 840 should actually be fine for most people. It uses TLC nand which is a lot cheaper and is why the 840 is a lot cheaper to begin with (as opposed to the 830 when it first came out, which uses MLC). TLC does not last as long as MLC or single layer, but should still last more than long enough (like 7 years?) before you upgrade. As for the Intel one, it shouldn't have any driver issues either, and is always a reliable brand as well as Samsung (I have the 830, not one issue).