I just had finished an article about facebooks new programming language. I am compiling it right now (thats there is a aur package available for hhvm).
In general, it looks like hack is friendship php with benefits. Can be run as script language, can be used as dynamically typed. Yes you are right, both times a "can be", indicating "can run as compiled code" and "can be statically typed" (or how they called it gradual typing.
So what hack is hack?
Hack is a programming language for HHVM that interoperates seamlessly with PHP. Hack reconciles the fast development cycle of PHP with the discipline provided by static typing, while adding many features commonly found in other modern programming languages.
Hack provides instantaneous type checking via a local server that watches the filesystem. It typically runs in less than 200 milliseconds, making it easy to integrate into your development workflow without introducing a noticeable delay.
Good articles are starting to spreading around, first i found was on sitepoint.com.
I was searching for a support announcement of hack for phpstorm and yes, there is a feature request for hack support as well as a feature request for hvvm debugger out there. Crossing fingers to get it in asap :-D.
Das ist eine der beiden großen Neuerungen, die Docker 0.9 mitbringt, dessen Entwicklung sich mit Vorausschau auf eine baldige stabile Version 1.0 weiterhin auf die mit Version 0.8 ausgegebene Devise »Qualität vor neuer Funktionalität« konzentriert. Daneben wurden wieder viele Fehler bereinigt.
[...]
Die zweite Neuerung in Docker 0.9 ist das neue Execution Driver API, welches die Anpassung der Ausführungsumgebung erlauben soll, die den jeweiligen Container umgibt. Damit will Docker die Vorteile der diversen Isolationswerkzeuge wie etwa OpenVZ, systemd-nspawn, libvirt-lxc, libvirt-sandbox, qemu/kvm, BSD Jails, Solaris Zones sowie der altbekannten chroot nutzen. Weitere Treiber sollen von dritter Seite bereits in Entwicklung sein.
[...]
PHP-Tricorder is a CLI utility that scans structure files created using phpDocumentor and offers suggestions on potential problems with your code along with testing strategy information.
Executing /path/to/php tricorder.php will give you some usage information.
Please read the file LICENSE included with this code for licensing details.
I found a blog entry that deals with the fact to surf the web with old browsers.
Since HTML (especially the fifth version ;-)) is a growing and changing standard (and nearly every one is implementing the standard a bit differently), it is nearly impossible to get some working pages with old browsers.
The guy from the blog managed to solve this problem by wrapping the webkit2png tool by an http proxy. At the end, the old browser "just" get an png resource with an image map (for the links). Nevertheless, its cool!