Categorie: Internetnieuws

Mistral heeft Leanstral uitgebracht, een AI-model voor vibe-codering met formele verificatie

Mistral AI heeft een groot taalmodel, Devstral, gepresenteerd, dat gericht is op gebruik voor applicatieontwikkeling (vibe-codering) en geoptimaliseerd is voor formele verificatie van code. Verwacht wordt dat Devstral kan worden gebruikt voor het creëren van AI-assistenten die niet alleen code genereren, maar ook garantie bieden op de afwezigheid van fouten in de code. Devstral is het eerste open-model dat de programmeertaal Lean 4 ondersteunt en gerelateerde […]

FFmpeg 8.1 is beschikbaar met ondersteuning voor JPEG XS, nieuwe mogelijkheden voor 3D-geluid en versnelling via Vulkan

Na zeven maanden ontwikkeling is het multimedia-pakket FFmpeg 8.1 gepubliceerd, dat een set applicaties en een verzameling bibliotheken bevat voor het werken met verschillende multimediaformaten (registratie, conversie en decodering van audio- en videoformaten). Het pakket is geschreven in de programmeertaal C en wordt verspreid onder de LGPL- en GPL-licenties. Onder de wijzigingen in FFmpeg 8.1: Er zijn een parser, encoder, decoder en ook een verpakkings- en uitpakker voor multimedia-containers toegevoegd […]

In China komt er een tweede contractfabrikant van 7-nm chips

Tot nu toe werd SMIC beschouwd als de leider van de Chinese halfgeleiderindustrie, zowel qua chipproductie als qua actualiteit van de gebruikte technologieën. Voor de behoeften van Huawei heeft dit bedrijf enkele jaren geleden de productie van 7-nm chips opgezet, zonder toegang te hebben tot geavanceerde westerse apparatuur. Het lijkt erop dat Hua Hong Group dit pad gaat volgen, als we de geruchten mogen geloven. Volgens een […]

Uitgave van bestandssysteem Bcachefs 1.37.0

Kent Overstreet heeft de release van het bestandssysteem Bcachefs 1.37.0 gepubliceerd. De release omvat twee pakketten: bcachefs-kernel-dkms met een kernelmodule die wordt samengesteld met behulp van het DKMS (Dynamic Kernel Module Support)-systeem, en bcachefs-tools met de gebruiker ruimte utility bcachefs, die commando's implementeert voor het aanmaken (mkfs), monteren, herstellen en controleren van het bestandssysteem. De pakketten zijn samengesteld voor Debian, Ubuntu, Fedora, openSUSE, NixOS en […]

Open radar AERIS-10, in staat om objecten op een afstand van maximaal 20 km te volgen

Het AERIS-10-project heeft een volledig open modulaire radarsysteem ontwikkeld, dat kan worden gebruikt als platform voor experimenten met gefaseerde antennearrays, pulse compressie, Doppler-signaalverwerking en doeltracking. Volledige schema's, bedrading van printplaten, onderdelenlijsten (BOM), Gerber-bestanden voor printplaatfabricage, modellen voor 3D-printen en beschrijvingen van hardwarecomponenten in Verilog/VHDL worden verspreid onder de […]

Uitgave van CSMWrap 3.0, een laag voor opstarten in BIOS-modus op systemen met UEFI

De release van het CSMWrap-project 3.0 is gepubliceerd, dat een EFI-applicatie ontwikkelt voor het opstarten van systemen die alleen verouderde platforms met BIOS ondersteunen, in moderne omgevingen gebaseerd op UEFI. CSMWrap creëert een BIOS-omgeving op UEFI-systemen (klasse 3) door de SeaBIOS-build in de vorm van een CSM (Compatibility Support Module) te verpakken en deze als een externe EFI-applicatie uit te voeren. De code van het project is geschreven in C en wordt verspreid […]

Poco zal binnenkort krachtige smartphones introduceren: de Poco X8 Pro en de Poco X8 Pro Max.

Het merk Poco zal binnenkort een nieuwe serie smartphones introduceren, de Poco X8, die modellen zoals de Poco X8 Pro en de Poco X8 Pro Max omvat. Deze worden gepositioneerd als "de vlaggenschipgeneratie met hoge prestaties". In tegenstelling tot de vorige serie omvat de Poco X8 de Pro Max-modellen met een groter scherm, dat de meeste functionaliteit binnen de serie biedt. De nieuwe modellen zijn ontworpen voor gamers die […]

ASRock heeft een LGA 1700-moederbord uitgebracht met drie verschillende DIMM-slots.

De aanhoudende tekorten aan geheugenchips dwingen velen om creatief om te gaan met het kopen van geheugen tegen redelijke prijzen. In dit licht heeft ASRock een nieuw moederbord gepresenteerd dat zowel DDR4- als DDR5-geheugen ondersteunt, zodat gebruikers de optimale keuze kunnen maken. Het model H610M Combo II is een moederbord met een LGA 1700-socket, dat ondersteuning biedt voor Intel 12e generatie processors […]

ZXC 0.9.0

De release van bibliotheek en cross-platform console-tool ZXC versie 0.9.0 (github.com) heeft plaatsgevonden, die een hoogwaardige, multi-threaded asymmetrische compressie zonder verlies biedt en geoptimaliseerd is voor game-resources, firmware en applicatiepakketten. Het formaat is ontwikkeld volgens het principe van "een keer schrijven, meerdere keren lezen" (WORM). In tegenstelling tot codecs zoals LZ4, offer ZXC de compressiesnelheid op voor maximale doorvoersnelheid bij decompressie. Er wordt een snelheid verklaard […]

lexbor 2.7.0

Op 13 maart, na vier maanden ontwikkeling, is versie 2.7.0 van de high-performance bibliotheek lexbor uitgebracht, bedoeld voor de verwerking van HTML 5 en CSS-indelingen. De belangrijkste kenmerken van het project zijn: volledige ondersteuning van de specificaties WHATWG, W3C en Unicode: HTML5, CSS Syntax 3, Encoding, URL​, Unicode Standard Annex #15, Unicode Technical Standard #46, Punycode, Unicode Standard Annex #15, Unicode Technical Standard #46; manipulatie van elementen […]

Uitgave van River 0.4.0 met scheiding van compositormanagers en venstermanagers

De release van de compositormanager River 0.4.0 is gepresenteerd, die in tegenstelling tot andere compositormanagers op basis van het Wayland-protocol een modulaire architectuur gebruikt met een aparte toepassing voor de venstermanager. In River zijn venstermanagers pluggable en kan de gebruiker ze naar wens kiezen. De projectcode is geschreven in Zig en wordt verspreid onder de GPLv3-licentie. River kan draaien […]

Uitgave van multimodel IPTV-orchestrator IP_TV-Neon 0.8.2

Een nieuwe versie van IP_TV-Neon, een lichtgewicht hulpmiddel voor het beheren en zoeken naar IPTV-inhoud, is uitgebracht. Het project is opmerkelijk vanwege het gebruik van grote taalmodellen voor de navigatie door de kanallijsten. IP_TV-Neon biedt een minimalistische en snelle console-interface, vrij van de overbodige functionaliteit van standaard mediaspelers en geoptimaliseerd voor systemen met langzame schijven en oude processors (de ontwikkeling vond plaats op een iMac uit 2014 met CachyOS). […]

Koop betrouwbare webhosting met bescherming tegen DDoS, VPS VDS servers 🔥 Koop betrouwbare webhosting met bescherming tegen DDoS, VPS VDS servers | ProHoster