ProHoster > Blog > Notizie su Internet

Categoria: Notizie su Internet

Rubrica Notizie di Internet

Mistral ha pubblicato Leanstral, un modello AI per il coding vibrazionale con verifica formale.

Posted on

L'azienda Mistral AI ha presentato un grande modello di linguaggio chiamato Devstral, progettato per essere utilizzato nello sviluppo di applicazioni (code-vibing) e ottimizzato per la verifica formale del codice. Si prevede che Devstral possa essere utilizzato per creare assistenti AI in grado di non solo generare codice, ma anche garantire che non ci siano errori in esso. Devstral è diventato il primo modello open source a supportare il linguaggio di programmazione Lean 4 e il relativo […]

FFmpeg 8.1 è disponibile con supporto per JPEG XS, nuove funzionalità per il suono 3D e accelerazione tramite Vulkan

Posted on

Dopo sette mesi di sviluppo, è stato pubblicato il pacchetto multimediale FFmpeg 8.1, che include un insieme di applicazioni e una collezione di librerie per operazioni su vari formati multimediali (registrazione, conversione e decodifica di formati audio e video). Il pacchetto è scritto in linguaggio C e distribuito sotto le licenze LGPL e GPL. Tra le novità di FFmpeg 8.1: sono stati aggiunti un parser, un codificatore e un decodificatore, oltre a un impacchettatore e un decompattatore di contenitori multimediali […]

In Cina arriverà un secondo produttore di chip da 7 nm su contratto

Posted on

Fino ad ora, la compagnia SMIC è stata considerata il leader dell'industria cinese dei semiconduttori, sia per il volume di produzione di chip che per la modernità delle tecnologie utilizzate. Per le esigenze di Huawei, proprio questa compagnia ha avviato alcuni anni fa la produzione di chip a 7 nm, senza avere accesso a equipaggiamenti avanzati occidentali. Si dice che Hua Hong Group stia per seguire lo stesso percorso. A questo punto […]

Uscita del file system Bcachefs 1.37.0

Posted on

Kent Overstreet ha pubblicato la versione 1.37.0 del file system Bcachefs. L'uscita comprende due pacchetti: bcachefs-kernel-dkms con un modulo del kernel, costruito utilizzando il sistema DKMS (Dynamic Kernel Module Support), e bcachefs-tools con l'utilità bcachefs in user space, che implementa comandi per creare (mkfs), montare, ripristinare e controllare il file system. I pacchetti sono stati compilati per Debian, Ubuntu, Fedora, openSUSE, NixOS e […]

Il radar open source AERIS-10, in grado di tracciare oggetti a una distanza di fino a 20 km.

Posted on

Il progetto AERIS-10 ha sviluppato una stazione radar modulare completamente aperta, che può essere utilizzata come piattaforma per condurre esperimenti con reti di antenne a fase, compressione degli impulsi, elaborazione Doppler dei segnali e tracciamento dei bersagli. I progetti completi, i layout delle schede, l'elenco dei componenti (BOM), i file Gerber per la produzione delle schede, i modelli per la stampa 3D e le descrizioni dei blocchi hardware nei linguaggi Verilog/VHDL sono distribuiti sotto la licenza […]

Rilascio di CSMWrap 3.0, un layer per il boot in modalità BIOS su sistemi UEFI

Posted on

È stata pubblicata la versione 3.0 del progetto CSMWrap, che sviluppa un'applicazione EFI per avviare sistemi che supportano solo piattaforme obsolete con BIOS, in ambienti moderni basati su UEFI. CSMWrap ricrea un ambiente con BIOS su sistemi UEFI (classe 3), impacchettando una build di SeaBIOS in forma di modulo CSM (Compatibility Support Module) e avviandola come un'applicazione EFI esterna. Il codice del progetto è scritto in linguaggio C e distribuito […]

Poco presenterà presto potenti smartphone Poco X8 Pro e X8 Pro Max

Posted on

Il marchio Poco presenterà a breve una nuova serie di smartphone Poco X8, comprendente i modelli Poco X8 Pro e Poco X8 Pro Max, che si posizionano come "generazione flagship ad alte prestazioni". A differenza della serie precedente, Poco X8 include il modello Pro Max con uno schermo più grande, che si distingue per la funzionalità più alta tra i dispositivi della serie. La novità è stata progettata per i gamer che desiderano […]

ASRock ha rilasciato una scheda madre LGA 1700 con tre diversi slot DIMM

Posted on

La continua carenza di chip di memoria costringe molti a adottare approcci creativi nell'acquisto di memoria a prezzi ragionevoli. In questo contesto, la società ASRock ha presentato una nuova scheda madre che supporta la memoria RAM DDR4 e DDR5, affinché gli utenti possano scegliere l'opzione migliore per le loro esigenze. Il modello H610M Combo II è una scheda madre con socket LGA 1700, che supporta i processori Intel di 12a generazione […]

ZXC 0.9.0

Posted on

È stata rilasciata la versione 0.9.0 della libreria e dell'utilità per console multipiattaforma ZXC (github.com), che implementa una compressione asimmetrica multithreading ad alte prestazioni senza perdita, ottimizzata per risorse di gioco, firmware e pacchetti applicativi. Il formato è stato sviluppato secondo il principio "scrivi una volta, leggi molte volte" (WORM). A differenza di codec come LZ4, ZXC sacrifica la velocità di compressione per massimizzare la larghezza di banda durante lo scompattamento. La velocità dichiarata è […]

lexbor 2.7.0

Posted on

Il 13 marzo, dopo quattro mesi di sviluppo, è stata rilasciata la versione 2.7.0 della libreria high-performance lexbor, progettata per gestire i formati HTML 5 e CSS. Le principali caratteristiche del progetto includono: supporto completo delle specifiche WHATWG, W3C e Unicode: HTML5, CSS Syntax 3, Encoding, URL, Unicode Standard Annex #15, Unicode Technical Standard #46, Punycode, Unicode Standard Annex #15, Unicode Technical Standard #46; manipolazione degli elementi […]

Uscita di River 0.4.0 con separazione tra compositors e window managers

Posted on

È stato presentato il rilascio del gestore composito River 0.4.0, che a differenza di altri gestori compositi basati sul protocollo Wayland utilizza un'architettura modulare con il gestore delle finestre separato in un programma distinto. In River, i gestori delle finestre sono plug-in e l'utente può sceglierli a proprio piacimento. Il codice del progetto è scritto in Zig e viene distribuito con licenza GPLv3. River può essere eseguito […]

Uscita del multimediale orchestratore IPTV IP_TV-Neon 0.8.2

Posted on

È uscita una nuova versione di IP_TV-Neon, uno strumento leggero per la gestione e la ricerca di contenuti IPTV. Il progetto si distingue per l'uso di modelli linguistici di grandi dimensioni per la navigazione nelle liste dei canali. IP_TV-Neon offre un'interfaccia console minimalista e rapida, priva delle funzionalità superflue dei normali media center e ottimizzata per sistemi con dischi lenti e processori obsoleti (lo sviluppo è stato effettuato su un iMac del 2014 con CachyOS). […]

« all'inizio 77 78 79 80 81 82 83 84 85 86 alla fine »
Acquista hosting affidabile per siti web con protezione DDoS, server VPS VDS 🔥 Acquista hosting affidabile per siti web con protezione DDoS, server VPS VDS - ProHoster