Hip-Hop VM is re-writing some of their OCaml to Rust

HHVM 4.0.0

Ending PHP Support, and the Future of Hack

HHVM / HACK and PHP 7 Support

The Future of HHVM

HHVM's Profile-Guided Region JIT

PHP7 now supported by Facebook's HHVM

LLVM Code Generation in HHVM

Lockdown Results and HHVM Performance

Covariance, Contravariance, and Super Type Constraints

Announcing a Specification for Hack

Coming Soon in HHVM

More on Wikipedia's HHVM migration

Announcing a specification for PHP