Hack — родственник PHP, предназначенный для выполнения на виртуальной машине HipHop. Язык разработан в Facebook специально с расчетом на создание сложных сайтов. Назначение библиотеки Hack Codegen — упростить реализацию кода типовых задач на Hack.
Система была создана в Агентстве национальной безопасности США и выпущена в 2014 году под лицензией с открытым кодом. Сейчас разработка ее координируется фондом Apache.
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Крупнейший онлайн-сервис для хостинга ИТ-проектов и их совместной разработки, представил приложение GitHub Desktop, которая абсолютно одинаково выглядит на обеих платформах.
Переход на новую операционную систему идет гораздо быстрее, чем шел в свое время переход на Windows 8.1. Через неделю после выхода доля Windows 8.1 составляла лишь 0,6%. За неделю, прошедшую с момента ее официального выпуска Windows 10, ее доля достигла 3,2%.
Возможность бесплатного перехода на новую операционную систему сохранится у пользователей Windows 7 и 8.1 в течение ближайшего года.
Судя по анализу настроений в соцсетях с помощью системы Adobe Digital Index, новая ОС нравится пользователям. 44% высказываний о ней выражают радость или восхищение, 20% — удивление, а 6% — ожидание. Однако из-за проблем с установкой и опасений относительно безопасности в 30% высказываний звучит огорчение.
Программа установки ведет себя так, как будто в Microsoft специально решили заставить пользователей отказаться от выбора, сделанного ими раньше, утверждают в Mozilla.
developerWorks Open — облачная площадка, где разработчикам открыт доступ к последним решениям IBM, техническим знаниям и опыту корпорации. Кроме того, платформа позволяет взаимодействовать с глобальной сетью программистов для ускорения создания и реализации проектов.
Преимущество популярного инструментария с открытым кодом, считают разработчики, заключается в том, что он напрямую работает с неструктурированными данными, находящимися в базе, не приводя их в традиционный реляционный вид. Распространенные средства анализа и визуализации — например, Tableau — работают со структурированными данными.
По оценкам аналитиков Gartner, в мире в этом году будет работать примерно 4,9 млрд устройств, подключенных к Интернету. К 2020 году их число вырастет до 25 млрд. Всем таким устройствам необходимо соответствующее программное обеспечение, а многие из них будут подключаться к облачным системам.
В США число пользователей сервиса микроблогов за второй квартал не выросло, а в остальном мире увеличилось лишь на 3%. Чтобы исправить ситуацию, в Twitter готовы на серьезные изменения.
Интерфейс Windows 10 должен одинаково хорошо работать как с мышью и клавиатурой, так и с сенсорным экраном, а также с сочетаниями этих двух типов управления. В разных режимах интерфейс автоматически меняется, что может быть важным при работе с популярными сейчас гибридными устройствами.