Ilyen ez a popszakma...
HHVM helyett/mellett esetleg érdemes lehet megnézned egy új kezdeményezést, már amennyiben nem idegenkedsz a JVM-től: http://ceylon-lang.org/ És igen, statikus típusos nyelv, osztom a véleményed ez ügyben teljesen. Ráadásul a JVM miatt lesz Postgres-hez is connection pool implementációd :)
A remoting pedig egy érdekes dolog, a Windózokba épített RDP eléggé jó, linuxon kliensnek Remmina-t szoktam használni, van olyan verziója, ami stabil. Ha viszont linuxra akarsz bejelentkezni, akkor az X11 forwarding sajnos nem túl jó, több okból is. Nagyon érzékeny a hálózati lag-re a rendkívül sok oda-vissza beszélgetés miatt. A másik baj ezzel az, hogy sok program, főleg a Gnome-osok igényelnek bizony dbus-service-t, gnome-session-t, stb, azaz az X régi filozófiája már nem működik. Én erre a nomachines-féle NX progikat próbáltam ki, nagy megelégedéssel. Van működőképes kliens windózra is, kb a windózos RDP-re tudnám hasonlítani inkább.