Internet News Section
The PHP development team has announced the release of a new version of the language — PHP 8.0.0. Improvements and new features include: Union Types. Instead of PHPDoc annotations for combining types, you can use native union type declarations that are checked at runtime. Named arguments. Instead of PHPDoc annotations, structured metadata can now be used with native PHP syntax. Nullsafe operator. Instead of checking for […]
The long-awaited (for the news author) release of the most well-known of the system managers in the GNU/Linux world (and even a bit beyond) — systemd. In this release: udev tags now refer to the device rather than the event associated with the device, breaking backward compatibility, but only to correctly handle the backward compatibility break introduced earlier […]
Version 0.9.2 of the libmdbx library, which implements an ultra-fast compact embedded key-value engine, has been released. libmdbx is a deep rewrite of the legendary LMDB database, and according to the developers, it surpasses its predecessor in terms of reliability, feature set, and performance. Key innovations, improvements, and fixes include: Bindings available for Nim (author Jens Alfke, architect at Couchbase) and Rust (author Clément Renault, founder of MeiliSearch). A package is available for […]
Quietly and discreetly, a mysterious group of unidentified individuals is preparing to release a security-focused motherboard based on the Elbrus-8SV processor. Board specifications: Form factor: Mini-ITX Processor: MCST Elbrus-8SV 8-core @ 1.5 GHz VLIW (fully compatible with LGA3647 for heatsink mounting) Southbridge: MCST KPI-2 Memory: 8 GB or 32 GB (2x [4+1] 8 Gb/32 Gb DDR4 DRAM […]
An update to dotenv-linter has been released — a useful tool for checking and fixing errors in .env files (Docker environment variable files). Many developers strive to adhere to the twelve-factor manifesto when developing software. This approach helps avoid many problems related to deploying applications and their ongoing maintenance. One of the principles of this manifesto states that all configuration should be stored in […]
Ten months after the last release, mpv 0.33 has been released. This release allows for project builds exclusively on Python 3. The player has undergone numerous changes and fixes, including: New features: Subtitle filtering via regular expressions; HiDPI support on Windows; Support for exclusive fullscreen on d3d11; The ability to use sixel for video playback in […]
A new version of Ardour has been released — a free digital audio workstation. The main innovation is the support for VST3 plugin API across all operating systems where the program runs. Additionally, extensions from PreSonus are supported, allowing the plugin to receive information about interface scaling on high-density screens, embed a miniature version of the plugin's interface in the host, and more. Other changes include: accelerated […]
After five years of development, gmusicbrowser-1.1.16 has been released. gmusicbrowser is an audio player and music collection manager written in Perl using the gtk+ toolkit. It uses the gstreamer, mplayer, or mpv backend. It offers flexibly customizable user interface templates. It supports tag editing, renaming, searching, notifications, and more. In the new version: Support for the interface in Gtk+3. Support for opus format. Updated cover sources […]
The Scala programming language continues its development within the 2.13 branch. The latest release, Scala 2.13.4, includes several interesting new features, among which are: experimental support for libraries written in Scala 3; improved exhaustivity checking of branches when pattern matching. This check now works when using guard expressions and custom extractors; changed behavior of ExecutionContext in […]
On November 18, 2020, the long-awaited forum for software developers for Elbrus microprocessors was opened through the efforts of MCST employees. The forum is set up to operate in a closed mode: unregistered users cannot read messages, and search engines cannot index the forum pages. To register on the forum, a user must provide mandatory information: last name, first name, patronymic, contact phone number, position, organization name, department […]
An Open Source utility for generating short aliases from bash/zsh history has been published on GitHub: https://github.com/CSRedRat/topalias. The tasks that the program solves include: Analyzing files ~/bash_aliases, ~/bash_history, ~/zsh_history with the command execution history in the Linux terminal in Bash/Zsh. It offers short abbreviations (acronyms) for long, frequently typed, and hard-to-remember commands (even if you might not suspect so) […]
Version 8.12 (the latest available minor version at the time of writing this news – 8.12.1) of the Coq interactive theorem proving tool (rooster) has been released. Coq includes a programming language with dependent types Gallina (hen), based on the theory of constructions. The Coq system allows for the development of both computer-verifiable proofs of theorems and programs along with proof of compliance with specifications. The new version includes […]