Недавно группа ученых из Принстонского университета, EleutherAI и Университета Торонто представила миру LLEMMA — языковую модель нового поколения, специализирующуюся на математике. Этот проект стал результатом работы с уникальным набором данных, Proof-Pile-2, в котором собраны научные статьи, програмные реализации математических методов и другие материалы. И самое интересное: LLEMMA превзошла все ожидания, показав впечатляющие результаты на тесте MATH.

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

>>> Подробности

Компания Ferrous Systems объявила о начале преобразования Ferrocene, проприетарного дистрибутива с Rust-компилятором для критически важных систем, в открытый проект. Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT. Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования.

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

>>> Подробности

Raspberry Pi 5 поступит в продажу в конце октября по цене 60 долларов за вариант с 4 ГБ и 80 долларов за версию с 8 ГБ. Практически каждый аспект платформы был обновлен, обеспечивая бескомпромиссный пользовательский опыт! Raspberry Pi 5 обладает новыми функциями, он более чем в два раза быстрее своего предшественника и является первым компьютером Raspberry Pi, оснащенным процессором, разработанным собственными силами в Кембридже (Великобритания). Оформить предзаказ можно уже сейчас.

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

>>> Подробности

Проект Zero Day Initiative (ZDI) раскрыл сведения о неисправленных (0-day) уязвимостях (CVE-2023-42115, CVE-2023-42116, CVE-2023-42117) в почтовом сервере Exim, позволяющих удалённо выполнить свой код на сервере с правами процесса, принимающего соединения на 25 сетевом порту. Аутентификация для проведения атаки не требуется.

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

>>> Подробности

27 сентября 1983 года назад Ричард Столлман основал проект GNU (Gnu's Not Unix), нацеленный на разработку системных компонентов для создания свободного аналога Unix, позволяющих полностью обойтись без проприетарного ПО. GNU образует содружество свободных проектов, двигающихся к общей цели и развиваемых в соответствии с единой идеологией и философией.

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

>>> Подробности

Марвин Бёрнер (Marvin Borner), автор функционального языка программирования Bruijn, в котором применяется лямбда-исчисление на основе индекса де Брёйна, позволяющего обойтись при построении программы без имён переменных, разработал новый язык программирования Birb, в котором программа формируется только из emoji-значков разных птиц. Код реализации написан на языке Haskell и распространяется под лицензией MIT.

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

>>> Подробности

Состоялся выпуск интегрированной среды разработки Apache NetBeans 19, которая предоставляет поддержку языков программирования Java SE, Java EE, PHP, C/C++, JavaScript, Rust и Groovy. Готовые сборки сформированы для Linux (snap, flatpak), Windows и macOS.

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

>>> Подробности

Опубликована стабильная версия набора базовых системных утилит GNU Coreutils 9.4, в состав которого входят такие программы, как sort, cat, chmod, chown, chroot, cp, date, dd, echo, hostname, id, ln, ls и т.д.

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

>>> Подробности

Представлено августовское сводное обновление приложений (23.08), развиваемых проектом KDE. Напомним, что сводный набор приложений KDE c апреля 2021 года публикуется под именем KDE Gear, вместо KDE Apps и KDE Applications. Всего в рамках обновления опубликованы выпуски 544 программ, библиотек и плагинов. Информацию о наличии Live-сборок с новыми выпусками приложений можно получить на данной странице.

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

>>> Подробности

В соответствии с ранее утверждённым планом проект LibreOffice перешёл на новую схему нумерации версий, привязанную к датам и отражающую год и месяц формирования релиза. Следующим после LibreOffice 7.6 значительным выпуском станет LibreOffice 24.2, номер версии которого отражает релиз в феврале 2024 года. За ним последует выпуск 24.8, намеченный на август 2024 года.

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

>>> Подробности

В кодовой базе, на основе которой формируется выпуск пользовательского окружения KDE Plasma 6, изменено поведение для активации пиктограмм на рабочем столе. Для открытия файлов и каталогов по умолчанию теперь требуется двойной щелчок мышью, а не одинарный как было раньше. Одинарный щелчок в новом KDE приводит лишь к выделению пиктограммы. По мнению разработчиков изменение упростит адаптацию новичков, перешедших в KDE из других систем. Старые пользователи в настройках могут вернуть открытие одним щелчком.

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

>>> Подробности [Opennet]

Пятого августа сего года, вышла новая версия менеджера окон, под названием Window Maker.

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

>>> Подробности

Сообщество Raspberry Pi - лучшее место, где можно завести друзей. Или даже создать. Этот двуногий робот-компаньон был создан разработчиком Дэном Николсоном и использует Raspberry Pi в качестве основного компонента. Также в наличии пара самодельных печатных плат и Arduino.

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

>>> Подробности

Проект KDE Neon, формирующий Live-сборки с актуальными версиями программ и компонентов KDE, объявил о создании экспериментальных сборок с пользовательским окружением на базе оболочки KDE Plasma 6 и приложений, портированных на KDE Frameworks 6. Ранее проектом KDE Neon уже выпускались сборки с KDE Plasma 6, но они имели статус нестабильных, а теперь переведены в категорию экспериментальных и связаны с репозиторием «experimental», для перехода на который подготовлен пакет «neon-settings-experimental». Отличие новых сборок сводится к более явному разделению приложений на базе KDE Frameworks 6, имеющих статус «pre-alpha», и более стабильного рабочего стола Plasma 6.

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

>>> Подробности [Opennet]