Guile 2.9.5 — это пятый beta-выпуск реализации языка программирования Scheme от GNU, готовящийся к стабильной ветке 3.x.

Guile поддерживает многие SRFI, предоставляет модульную систему; полный доступ к системным вызовам POSIX; поддержку сети, динамической линковки и вызова внешних функций; мощную обработку строк. Guile может интерпретировать код интерактивно, компилировать его в байткод виртуальной машины и подключаться библиотекой в качестве встроенного в приложение интерпретатора.

Изменения по сравнению с прошлой бета-версией:

• Объединение разных видов "записей" (Record) в один.
• Новая реализация исключений:
  • Старый throw & catch из Guile -> в более общепринятый в Scheme raise-exception & with-exception-handler.
• Оптимизация приведения целочисленных типов к типам с плавающей запятой.
• Определение высокоуровневых биндингов для вспомогательного синтаксиса: else, =>, ..., _.
• Общепринятый gettext-алиас теперь G_.
• Добавлена опция --r6rs, но поддержка неполная.
• Добавлена поддержка R7RS (!).
• Объявлен устаревшим вызов record-constructor с двумя аргументами.

gnu, guile, r7rs, scheme

http://feedproxy.google.com/~r/org/LOR/~3/KGXsDUbdh5s/15367037

Для OBS Studio, программы для записи видео и ведения трансляций, реализован плагин obs-xdg-portal, позволяющий захватывать видеопоток в окружениях Wayland, X11 и Flatpak, используя стандартизованный механизм org.Freedesktop.Portal, успешно реализованный в GNOME и KDE (идёт разработка бэкенда для Sway и других wlroots-based композиторов). Захват видеопотока осуществляется с использованием GStreamer и PipeWire. Плагин пока не включён в официальный релиз OBS Studio, но уже поставляется в составе Flatpak-пакета с ним. Однако сам OBS Studio пока не работает нативно под Wayland (патчи в разработке), однако плагин успешно работает и в XWayland.

obs-studio, pipewire, wayland

http://feedproxy.google.com/~r/org/LOR/~3/8Ygn1IsBNB8/15366933

Тихо и незаметно появились современные ноутбуки с прошивкой Coreboot и отключённым Intel ME от компании System76. Прошивка открыта частично и содержит ряд бинарных компонент. В настоящий момент доступны две модели.

( читать дальше... )

bios, coreboot, system76, безопасность, ноутбуки

http://feedproxy.google.com/~r/org/LOR/~3/efo0Nfub0s0/15364784

Сегодня на конференции SymfonyCon в Амстердаме был представлен пятый релиз свободного php-фреймворка Symfony, использующего модель MVC. В списке использующих Symfony проектов есть достаточно много популярных веб-приложений, таких как Drupal (CMS), Joomla (CMS), Facebook (SDK), Google API (SDK), phpBB, phpMyAdmin и другие. Среди 269 нововведений можно выделить 2 новых компонента:

• String — компонент для объект ориентированной работы со строками с абстракцией данных #33553
  
• Notifier — компонент для отправки уведомлений по различным каналам (email, SMS, ...) #33687

framework, mvc, php, symfony, web

http://feedproxy.google.com/~r/org/LOR/~3/DnWsJ1xxBfo/15362754

Состоялся релиз Coreboot 4.11 - свободной замены проприетарным прошивкам UEFI/BIOS, используемой для начальной инициализации железа перед передачей управления дополнению "payload", например SeaBIOS или GRUB2. Coreboot очень минималистичен, к тому же он предоставляет широкие возможности встраивания различных дополнений вроде утилиты вывода подробной системной информации coreinfo и тетриса tint, а также дискетных ОС: Kolibri, FreeDOS, MichalOS, Memtest, Snowdrop, FloppyBird и др.

В новой версии:

• Почищен и унифицирован код многих платформ

• Значительно улучшена поддержка чипсетов Mediatek 8173 и AMD Picasso 17h (Ryzen), а также RISC-V

• Расширена поддержка vboot (свободного аналога проприетарному SecureBoot) — изначально он был только на хромбуках, но теперь появился и на другом железе

