Update: now documenting the better way, as described in issue 14513. Update 2: I think this way is even better (works in Ubuntu 16.04, Docker 1.12.2, … ...more
I installed Docker on Ubuntu 15.04 using: wget -qO- https://get.docker.com/ | sh as described at Install Docker on Ubuntu. I added myself to the docke… ...more
I found that Audacity would crash whenever the Playback Device in the Devices section of Preferences was set to "pulse" or "default". This can be fixe… ...more
My friend and I have launched a new podcast in which we discuss movies: The Good Robot Andys. Enjoy. ...more
Further to Detecting whether an Android app is stopping (or starting), I implemented code to decide when you are leaving or entering my game Rabbit Es… ...more