Where are the hex files compiled by Arduino?

Question

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

Answer 1

It is very beautifully explained in the following blog Where to find Arduino Hex files or Output Binaries I hope this helps :)