• Добавлены 25 новых плат:

  AMD Padmelon, ASUS P5QL-EM, Emulation QEMU-AARCH64, Google Akemi / Arcada CML / Damu / Dood / Drallion / Dratini / Jacuzzi / Juniper / Kakadu / Kappa / Puff / Sarien CML / Treeya / Trogdor, Lenovo R60, Lenovo T410, Lenovo Thinkpad T440P, Lenovo X301, Razer Blade-Stealth KBL, Siemens MC-APL6, Supermicro X11SSH-TF / X11SSM-F.

• Удалена поддержка единственной поддерживаемой платы MIPS (Google Urara) и архитектуры MIPS вообще, а также платы AMD Torpedo и кода AMD AGESA 12h

• Улучшена нативная инициализация Intel-овских видеокарт в библиотеке libgfxinit

• Исправлен спящий режим на некоторых AMD-шных платах, включая Lenovo G505S

В ближайшее после релиза время планируется удаление многих плат, не поддерживающих "relocatable ramstage", "C bootblock" и платформ использующих "Cache as RAM" без стадии postcar. Это ставит под, угрозу множество важных плат на базе AMD, в том числе сервер ASUS KGPE-D16 — самый мощный поддерживаемый coreboot-ом сервер, к тому же способный работать без блобов (libreboot). О серьёзности намерений свидетельствует ряд свежих изменений на review.coreboot.org, в особенности https://review.coreboot.org/c/coreboot/+/36961

amd, bios, coreboot, libreboot, безопасность

http://feedproxy.google.com/~r/org/LOR/~3/KHPst5A1SVg/15361450

OpenVSP — свободная параметрическая САПР для проектирования и анализа геометрии летательных аппаратов (CFD, FEM). Программа разрабатывается сотрудниками NASA Langley Research Center и включена в список ПО NASA Software Catalog.

17-19 сентября 2019 состоялся «OpenVSP Workshop 2019» на котором были представлены наработки и планы разработки ветки 3.19.x. 9 ноября состоялся релиз OpenVSP 3.19.0, а спустя чуть более недели был выпущен корректирующий релиз 3.19.1.

Ветка разработки OpenVSP 3.19.x включает три наиболее ожидаемых новшества: VSPAERO 6.0.0, Generic XSec Editor и автогенерируемую документацию к API с помощью Doxygen. Кроме того была проведена масштабная работа по улучшению и исправлению ошибок. Значительная часть данной работы была проведена командой ESAero, проспонсирована за счёт U.S. Air Force Research Laboratory.

( читать дальше... )

3d, aerospace, cad, openvsp

http://feedproxy.google.com/~r/org/LOR/~3/xvMGW9oN4UY/15347382

Racket — язык, вдохновленный Scheme, а также экосистема для программирования других языков — начал переход на двойное лицензирование Apache 2.0 или MIT в 2017 году и теперь, к версии 7.5, практически все его компоненты завершают этот процесс.

Авторы отмечают две основные причины этого:

1. Непонятно, как трактовать положения LGPL о динамической линковке к Racket, где макросы "копируют" код из библиотек в код приложения, а приложения зачастую комплектуются рантаймом и библиотеками Racket.
2. Некоторые организации принципиально не хотят использовать программное обеспечение, лицензированное под любой вариацией GPL.

Всего несколько небольших компонентов осталось под LGPL из-за того, что их авторы неизвестны либо не ответили на запрос о перелицензировании. Двое разработчиков ответили отказом на подобный запрос, их код и документация уже были удалены или переписаны.

gpl, lisp, racket

http://feedproxy.google.com/~r/org/LOR/~3/CWjznZXqsZ8/15358516

QuiteRSS — программа для чтения новостных лент в форматах RSS и Atom. Код проекта доступен под лицензией GPLv3.

Из особенностей программы: встроенный браузер на движке WebKit, система фильтров, поддержка меток и категорий, блокировщик рекламы, менеджер загрузки файлов и многое другое.

Релиз QuiteRSS 0.19 приурочен к восьмилетию проекта.

( читать дальше... )

quiterss, rss

http://feedproxy.google.com/~r/org/LOR/~3/OnQVuSpi1Xo/15358311

Проект Debian сообщает о выходе второго апдейта стабильного выпуска Debian 10 (codename buster). Этот релиз большей частью содержит исправления касающиеся безопасности и ряда других серьезных проблем.

debian 10

http://feedproxy.google.com/~r/org/LOR/~3/vFhhHA8xmak/15354859

