Hi Sem ,
Too be honest , as far as naming your Mac "DMA" , I really don`t think the F8000 cares what you call it as long as it is not PC !!
When I first got my F8000 , I called it what it was , a PC ( well we all know Mac`s are not PC`s !! LOL ) , but it seemed like a logical choice.
However in doing so no audio was sent to the F8000 via HDMI , called Samsung and of course they were no help , so after trouble shooting I decided to call it anything and "Digital Media Applicator " ( DMA = LOL ) , seems like a good name.
After doing that , I went to my Sys-Pref`s and selected the Sound pane and Samsung was listed , selected it and have had sound via HDMI ever since.
It really is a shame that Samsung support is so bad , but they are no different than any other company
, ( Apple excluded , of course !! LOL )
I also have a Pioneer "Elite" DV-79AVi , and I have tried everything and still can`t get audio from it to the F8000 , Samsung had me changing cables , calling my dvd player defective , anything but blaming themselves.
I have found that the DV-79 was one of the first 1.1 HDMI devices and that was the version that allowed DVI to HDMI , but without sound , so the F8000 thinks it is hooked up via DVI.
My old XBR2 played nice with the `79.
The F8000 in a 46" is the best there is for 2013 , and that is fairly sad
It is so far the buggiest tv I have ever owned , and it is not getting any better , the firmware updates do very little to really help , and if you are a Mac user , you will get no help , and don`t bother looking to Samsung for any help in the future.
Since I have owned the F8000 , about 3 months now , the only firmware update that I saw any improvements was the one the one that disabled a message if you had the camera down when you turned on the tv.
I am still trouble shooting , and still working out the bugs , there must be a way to tell the F8000 to smarten up !! LOL
For a smart tv it is fairly stupid !! LOL
Take care ,