Back to using a PC to do this work: if you're on a Windows PC and if it has a wireless card, then WiDi is an option. There are inexpensive WiDi HDMI adapters in the wild which work well; I personally own a Microsoft one. Unfortunately the technology is based on point-to-point wireless communication, so a wired PC cannot connect to WiDi adapters even if there's a network route from the wired network to the wireless network.