ProHoster > Blog

Categoria: Blog

Rubrica Blog

È stata effettuata la verifica formale della sicurezza del microkernel seL4 per l'architettura AArch64

Posted on

È stato completato il lavoro sulla verifica formale matematica dell'affidabilità e della sicurezza del microkernel seL4 su sistemi con architettura a set di istruzioni AArch64. La verifica si riduce a una dimostrazione matematica della correttezza dell'esecuzione di seL4, che attesta la piena conformità alle specifiche fornite in linguaggio formale. La dimostrazione dell'affidabilità consente di utilizzare seL4 in sistemi critici basati su processori ARM64, che richiedono un livello elevato di sicurezza e […]

Rilascio di PorteuX 2.8, una distribuzione basata su Slackware

Posted on

È stata pubblicata una nuova versione della distribuzione PorteuX 2.8, basata su Slackware e sviluppata ispirandosi ai progetti Slax e Porteus. Tra le caratteristiche di PorteuX si segnala la presenza di ambienti preconfigurati basati su desktop Cinnamon, COSMIC, GNOME, KDE, LXDE, LXQt, MATE e Xfce, l'inclusione dell'accelerazione hardware per l'elaborazione di file multimediali su GPU Intel, AMD e NVIDIA, il caricamento in modalità Live in 3 […]

È stato preparato un client RDP per KolibriOS

Posted on

È stato pubblicato RDPClient per il sistema operativo KolibriOS, scritto in assembler. Come strumento di cross-compilazione è stato utilizzato Kos-32 basato su GCC-5.4.0. Per realizzare un canale crittografato è stata utilizzata una libreria BearSSL impacchettata staticamente. Considerando le limitazioni di KolibriOS e del suo ambiente di sviluppo, la programmazione è stata effettuata in C con chiamate dirette ai sistemi. Durante lo sviluppo è stato utilizzato l'assistente AI Claude. Funzionalità implementate: modifica dinamica delle dimensioni […]

Nuove versioni di Wine 11.16 e Proton 11.0-2

Posted on

È stata pubblicata una versione sperimentale dell'implementazione open source dell'API Win32 — Wine 11.16. Dalla release 11.15 sono stati chiusi 35 rapporti di bug e apportate 244 modifiche. Le modifiche più rilevanti: è stata implementata la possibilità di accelerazione hardware per la decodifica video, utilizzando VA-API. Il motore Wine Mono è stato aggiornato alla versione 11.3.0, nella quale è stata aggiunta la compatibilità per l'architettura ARM64. Wine Mono è un pacchetto […]

La Cina sta trasferendo alcune istituzioni governative da Windows a Linux

Posted on

Secondo quanto riportato dal Bloomberg, il Ministero della Sicurezza dello Stato della Cina ha ordinato a diverse istituzioni governative di abbandonare l'uso del sistema operativo Windows 10 China Government Edition in favore delle distribuzioni Linux cinesi, come Kylin OS e UOS (UnionTech OS basato su Deepin). La migrazione è parte di una strategia a lungo termine volta a sostituire le tecnologie straniere nelle agenzie governative con soluzioni open source, sviluppate […]

Per supportare la distribuzione Omarchy è stata creata l'organizzazione Omacom Foundation, che ha ricevuto 8 milioni di dollari

Posted on

David Heinemeier Hansson, autore del framework web Ruby on Rails, ha annunciato la creazione di un'organizzazione non profit, la Omacom Foundation, che in prospettiva a lungo termine garantirà il supporto allo sviluppo della distribuzione Omarchy Linux e dell'infrastruttura relativa. L'organizzazione gestirà anche i marchi, fornirà finanziamenti e supporterà progetti e sviluppatori open source, su cui dipende la distribuzione. Il budget iniziale dell'organizzazione ammonta a […]

Il progetto Pine64 ha sospeso la produzione di dispositivi Linux.

Posted on

Il progetto Pine64, che si occupa della creazione di dispositivi open source, ha annunciato la sospensione della produzione di dispositivi Linux a causa della carenza di memoria DRAM e di unità eMMC. La possibilità di riprendere la produzione sarà valutata nella seconda metà dell'anno prossimo e dipenderà dai prezzi di DRAM e eMMC. Le scorte dei dispositivi PineNote e PineTab2 già prodotti si esauriranno fra circa 3 mesi. La produzione di dispositivi basati su microcontrollori, come […]

Uscita di Rust 1.98.0. Compromissione del pacchetto arrayref, che conta 53 milioni di download in 3 mesi

Posted on

È stato pubblicato il rilascio del linguaggio di programmazione Rust 1.98, sviluppato da Mozilla ma attualmente portato avanti sotto la guida dell'organizzazione no-profit Rust Foundation. Il linguaggio è focalizzato sulla gestione sicura della memoria e offre strumenti per ottenere un alto livello di parallelismo nell'esecuzione delle attività, il tutto senza utilizzare un garbage collector e un runtime (il runtime si riduce alla semplice inizializzazione e alla manutenzione della libreria standard). I metodi di lavoro […]

Rilascio del gestore pacchetti RPM 6.1

Posted on

È stato pubblicato il rilascio del gestore di pacchetti RPM 6.1, che sarà utilizzato nella distribuzione di Fedora Linux 45. Il progetto è sviluppato dall'azienda Red Hat e viene utilizzato in distribuzioni come RHEL, Fedora, SUSE, openSUSE, ALT Linux, Rosa Linux, OpenMandriva, Mageia, PCLinuxOS e Tizen. Il codice del progetto è distribuito sotto le licenze GPLv2 e LGPLv2. Durante la preparazione di RPM 6.1 è avvenuto un passaggio a una nuova […]

Il progetto SoLo sviluppa un caricatore di librerie so di sistema per programmi Linux completamente statici

Posted on

È stato pubblicato il progetto SoLo, che consente a programmi Linux completamente statici, compilati con musl, di caricare tramite dlopen() le librerie glibc installate nel sistema, in particolare i driver GPU. Di solito, la compilazione statica è incompatibile con i driver Vulkan e OpenGL, che le distribuzioni forniscono sotto forma di librerie condivise compilate con glibc. SoLo rimuove questa limitazione grazie a un caricatore ELF integrato nell'eseguibile e a un livello intermedio che trasforma […]

Disponibile il candidato per il rilascio del X.Org Server 26.1

Posted on

È stato pubblicato il candidato al rilascio di X.Org Server 26.1.0 (xorg-server 26.0.99.901), che segna l'inizio della fase di test prima del rilascio finale stabile. X.Org Server 26.1.0 sarà il primo importante rilascio di X.Org Server negli ultimi cinque anni: l'ultimo ramo significativo 21.1 è stato rilasciato nel 2021. Modifiche chiave rispetto a xorg-server 21.1: rimozione del sistema di build autoconf/automake a favore del supporto […]

Pubblicato KDE Gear 26.08, un insieme di applicazioni dal progetto KDE

Posted on

Dopo quattro mesi di sviluppo, è stato presentato l'aggiornamento cumulativo di agosto delle applicazioni KDE Gear 26.08, sviluppate dal progetto KDE. Il set comprende le versioni di oltre 250 programmi, librerie e plugin. Le informazioni sulla disponibilità di build Live con le nuove versioni delle applicazioni possono essere ottenute su questa pagina. Le nuove versioni di singole applicazioni possono essere scaricate dai cataloghi Flathub e SnapCraft. Le modifiche più notevoli: nel file […]

« all'inizio 20 21 22 23 24 25 26 27 28 29 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