Вчера была представлена новая версия Unicode — 7.0, которая включает множество новых символов, в том числе и принятый в конце прошлого года знак российского рубля.
Информация о выходе новой версии появилась в блоге Unicode, данный выпуск включает в себя 2834 новых знака. Туда входят новые символы различных валют, в том числе российский рубль и азербайджанский манат, 250 новых пиктограмм (emoji, на рисунке), расширенная поддержка некоторых языков Северной Америки, Азии и Африки, а также другие символы.
Однако новая версия Unicode примечательна не только добавлением новых символов. Так, одновременно с выходом Unicode 7.0 обновились и две другие спецификации — технические стандарты Unicode (Unicode Technical Standart), связанные с ним:
UTS №10, «Алгоритм сверки Unicode» — стандарт для сортировки Unicode-текста;
UTS №46, «Обработка совместимости IDNA в Unicode» — для преобразования не-ASCII-ссылок (URL) в IDN.
Более подробная информация о версии 7.0 доступна на сайте Unicode по этой ссылке.
29 июля 2014 года будет открыт исходный код операционной системы seL4, созданной Австралийским национальным центром информационных и коммуникационных систем (NICTA) и американской компанией General Dynamics C4 Systems.
seL4 microkernel представляет собой компактное микроядро третьего поколения на базе L4. Код написан на языке C и состоит из 8700 строк. По словам представителей NICTA, seL4 подходит для использования в смартфонах, военных системах, медицинском оборудовании и беспилотных устройствах и летательных аппаратах.
seL4 обладает полной «гарантией функциональной точности», и данная реализация соответствует этим спецификациям. Кроме того, двоичный код, выполняемый на оборудовании правильно транслируется в код C, а это значит, что компилятору не стоит доверять и функциональная точность проверяется для бинарного кода. По мнению NICTA, это обеспечивает отсутствие ошибок в операционной системе, целостность и конфиденциальность.