I've been having a conversation with intel about trying to make my laptop WiDi work with my TV under Win7-64bit
Basically it streams HD video perfectly for 3-5mins and then stops without error messages. Intel say this is because the TV uses Miracast and that I should update to Win8.1, which apparently better supports Miracast.
Intel also say they do not support WiDi on linux.
Still, your link looks interesting.
I also note that blueman on corepure64 finds the TV and labels it as a "wireless display", so there's maybe something there to investigate as well although it's hard to imagine that bluetooth has the required bandwidth.