I'm using Ubuntu 13.04 and recently, I've been experiencing some strange sound loses and it's not clear when this happens. I could be playing a game or playing some music. Suddenly, I will lose audio and nothing I do save for a reboot will restore the sound.
I've tried restarting pulseaudio. I've also tried removing .pulse* and restarting pulse. I've also tried alsa force-reload but it seems that nothing solves this issue.
Can someone help me because I'm at a loss at what is wrong. I see no error entries in /var/log/syslog.
FYI. My sound is via HDMI audio.