ProHoster > Блог

Категория: Блог

Рубрика Блог

gmusicbrowser 1.1.16 и 1.1.99.1 beta

Posted on

След пет години разработка бе пуснат gmusicbrowser-1.1.16. gmusicbrowser е аудио плеър и мениджър на музикални колекции, написан на Perl с използване на тулкита gtk+. Използва бекенд gstreamer, mplayer или mpv. Осигурява гъвкаво персонализируеми шаблони за потребителски интерфейс. Поддържа редактиране на тагове, преименуване, търсене, уведомления и т.н. В новата версия: Поддръжка на интерфейса на Gtk+3. Поддръжка на формата opus. Актуализирани са източниците на обложки […]

Излезе Scala 2.13.4

Posted on

Програмният език Scala продължава своето развитие в рамките на версия 2.13. Следващото издание, Scala 2.13.4, включва няколко интересни нововъведения, сред които: експериментална поддръжка на библиотеки, написани на Scala 3; подобрена проверка на изчерпателност (exhaustivity) на клоновете при съпоставяне с образец. Сега тази проверка работи и при използване на охранителни изрази и потребителски екстрактори; променено е поведението на ExecutionContext по […]

Отворен е затворен форум на общността Елбрус

Posted on

На 18 ноември 2020 г. благодарение на усилията на служителите на компанията МЦСТ беше открит дългоочакваният форум за разработчици на софтуер за микропроцесори Елбрус. Форумът е настроен да работи в затворен режим: неподписаните потребители не могат да четат съобщения, а търсачките не могат да индексират страниците на форума. За регистрация на форума, потребителят трябва да предостави задължителна информация: фамилия, име, бащино име, контактен телефон, длъжност, наименование на организацията, отдел […]

topalias: инструмент за генериране на кратки алиаси по историята на bash/zsh

Posted on

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

Coq 8.12

Posted on

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

Стартиране на доставките на Librem 5 Evergreen

Posted on

На 15 ноември компанията Purism започна разпространението на телефоните Librem-5 в модификация за серийно производство с кодово име Evergreen. Разпространението е разделено на етапи. Първо ще бъдат доставени устройства за ранни поръчки. Доставката на устройства за по-късни поръчки е планирана за първото тримесечие на 2021 година. Характеристиките на устройството не се промениха значително. От новостите си струва да се отбележи увеличената батерия до 4500 мА*ч. Evergreen не […]

Firefox 83

Posted on

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

youtube-dl на GitHub е отключен

Posted on

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

Образите на Fedora 33 са публикувани в AWS Marketplace

Posted on

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

Frrouting 7.5

Posted on

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

Излезе новата версия на Open CASCADE Technology (OCCT) 7.5.0

Posted on

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

Излезе версията androwish „The Flux Capacitor“.

Posted on

AndroWish — нативен порт на tcl/tk с батерии за платформата Андроид, позволяващ стартиране на скриптове без промени или с минимални промени. Също така се разработват специфични за андроид команди за взаимодействие със системата и устройствата: borg — управление и взаимодействие с Android; ble — за взаимодействие с bluetooth устройства; rfcomm, usbserial — предаване на данни чрез bluetooth и usb-serial устройства. Включва необходимото за […]

« към началото 621 622 623 624 625 626 627 628 629 630 в края »
Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри 🔥 Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри | ProHoster