I am currently rocking Debian 7.4 x64. Ubuntu 14.04 recently came out am I am curious if it is worth switching to. I love my Gnome 3 but Debian 7.4 is behind on the updates and features that are in Gnome 3.10 or 3.12. The current kernel prevents me from upgrading to Gnome 3.10 or 3.12. I am open to alternate DEs.