Компания Tencent выпустила новую версию F-Stack 1.13, фреймворка на базе DPDK и TCP/IP стека FreeBSD. Основной платформой для фреймворка является Linux. Код распространяется под лицензией BSD.

Фреймворк позволяет приложениям отказаться от стека операционной системы и вместо этого использовать стек, реализованный в пространстве пользователя и работающий напрямую с сетевым оборудованием.

( читать дальше... )

freebsd, f-stack, linux, nginx, redis

http://feedproxy.google.com/~r/org/LOR/~3/UR4iVixiQSw/15357320

Соджи Ямакава (Soji Yamakawa), профессор Университета Карнеги-Меллона и разработчик бесплатного авиасимулятора YSFlight, опубликовал исходники собственного приёмника-передатчика инфракрасных сигналов на базе Arduino, который позволяет записать IrDA-сигнал, а потом воспроизвести его.

Для работы с данным девайсом также разработано свободное кроссплатформенное ПО, которое может быть собрано как в варианте с GUI, так и в виде CLI-программы. Бинарные пакеты данного ПО подготовлены для ОС Windows.

ПРИМЕЧАНИЕ: Если кто сможет опакетить данное ПО с GUI для Debian 9.x - дайте ссылку на DEB в комментариях!

• Исходный код (GitHub)

arduino, irda, receiver, transmitter

http://feedproxy.google.com/~r/org/LOR/~3/WfF-w2S400Y/15355382

Компания Oracle анонсировала новый выпуск своего свободного дистрибутива Oracle Linux 8.1, созданного на пакетной базе Red Hat Enterprise Linux 8.1.

В новой версии:

• добавлена поддержка Memory Mode для Intel Optane DC Persistent Memory
• добавлен пакет udica
• virt-manager помечен как deprecated
• удалена поддержка Btrfs из RHCK
• удалена поддержка OCFS2 из RHCK

Набор утилит SELinux обновлен до версии 2.9, набор утилит SETools обновлен до версии 4.2.2, пакеты OpenSCAP обновлены до версии 1.3.1, OpenSSH обновлен до версии 8.0p1.

Дистрибутив доступен без ограничений после бесплатной регистрации. Доступ к yum-репозиторию неограниченный.

oracle, oracle linux, red hat

http://feedproxy.google.com/~r/org/LOR/~3/JL_RZRKMjGA/15353786

