A PHP 7 security bug gets a fix, Project Verify gets a new name, and Netflix has open sourced a powerful new programming notebook.