ProHoster > Blog

Kategorie: Blog

Blog-Kategorie

Mistral hat Leanstral veröffentlicht, ein KI-Modell für das Vibe-Coding mit formaler Verifikation.

Posted on

Das Unternehmen Mistral AI hat das umfassende Sprachmodell Devstral vorgestellt, das für die Anwendungsentwicklung (Code-Writing) konzipiert ist und für die formale Überprüfung von Code optimiert wurde. Es wird angenommen, dass Devstral zur Erstellung von KI-Assistenten eingesetzt werden kann, die nicht nur Code generieren, sondern auch sicherstellen, dass dieser fehlerfrei ist. Devstral ist das erste Open-Source-Modell, das die Programmiersprache Lean 4 unterstützt und damit verbunden ist […]

FFmpeg 8.1 ist jetzt verfügbar mit Unterstützung für JPEG XS, neuen Funktionen für 3D-Sound und Beschleunigung über Vulkan.

Posted on

Nach sieben Monaten Entwicklung wurde das Multimedia-Paket FFmpeg 8.1 veröffentlicht, das eine Sammlung von Anwendungen und Bibliotheken für die Verarbeitung verschiedener Multimedia-Formate (Aufzeichnung, Umwandlung und Dekodierung von Audio- und Videoformaten) umfasst. Das Paket ist in C geschrieben und wird unter den Lizenzen LGPL und GPL vertrieben. Zu den Änderungen in FFmpeg 8.1 gehören: Hinzugefügt wurden ein Parser, ein Encoder und ein Decoder sowie ein Pack- und ein Entpackprogramm für Multimedia-Container […]

In China wird es einen zweiten Vertragshersteller von 7-nm-Chips geben.

Posted on

Bis jetzt galt das Unternehmen SMIC als führend in der chinesischen Halbleiterindustrie, sowohl hinsichtlich der Chipproduktion als auch der Relevanz der verwendeten Technologien. Vor einigen Jahren stellte genau dieses Unternehmen für Huawei 7-nm-Chips her, ohne Zugang zu fortschrittlicher westlicher Ausrüstung zu haben. Gerüchten zufolge plant die Hua Hong Group, den selben Weg einzuschlagen.

Release der Dateisystemversion Bcachefs 1.37.0

Posted on

Kent Overstreet hat die Version 1.37.0 des Dateisystems Bcachefs veröffentlicht. Die Veröffentlichung umfasst zwei Pakete: bcachefs-kernel-dkms mit einem Kernel-Modul, das mithilfe des DKMS (Dynamic Kernel Module Support) Systems erstellt wird, und bcachefs-tools mit dem benutzerraum-basierten Tool bcachefs, das Befehle zum Erstellen (mkfs), Mounten, Wiederherstellen und Überprüfen des Dateisystems umsetzt. Die Pakete sind für Debian, Ubuntu, Fedora, openSUSE, NixOS und weitere Distributionen bereitgestellt.

Der offene Radar AERIS-10, der Objekte in einer Entfernung von bis zu 20 km verfolgen kann.

Posted on

Das Projekt AERIS-10 hat eine vollständig offene modulare Radaranlage entwickelt, die als Plattform für Experimente mit phasenverstellbaren Antennenarrays, Impulskompression, Doppler-Signalverarbeitung und Zielverfolgung verwendet werden kann. Vollständige Schaltpläne, Verdrahtungspläne für Platinen, Stücklisten (BOM), Gerber-Dateien zur Herstellung von Platinen, 3D-Druckmodelle und Beschreibungen der Hardware-Blöcke in Verilog/VHDL werden unter der Lizenz […] verbreitet.

Veröffentlichung von CSMWrap 3.0, einer Schicht für das Booten im BIOS-Modus auf UEFI-Systemen

Posted on

Die Veröffentlichung von CSMWrap 3.0 wurde bekannt gegeben, einem Projekt, das eine EFI-Anwendung entwickelt, um Systeme, die nur ältere BIOS-Plattformen unterstützen, in modernen UEFI-Umgebungen zu starten. CSMWrap rekreiert die BIOS-Umgebung auf UEFI-Systemen (Klasse 3), indem es die SeaBIOS-Builds in einer CSM (Compatibility Support Module)-Modulform verpackt und als externes EFI-Anwendung ausführt. Der Code des Projekts ist in C geschrieben und wird verteilt […]

