How to fix distorted HDMI sound (Ubuntu 16.04 LTS)

Upgrading to Ubuntu 16.04 LTS resulted in distorted sound when connecting my laptop to a TV and trying to play sound through the HDMI TV connection. The fix was to change the default.pa PulseAudio config file as follows: Open the config file using sudo gedit /etc/pulse/default.pa Change the line load-module module-udev-detect to  load-module module-udev-detect tsched=0.…Read more How to fix distorted HDMI sound (Ubuntu 16.04 LTS)

Useful tools and hacks

A collection of useful tools and hacks I've come across recently (list updated): Resetting an administrative password in Ubuntu It is possible to reset an administrative password you forgot, provided you have access to the physical machine (this is obviously a security measure). To reset simply restart the machine and on the GNU GRUB screen…Read more Useful tools and hacks

Getting started with the Intel RealSense Robotics Development Kit (RDK)

I’m the proud owner of an Intel Robotics Development Kit!  The kit comes with a RealSense R200 3D camera, a UP board with 32GB eMMC, a USB 3 adapter, a 5V 4A power supply, USB3 and connectors. The RealSense consists of an infrared laser projection system, two infrared cameras and a full HD colour camera.…Read more Getting started with the Intel RealSense Robotics Development Kit (RDK)