Categoria: Blog

Uscita del linguaggio di programmazione OCaml 4.14.2

È disponibile un nuovo rilascio del linguaggio di programmazione OCaml 4.14.2, che supporta concetti di programmazione funzionale, imperativa e orientata agli oggetti, ed è progettato per la creazione di programmi sicuri e affidabili. Il linguaggio utilizza il sistema di tipizzazione statica, la raccolta dei rifiuti, tipi che escludono il buffer overflow, verifica e analisi statica durante la fase di compilazione. Il codice della libreria per il linguaggio OCaml è distribuito con licenza LGPL. Le modifiche nella nuova versione: Nell'ambiente […]

Attacco a determinati protocolli basati su UDP, che porta a un loop di scambio dei pacchetti.

Il Coordinamento CERT (Computer Emergency Response Team) ha pubblicato un avviso su una serie di vulnerabilità nelle implementazioni di vari protocolli applicativi che utilizzano il protocollo UDP come trasporto. Le vulnerabilità possono essere sfruttate per provocare un attacco di denial of service a causa della possibilità di looping nella comunicazione di pacchetti tra due host. Ad esempio, gli aggressori possono esaurire la larghezza di banda disponibile della rete, bloccando i servizi di rete (ad esempio, […]

Nuovo articolo: Laboratorio di disegno con IA, parte sette: OpenPose per ControlNet

Coloro che iniziano a familiarizzare con i modelli generativi per la creazione di immagini tendono a concentrarsi sul perfezionamento dei suggerimenti testuali e sulla scelta dei checkpoint. Gli appassionati più esperti, invece, prestano maggiore attenzione agli strumenti aggiuntivi per migliorare l'espressività delle immagini generate dall'IA, tra cui uno dei più potenti è ControlNet. Fonte: 3dnews.ru

Firefox 124

Firefox 124 è ora disponibile. L'impostazione "Utilizza sempre i tasti freccia per navigare nelle pagine" funziona anche nel visualizzatore PDF. In Firefox View è possibile scegliere l'ordine di ordinamento dell'elenco delle schede aperte: per attività recenti o per ordine di apertura delle schede. È stata migliorata la velocità del traduttore integrato grazie a ottimizzazioni delle moltiplicazioni delle matrici. È stata accelerata anche l'attività del garbage collector nel motore JavaScript. Indirizzo […]

Rilascio della piattaforma Java SE 22 e implementazione di riferimento OpenJDK 22 aperta.

Dopo sei mesi di sviluppo, Oracle ha rilasciato la piattaforma Java SE 22 (Java Platform, Standard Edition 22), utilizzando il progetto open source OpenJDK come implementazione di riferimento. A parte la rimozione di alcune funzionalità obsolete, Java SE 22 mantiene la compatibilità con le versioni precedenti della piattaforma Java: la maggior parte dei progetti Java precedentemente scritti funzionerà senza modifiche su […]

Rilascio di Firefox 124

È stato rilasciato il browser web Firefox 124 e si è formata l'aggiornamento della ramificazione con supporto a lungo termine — 115.9.0. La ramificazione Firefox 125 è stata trasferita nella fase di beta testing, il cui rilascio è previsto per il 16 aprile. Le principali novità di Firefox 124: nella pagina Firefox View, che semplifica l'accesso ai contenuti precedentemente visualizzati, è stata aggiunta la possibilità di ordinare l'elenco delle schede aperte in base all'ordine di apertura o all'attività recente. […]

Microsoft ha aperto il codice dello store Garnet, compatibile con Redis

Microsoft ha reso disponibili i codici sorgente del sistema NoSQL Garnet, progettato per la creazione di archivi di caching compatibili con le librerie client esistenti per Redis. Garnet supporta la creazione di cluster scalabili per il caching dei dati, in cui possono essere utilizzate la replicazione, la migrazione delle chiavi e la segmentazione dei dati tra i nodi del cluster. Il progetto è scritto in C# con un core di archiviazione in C++, ed è aperto sotto licenza […]

Kiddy — modulo del kernel Linux per proteggere da script kiddies

Kiddy è un modulo per il kernel Linux, sviluppato con l'obiettivo di ridurre i rischi di sfruttamento (di alcune) vulnerabilità del kernel. Alla base del meccanismo di protezione implementato in questo modulo c'è una semplice idea: durante un attacco, in un modo o nell'altro, si identifica l'oggetto dell'attacco. Pertanto, se si rende difficile tale identificazione, è possibile aumentare significativamente la complessità di sfruttamento, poiché in molti casi […]

Primo rilascio della distribuzione TileOS 1.0

È disponibile il rilascio della distribuzione TileOS 1.0 "T-Rex", basata su Debian e che offre un desktop con gestori di finestre a mosaico. TileOS persegue gli stessi obiettivi della distribuzione Ubuntu Sway Remix (sviluppata dallo stesso autore), offrendo un'interfaccia pronta all'uso, che non richiede configurazioni aggiuntive e rivolta sia agli utenti esperti di Linux che ai principianti che desiderano […]

Vulnerabilità in Buildah e Podman che consente di bypassare l'isolamento del contenitore.

Nei pacchetti Buildah e Podman è stata trovata una vulnerabilità (CVE-2024-1753) che consente di ottenere accesso completo al file system dell'ambiente host durante la fase di costruzione del contenitore, avviato con i privilegi di root. Nei sistemi con SELinux abilitato, l'accesso al file system dell'host è limitato alla sola lettura. La correzione è attualmente disponibile come patch, accettata qualche minuto fa nel codice sorgente di Buildah. La vulnerabilità è causata da […]

Errore in Bcachefs che porta alla corruzione del FS durante l'uso di più dispositivi

È stata scoperta una grave vulnerabilità nel kernel Linux 6.7, nella logica del filesystem Bcachefs, manifestandosi in configurazioni con più dispositivi di archiviazione quando si utilizzano nuove versioni degli strumenti per la creazione del filesystem. Il problema si presenta quando è possibile creare una situazione in cui il filesystem tenta di aggiornare la versione, ma questo non viene completato, il che può portare il kernel a cercare di rendere la versione del filesystem più […]

Il compilatore GnuCOBOL ha raggiunto la maturità. Prima release dell'ambiente di sviluppo SuperBOL.

Fabrice Le Fessant ha fatto il punto sulla sviluppo di 20 anni del compilatore open source GnuCOBOL, che consente di tradurre programmi scritti in COBOL in una rappresentazione in C per la successiva compilazione utilizzando GCC o altri compilatori C. Secondo Fabrice, il progetto ha raggiunto la maturità, è pronto per l'uso in sistemi industriali e ha la capacità di competere con soluzioni proprietarie. Tra i vantaggi competitivi di GnuCOBOL […]

Acquista hosting affidabile per siti web con protezione DDoS, VPS VDS server 🔥 Acquista hosting affidabile per siti web con protezione DDoS, VPS VDS server | ProHoster