Poco wird bald leistungsstarke Smartphones, das Poco X8 Pro und das X8 Pro Max, vorstellen.

Posted on

Die Marke Poco wird bald eine neue Serie von Smartphones, die Poco X8-Serie, vorstellen, die Modelle wie Poco X8 Pro und Poco X8 Pro Max umfasst. Diese werden als "flagship generation with high performance" positioniert. Im Vergleich zur vorherigen Serie umfasst die Poco X8-Serie mit dem Pro Max ein Modell mit einem größeren Display, das die höchste Funktionalität unter den Geräten der Reihe aufweist. Das neue Modell ist für Gamer konzipiert, die […]

ASRock hat ein LGA 1700-Mainboard mit drei verschiedenen DIMM-Slots veröffentlicht.

Posted on

Der anhaltende Mangel an Speichermodulen zwingt viele dazu, kreativ beim Kauf von RAM zu sein. In diesem Kontext hat das Unternehmen ASRock ein neues Motherboard vorgestellt, das sowohl DDR4- als auch DDR5-RAM unterstützt, damit die Nutzer die für sie optimale Option wählen können. Das Modell H610M Combo II ist ein Motherboard mit LGA 1700 Sockel und unterstützt Prozessoren der 12. Intel-Generation, […]

ZXC 0.9.0

Posted on

Die Version 0.9.0 der Bibliothek und des plattformübergreifenden Konsolenwerkzeugs ZXC (github.com) wurde veröffentlicht. Dieses implementiert eine leistungsstarke, mehrteilige asymmetrische verlustfreie Kompression, die für Spielressourcen, Firmware und Anwendungspakete optimiert ist. Das Format wurde nach dem Prinzip 'einmal schreiben, mehrfach lesen' (WORM) entwickelt. Im Gegensatz zu Codecs wie LZ4 opfert ZXC die Kompressionsgeschwindigkeit zugunsten einer maximalen Durchsatzrate beim Entpacken. Es wird eine Geschwindigkeit von […]

lexbor 2.7.0

Posted on

Am 13. März, nach vier Monaten Entwicklung, wurde die leistungsstarke Bibliothek lexbor in der Version 2.7.0 veröffentlicht, die für die Verarbeitung von HTML 5 und CSS Formaten entwickelt wurde. Zu den Hauptmerkmalen des Projekts gehören: vollständige Unterstützung der Spezifikationen WHATWG, W3C und Unicode: HTML5, CSS Syntax 3, Encoding, URL, Unicode Standard Annex #15, Unicode Technical Standard #46, Punycode; Manipulation von Elementen […]

Release von River 0.4.0 mit der Trennung von Komposit- und Fenstermanagern

Posted on

Die Veröffentlichung des Composite Managers River 0.4.0 wurde vorgestellt, der im Gegensatz zu anderen Composite-Managern auf Basis des Wayland-Protokolls eine modulare Architektur verwendet, bei der der Fenster-Manager in ein separates Programm ausgegliedert ist. In River sind Fenster-Manager plug-in-fähig, und der Benutzer kann sie nach Belieben auswählen. Der Code des Projekts ist in der Programmiersprache Zig geschrieben und wird unter der GPLv3-Lizenz vertrieben. River kann ausgeführt werden […]

Veröffentlichung des multimodalen IPTV-Orchestrators IP_TV-Neon 0.8.2

Posted on

Die neue Version von IP_TV-Neon ist erschienen, ein leichtgewichtiges Tool zur Verwaltung und Suche von IPTV-Inhalten. Das Projekt zeichnet sich durch die Nutzung großer Sprachmodelle aus, um durch die Kanal-Listen zu navigieren. IP_TV-Neon bietet eine minimalistische und schnelle Konsolenoberfläche, die von überflüssigen Funktionen herkömmlicher Media-Center befreit ist und für Systeme mit langsamen Festplatten und alten Prozessoren optimiert wurde (die Entwicklung fand auf einem iMac von 2014 unter CachyOS statt). […]

„ zum Anfang 66 67 68 69 70 71 72 73 74 75 nach hinten »
Zuverlässiges Webhosting mit DDoS-Schutz, VPS- und VDS-Server kaufen 🔥 Zuverlässiges Webhosting mit DDoS-Schutz, VPS- und VDS-Server kaufen | ProHoster