I've heard large cardinals talked about, and I (think I) understand a little about how you define them, but I don't understand why you would bother.
What's the simplest proof or whatever that requires the use of large cardinals? Is there some branch of mathematics that makes particularly heavy use of them?
I will leave the explaining of large cardinals to someone more knowleadgeable and explain one place where they are useful in tidying up things: category theory. In category theory, you are constantly faced with proper classes (the category of all sets, of all groups, etc.). To make things worse, you want to form functor categories, but due to the sizes of the classes involved there is no way to do that in ZFC (and other set theories like NBG or MK soon hit a wall of their own). The Grothendieck axiom of universes is a large cardinal axiom (and I am told that it is rather mild compared to the large cardinals that set theorists routinely consider) that allows us to tidy up things for this and other constructions without paying attention to set sizes. Truth be told, this is mainly a convenience, as if one paid proper attention, and at the cost of circumlocutions (and vast tribulations) one could avoid them. But really, why go to all this trouble to settle what is a minor technicality not germane to the problem at hand, when you have this labor-saving device at hand?