Разработчик Cppcheck (Daniel Marjam"aki) собирается добавить возможность верификации ПО на C и C++ в свой статический анализатор.

Верификация ПО в Cppcheck

В режиме «верификации» Cppcheck будет выдавать предупреждение, если не удастся подтвердить, что код безопасный, однако это может приводить к шуму (множественным предупреждениям).

Планы реализации

Режим верификации будет реализован последовательно. На первом этапе работа будет сконцентрирована над проверкой «деление на ноль». Это относительно простая проверка. Каждая функция будет проверяться отдельно. При этом предполагается, что все входные данные могут иметь произвольное значение. Проверки других типов неопределённого поведения будут добавлены позже. Также планируется улучшить синтаксический анализ C и C++.

Ускорение разработки

Цель сбора средств на Kickstarter — ускорение разработки режима верификации. Планируется добавить данную возможность в любом случае, но работа может занять больше времени, если средства не будут собраны. Если же средства будут собраны то Даниель сможет взять отпуск на основной работе, чтобы полностью посвятить своё рабочее время проекту cppcheck.

Цели проекта

• Устранение ложноотрицательных срабатываний тестов деления на ноль в Juliet и ITC.

• Исправление ложноположительного срабатывания (см. BUG#9402).

• Улучшение анализатора C++.

cppcheck, статический анализ

http://feedproxy.google.com/~r/org/LOR/~3/iw1v2gaKoSE/15351443

Janayugom — ежедневная газета издающаяся в штате Керала (Индия) на малаяламском языке и имеющая порядка 100,000 подписчиков.

Вплоть до недавнего времени они использовали проприетарный Adobe PageMaker, но возраст ПО (последний релиз был аж в 2001 году), а также отсутствие поддержки юникода подтолкнули руководство к поиску альтернатив.

( Продолжение )

newspaper, open source, scribus, индия

http://feedproxy.google.com/~r/org/LOR/~3/zGwk3L90JWc/15350341

Linux on DeX — это разработка от Samsung и Canonical, позволяющая запускать Ubuntu на Galaxy Note 9 и Tab S4 при подключении к Samsung DeX. Linux on DeX до сих пор находился в статусе beta.

Инициативные пользователи уже создали петицию с просьбой открыть исходный код: петиция.

android, canonical, samsung

http://feedproxy.google.com/~r/org/LOR/~3/nDzQQ9W0lHU/15349142

http://feedproxy.google.com/~r/org/LOR/~3/4Q9vt7Wcl5A/15348412

DINS IT EVENING, открытая площадка, объединяющая технических специалистов по направлениям Java, DevOps, QA и JS, проведет 21 ноября в 19:30 по адресу Старо-Петергофский проспект, 19 (Санкт-Петербург), встречу для Java-разработчиков. На встрече будут представлены два доклада:

"AWS Lambda in Action" (Александр Груздев, DINS)

( читать дальше... )

«Akka как ядро высоконагруженных систем» (Игорь Шалару, Яндекс)

( читать дальше... )

akka, aws lambda, java, санкт-петербург

http://feedproxy.google.com/~r/org/LOR/~3/5tYMUzOB_Co/15346272

Rust — мультипарадигмальный компилируемый язык программирования общего назначения, спонсируемый Mozilla, сочетающий парадигмы функционального и процедурного программирования с объектной системой, основанной на типажах, и с управлением памятью через понятие «владения».

Что нового в версии 1.39:

• стабилизирован новый синтаксис асинхронного программирования, основанный на функции "async", блоке async move { … } и операторе ".await";
• разрешено указание атрибутов при определении параметров функций, замыканий и указателей на функции. Поддерживаются атрибуты условной компиляции (cfg, cfg_attr), управляющие диагностикой через lint и вспомогательные атрибуты вызова макросов;
• стабилизирован "#feature(bind_by_move_pattern_guards)", который позволяет использовать переменные с типом привязки "by-move" в шаблонах;
• предупреждения о проблемах при проверке заимствования переменных c использованием NLL переведены в разряд фатальных ошибок;
• в пакетный менеджер cargo добавлена возможность использования расширения ".toml" для файлов конфигурации.

С полным списком изменений можно ознакомиться на сайте разработчика.

rust, программирование

http://feedproxy.google.com/~r/org/LOR/~3/rthe-N7DX60/15340766

Сегодня в списке рассылки (одном из официально заявленных каналов) были опубликованы результаты голосования, которое началось 10 октября и закончилось 7 ноября 2019 года.

В ответ на вопрос "Меняем ли мы название проекта?" голоса распределились следующим образом:

• За — 42
• Против — 225

Общее количество голосующих составляло 491 человека. При этом, стоит отметить, что варианта "Воздержался" среди доступных не было, поэтому те, кто хотел проголосовать именно так, попали в категорию "не голосовавших".

Результаты голосования открывают новые вопросы для обсуждения и решения, а именно: как и в какой форме будет достигнуто соглашение с SUSE LLC., какие гарантии даст и какие ограничения наложит это соглашение на проект.

opensuse

http://feedproxy.google.com/~r/org/LOR/~3/DapWgkRMd0g/15339662

Дистрибутив основан на кодовой базе проекта Illumos, который в свою очередь продолжает развитие OpenSolaris в области ядра, сетевого стека, файловых систем, драйверов и прочих компонент операционной системы.

Дистрибутив может применяться как ОС общего назначения, так и для построения высокомасштабируемых систем хранения.

Система имеет полноценную поддержку гипервизоров KVM и Bhyve, виртуального сетевого стека Crossbow, файловой системы ZFS.

Из новых возможностей можно отметить значительное улучшение поддержки SMB/CIFS в ядре (реализованы многие расширения smb3), в ZFS добавлена поддержка хранения данных и метаданных зашифрованном виде, в контейнеры LX zones добавлена поддержка новых дистрибутивов Linux, добавлена поддержка подключаемых алгоритмов контроля перегрузки TCP, проведена оптимизация производительности гипервизора Bhyve, добавлена поддержка эмуляции устройств NVME.

opensolaris, solaris

http://feedproxy.google.com/~r/org/LOR/~3/xbksOQFgvIg/15338087