Рубрика Новости интернета
Язык программирования Scala продолжает своё развитие в рамках ветки 2.13. Очередной релиз Scala 2.13.4 включает в себя несколько интересных нововведений, среди которых: экспериментальная поддержка библиотек, написанных на Scala 3; улучшена проверка на полноту (exhaustivity) веток при сопоставлении с образцом. Теперь эта проверка работает и при использовании охранных выражений и пользовательских экстракторов; изменено поведение ExecutionContext по […]
18 ноября 2020 усилиями сотрудников компании МЦСТ был открыт долгожданный форум для разработчиков ПО под микропроцессоры Эльбрус. Форум настроен для работы в закрытом режиме: незарегистрированным пользователям нельзя читать сообщения, и поисковые системы не могут индексировать страницы форума. Для регистрации на форуме пользователь должен предоставить обязательную информацию: фамилия, имя, отчество, контактный телефон, должность, название организации, отдел […]
На GitHub опубликована Open Source утилита для генерации коротких алиасов по истории bash/zsh: https://github.com/CSRedRat/topalias Задачи, которые решает программа: Анализ файлов ~/.bash_aliases, ~/.bash_history, ~/.zsh_history с историей выполнения команд в терминале Linux в оболочке Bash/Zsh Предлагает короткие аббревиатуры (акронимы) для длинных, долго набираемых и сложно запоминаемых, но часто используемых команд (хотя об этом можно даже не догадываться) […]
Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq (петушок). Coq включает в себя язык программирования с зависимыми типами Gallina (курица), опирающийся на теорию исчисления конструкций. Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации. В новой версии была […]
15 ноября компания Purism начала рассылку телефонов Librem-5 модификации для массового производства с кодовым названием Evergreen. Рассылка поделена на этапы. Сначала будут отгружены устройства для ранних заказчиков. Отсылка устройств для поздних заказчиков планируется на 1 квартал 2021 года. Характеристики устройства изменились не сильно. Из последних изменений стоит отметить увеличенную батарею до 4500 мА*ч. Evergreen не […]
Доступен 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, так и […]
Вышла новая версия программы для управления динамической маршрутизацией в 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 устройства. Включает необходимые для […]
Компания Microsoft выпустила .NET 5 для операционных систем Windows, macOS, Linux. .NET 5 — единая open source платформа, объединяющая .NET Core, .NET Framework, Xamarin и Mono, позволяющая использовать единую кодовую базу решений для всех платформ, включая Android и iOS. существенно улучшена производительность и уменьшено потребление памяти C# 9 и F# 5 новые библиотеки вывод кода […]