ProHoster > Блог

Рубрика: Блог

Рубрика Блог

topalias: утилита для генерации коротких алиасов по истории bash/zsh

Опубликовано

На GitHub опубликована Open Source утилита для генерации коротких алиасов по истории bash/zsh: https://github.com/CSRedRat/topalias Задачи, которые решает программа: Анализ файлов ~/.bash_aliases, ~/.bash_history, ~/.zsh_history с историей выполнения команд в терминале Linux в оболочке Bash/Zsh Предлагает короткие аббревиатуры (акронимы) для длинных, долго набираемых и сложно запоминаемых, но часто используемых команд (хотя об этом можно даже не догадываться) […]

Coq 8.12

Опубликовано

Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq (петушок). Coq включает в себя язык программирования с зависимыми типами Gallina (курица), опирающийся на теорию исчисления конструкций. Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации. В новой версии была […]

Старт отгрузок Librem 5 Evergreen

Опубликовано

15 ноября компания Purism начала рассылку телефонов Librem-5 модификации для массового производства с кодовым названием Evergreen. Рассылка поделена на этапы. Сначала будут отгружены устройства для ранних заказчиков. Отсылка устройств для поздних заказчиков планируется на 1 квартал 2021 года. Характеристики устройства изменились не сильно. Из последних изменений стоит отметить увеличенную батарею до 4500 мА*ч. Evergreen не […]

Вышла версия PinePhone на KDE Plasma Mobile

Опубликовано

В начале года компания Pine64 сообщила о поставках первой партии свободного защищенного смартфона PinePhone. В нем сочетается свободное железо и ПО, отсутствие телеметрии и полный доступ ко всей возможной документации. Недорогой смартфон изначально поддерживал несколько мобильных версий Linux, а поддержка остальных версий была заявлена на более поздний срок. Сегодня была анонсирована поддержка KDE Plasma Mobile. […]

Проект Servo переходит в Linux Foundation

Опубликовано

Спустя три месяца после ликвидации компанией Mozilla команды по разработке свободного движка для веб-браузеров Servo проект переходит в Linux Foundation. Источник: linux.org.ru

Firefox 83

Опубликовано

Доступен Firefox 83 JS-движок SpiderMonkey получил крупное обновление под кодовым названием Warp, в результате чего улучшилась безопасность, производительность (прирост до 15%), отзывчивость страниц (до 12%), сократилось использование памяти (на 8%). Например, загрузка Google Docs ускорилась примерно на 20%. Режим «только HTTPS» признан достаточно готовым (теперь он учитывает адреса из локальной сети, где применение HTTPS зачастую […]

youtube-dl на GitHub разблокирован

Опубликовано

Заблокированный ранее репозиторий youtube-dl на GitHub разблокирован 16 ноября после того, как EFF (Electronic Frontier Foundation, Фонд электронных рубежей) привёл аргументы против заявления о нарушении DMCA [PDF]. GitHub (принадлежит Microsoft) заявила, что решила, что заявление не соответствует её политике по удалению по DMCA. Источник: linux.org.ru

Образы Fedora 33 опубликованы в AWS Marketplace

Опубликовано

Эта история началась в далеком 2012 году, когда перед Matthew Miller, тогда ещё новым лидером проекта Fedora, была поставлена простая на первый взгляд задача: предоставить клиентам AWS-облака возможность легко разворачивать сервера на базе Fedora. Техническая задача по сборке образов пригодных для использования в облачной инфраструктуре была решена достаточно быстро. Так что как qcow, так и […]

Гвидо ван Россум вышел на работу в Microsoft

Опубликовано

Создатель языка программирования Python Гвидо ван Россум сделал несколько шокирующее объявление: Мне стало скучно на пенсии, так что я вышел на работу в подразделение разработки (Developer Division) в Microsoft. Чем я буду заниматься? Столько вариантов, даже не знаю, что выбрать! Но в результате использовать Python станет удобнее (и не только на Windows :-). Тут полно […]

Госорганы России начали переход на ASTRA Linux ™

Опубликовано

В Ивановской области начался широкомасштабный переход госорганов на отечественный софт. Как сообщил региональный Департамент развития информационного общества, исполнительные органы начали переход с ОС Windows на операционные системы семейства Astra Linux. ФСТЭК и Совет Федерации предложили полностью запретить использование зарубежных ИТ-решений на объектах критической инфраструктуры (КИИ), куда входят госорганы к январю 2021 года. Персонал госорганов обучается […]

Frrouting 7.5

Опубликовано

Вышла новая версия программы для управления динамической маршрутизацией в linux/BSD Frrouting! Доступные изменения: BFD Поддержка профилей Поддержка установки минимального TTL BGP Поддержка RPKI в VRF Исправления в BGP Graceful Restart Добавлена опция для детального отображения маршрутов Добавлена опция конфигурации maximum-prefix <num> force bestpath-routes для конфигурации на саседа Добавлена команда bgp shutdown message MSG… Добавлена возможность […]

Вышла новая версия Open CASCADE Technology (OCCT) 7.5.0

Опубликовано

OCCT — единственное актуальное на сегодняшний день ядро геометрического моделирования с открытым исходным кодом, распространяемое под свободной лицензией. Open CASCADE Technology является важной составляющей таких проектов, как FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT и других. Версия OCCT 7.5.0 включает в себя более 400 улучшений и исправлений по сравнению с предыдущей версией 7.4.0. Версия Open CASCADE […]

« к началу 933 934 935 936 937 938 939 940 941 942 в конец »
Купить надежный хостинг для сайтов с защитой от DDoS, VPS VDS серверы 🔥 Купить надежный хостинг для сайтов с защитой от DDoS, VPS VDS серверы | ProHoster