Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq (петушок). Coq включает в себя язык программирования с зависимыми типами Gallina (курица), опирающийся на теорию исчисления конструкций. Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации. В новой версии была […]
15 ноября компания Purism начала рассылку телефонов Librem-5 модификации для массового производства с кодовым названием Evergreen. Рассылка поделена на этапы. Сначала будут отгружены устройства для ранних заказчиков. Отсылка устройств для поздних заказчиков планируется на 1 квартал 2021 года. Характеристики устройства изменились не сильно. Из последних изменений стоит отметить увеличенную батарею до 4500 мА*ч. Evergreen не […]
В начале года компания Pine64 сообщила о поставках первой партии свободного защищенного смартфона PinePhone. В нем сочетается свободное железо и ПО, отсутствие телеметрии и полный доступ ко всей возможной документации. Недорогой смартфон изначально поддерживал несколько мобильных версий Linux, а поддержка остальных версий была заявлена на более поздний срок. Сегодня была анонсирована поддержка KDE Plasma Mobile. […]
Спустя три месяца после ликвидации компанией Mozilla команды по разработке свободного движка для веб-браузеров Servo проект переходит в Linux Foundation. Источник: linux.org.ru
Доступен Firefox 83 JS-движок SpiderMonkey получил крупное обновление под кодовым названием Warp, в результате чего улучшилась безопасность, производительность (прирост до 15%), отзывчивость страниц (до 12%), сократилось использование памяти (на 8%). Например, загрузка Google Docs ускорилась примерно на 20%. Режим «только HTTPS» признан достаточно готовым (теперь он учитывает адреса из локальной сети, где применение HTTPS зачастую […]
Заблокированный ранее репозиторий youtube-dl на GitHub разблокирован 16 ноября после того, как EFF (Electronic Frontier Foundation, Фонд электронных рубежей) привёл аргументы против заявления о нарушении DMCA [PDF]. GitHub (принадлежит Microsoft) заявила, что решила, что заявление не соответствует её политике по удалению по DMCA. Источник: linux.org.ru
Эта история началась в далеком 2012 году, когда перед Matthew Miller, тогда ещё новым лидером проекта Fedora, была поставлена простая на первый взгляд задача: предоставить клиентам AWS-облака возможность легко разворачивать сервера на базе Fedora. Техническая задача по сборке образов пригодных для использования в облачной инфраструктуре была решена достаточно быстро. Так что как qcow, так и […]
Создатель языка программирования Python Гвидо ван Россум сделал несколько шокирующее объявление: Мне стало скучно на пенсии, так что я вышел на работу в подразделение разработки (Developer Division) в Microsoft. Чем я буду заниматься? Столько вариантов, даже не знаю, что выбрать! Но в результате использовать Python станет удобнее (и не только на Windows :-). Тут полно […]
В Ивановской области начался широкомасштабный переход госорганов на отечественный софт. Как сообщил региональный Департамент развития информационного общества, исполнительные органы начали переход с ОС Windows на операционные системы семейства Astra Linux. ФСТЭК и Совет Федерации предложили полностью запретить использование зарубежных ИТ-решений на объектах критической инфраструктуры (КИИ), куда входят госорганы к январю 2021 года. Персонал госорганов обучается […]
Вышла новая версия программы для управления динамической маршрутизацией в linux/BSD Frrouting! Доступные изменения: BFD Поддержка профилей Поддержка установки минимального TTL BGP Поддержка RPKI в VRF Исправления в BGP Graceful Restart Добавлена опция для детального отображения маршрутов Добавлена опция конфигурации maximum-prefix <num> force bestpath-routes для конфигурации на саседа Добавлена команда bgp shutdown message MSG… Добавлена возможность […]
OCCT — единственное актуальное на сегодняшний день ядро геометрического моделирования с открытым исходным кодом, распространяемое под свободной лицензией. Open CASCADE Technology является важной составляющей таких проектов, как FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT и других. Версия OCCT 7.5.0 включает в себя более 400 улучшений и исправлений по сравнению с предыдущей версией 7.4.0. Версия Open CASCADE […]
AndroWish — нативный порт tcl/tk с батарейками для платформы андроид, позволяющий запускать скрипты без изменений, либо с минимальными изменениями. Также разрабатываются android-специфичные команды, для взаимодействия с системой и устройствами: borg — управление и взаимодействие с Android; ble — для взаимодействия с bluetooth-устройствами; rfcomm, usbserial — передача данных через bluetooth и usb-serial устройства. Включает необходимые для […]