Internet News Section
Mistral AI has introduced a large language model called Devstral, aimed at application development (vibe coding) and optimized for formal code verification. It is expected that Devstral can be used to create AI assistants capable of not only generating code but also ensuring its correctness. Devstral is the first open model to support the Lean 4 programming language and its related […]
After seven months of development, the multimedia package FFmpeg 8.1 has been released, which includes a set of applications and a collection of libraries for operations on various multimedia formats (recording, conversion, and decoding of audio and video formats). The package is written in C and is distributed under LGPL and GPL licenses. Notable changes in FFmpeg 8.1 include the addition of a parser, encoder, and decoder, as well as a packager and unpackager for multimedia containers […]
Until now, SMIC has been regarded as the leader of the Chinese semiconductor industry, both in terms of chip production and the relevance of the technologies used. This company set up the production of 7nm chips for Huawei a couple of years ago, without access to advanced Western equipment. Rumor has it that Hua Hong Group intends to follow the same path. According to […]
Kent Overstreet has released version 1.37.0 of the Bcachefs file system. This release includes two packages: bcachefs-kernel-dkms, which contains the kernel module built using the DKMS (Dynamic Kernel Module Support) system, and bcachefs-tools, which includes the user-space utility bcachefs for managing commands such as create (mkfs), mount, recovery, and file system checking. The packages are available for Debian, Ubuntu, Fedora, openSUSE, NixOS, and […]
The AERIS-10 project has developed a fully open modular radar system that can be used as a platform for experiments with phased array antennas, pulse compression, Doppler signal processing, and target tracking. Complete schematics, PCB layouts, component lists (BOM), Gerber files for board manufacturing, 3D printing models, and descriptions of hardware blocks in Verilog/VHDL languages are distributed under the […]
The CSMWrap 3.0 release has been published, enhancing the EFI application used to boot systems that only support legacy BIOS platforms in modern UEFI-based environments. CSMWrap recreates a BIOS environment on UEFI systems (class 3) by packaging the SeaBIOS build as a Compatibility Support Module (CSM) and launching it as an external EFI application. The project code is written in C and is distributed […]
The Poco brand will soon introduce a new series of smartphones, the Poco X8, which includes the Poco X8 Pro and Poco X8 Pro Max models, positioning them as a "flagship generation with high performance." Unlike the previous series, the Poco X8 includes the Pro Max model with a larger screen, offering the highest functionality among the series devices. The new model is designed for gamers seeking […]
The ongoing memory chip shortage is forcing many to creatively approach the purchase of memory at reasonable prices. In this context, ASRock has introduced a new motherboard that supports both DDR4 and DDR5 memory, allowing users to choose the optimal option for themselves. The H610M Combo II model features an LGA 1700 socket and supports Intel 12th generation processors […]
The release of version 0.9.0 of the ZXC library and cross-platform console utility (github.com) has been announced, implementing high-performance multithreaded lossless compression optimized for game assets, firmware, and application packages. The format is designed on the principle of "write once, read many" (WORM). Unlike codecs such as LZ4, ZXC sacrifices compression speed for maximum throughput during decompression. A speed of […]
On March 13, after four months of development, the release of version 2.7.0 of the high-performance lexbor library, designed for processing HTML 5 and CSS formats, was announced. Key features of the project include complete support for WHATWG, W3C, and Unicode specifications: HTML5, CSS Syntax 3, Encoding, URL, Unicode Standard Annex #15, Unicode Technical Standard #46, Punycode; manipulation of elements […]
The release of the composite window manager River 0.4.0 was announced, which, unlike other composite managers based on the Wayland protocol, uses a modular architecture that separates the window manager into a standalone program. In River, window managers are plug-and-play, allowing users to choose according to their preferences. The project's code is written in Zig and is distributed under the GPLv3 license. River can run […]
A new version of IP_TV-Neon has been released, a lightweight tool for managing and searching IPTV content. The project is notable for using large language models to navigate through channel lists. IP_TV-Neon offers a minimalist and fast console interface, stripped of the excess functionality of standard media centers and optimized for systems with slow disks and old processors (developed on a 2014 iMac running CachyOS). […]