dont buy into the naysayers of ocz.
it stems back to the vertex 3 early firmware. ocz has released more firmware updates than anyone and their vertex 3 line works flawlessly now. they stand behind their hardware.
ocz was early to the incredibly fast ssd game, and their early endevours were plagued with bluescreens. people were mad because ocz was blaming peoples hardware and not taking responsibility for the problem. they eventually did and fixed the problem. there has been no such thing since. ocz has been rock solid ever since, they got their game together.
the vertex 4 works flawlessly, always has. the vertex 3 has worked solidly for a long time.
with that said, i suggest the samsung 840 over the vertex 3. it's a toss up between the 840 and a vertex 4 though.