Where are the hex files compiled by Arduino?

Question

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

Answer 1

I made a simple tutorial here with images