Категория Блог
Излезе версия 8.12 (последната налична минорна версия към момента на написване на новината – 8.12.1) на инструмента за интерактивно доказателство на теореми Coq (петел). Coq включва език за програмиране с зависими типове Gallina (птица), основан на теорията на конструктивното смятане. Системата Coq позволява разработването както на компютърно-верифицируеми доказателства на теореми, така и на програми заедно с доказателство за съответствие на спецификацията. В новата версия е […]
На 15 ноември компанията Purism започна разпращането на телефоните Librem-5 модификация за масово производство с кодово име Evergreen. Разпращането е разделено на етапи. Първо ще бъдат изпратени устройства за ранни поръчители. Изпращането на устройствата за късни поръчители е планирано за първо тримесечие на 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, Поддръжка на RPKI в VRF, Поправки в BGP Graceful Restart, Добавена опция за детайлно показване на маршрути, Добавена опция за конфигурация maximum-prefix 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 нови библиотеки изход на код […]
«Всички имейл клиенти са зле. Този просто е по-малко зле.» обновен до версия 2.0. Толкова радикалното увеличение на числото в основната част е причинено по-скоро не от появата на нови възможности (всъщност те не са толкова много в сравнение с предишни издания), а от редица промени, нарушаващи обратната съвместимост: при използване на команда за преглед и избор на множество вложения, изход след […]
https://www.linux.org.ru/images/19295/1500px.jpg Появи се нова версия на мултиплатформения визуален редактор на графи Qt Visual Graph Editor 0.6.1. Тази версия предлага по-тясна интеграция с пакета GraphViz, а именно: графите в DOT формат могат да се зареждат директно чрез dot, което позволява по-качествено парсване; извикване на GraphViz layout engines директно от графичния интерфейс на приложението с моментален преглед на резултатите. Също така от приложението […]
На 7 ноември 2020 г. беше пуснато безплатното приложение за редакция на шрифтове FontForge, посветено на 20-годишнината от съществуването на проекта, първоначално наречен PfaEdit. Автор на проекта е George W. Williams, който до 2012 г. беше главният (и почти единственият) разработчик. Бинарните пакети на изданието FontForge 20th Anniversary Edition (също FontForge 20201107) идват със специален слайд в чест на юбилея. Най-значимото изменение […]