Where are the hex files compiled by Arduino?

Question

Where does the Arduino IDE save the binaries on Mac OS X?

Answer 1

Arduino 1.6.5 has a new command: Under the Sketch menu, select Export compiled Binary, then Show Sketch Folder. There it is.