abstract: The Kochen-Specker theorem, first proved in 1967, rules out the existence of noncontextual hidden variables theories that have been proposed as deterministic alternatives to quantum mechanics. This talk gives a survey of several four-dimensional configurations of rays that have recently been used to give new proofs of the theorem. Some applications of these proofs are also explored.