ProHoster > Blog

Categoria: Blog

Rubrica Blog

PHP 8.0.0

Posted on

Il team di sviluppatori di PHP ha annunciato il rilascio di una nuova versione del linguaggio: PHP 8.0.0. Miglioramenti e nuove funzionalità: Tipi unione. Invece delle annotazioni PHPDoc per combinare i tipi, è possibile utilizzare dichiarazioni di tipo unione nativo, che vengono verificate durante l'esecuzione. Argomenti nominati. Invece delle annotazioni PHPDoc, ora è possibile utilizzare metadati strutturati con la sintassi nativa di PHP. Operatore nullsafe. Invece di verificare […]

systemd 247

Posted on

Il tanto atteso (per l'autore della notizia) rilascio del più famoso dei gestori di sistema del mondo GNU/Linux (e anche un po' oltre) — systemd. In questa versione: le etichette (tags) udev ora si riferiscono al dispositivo, e non all'evento associato al dispositivo; questo rompe la compatibilità retroattiva, ma solo per gestire correttamente la rottura della compatibilità retroattiva introdotta già in […]

libmdbx 0.9.2

Posted on

È stata rilasciata la versione 0.9.2 della libreria libmdbx, che implementa un motore chiave-valore ultra-veloce e compatto. libmdbx è una profonda revisione del leggendario DB LMDB e, secondo gli sviluppatori, supera il progenitore in termini di affidabilità, funzionalità e prestazioni. Le principali novità, migliorie e correzioni: Sono disponibili binding per Nim (autore Jens Alfke, architetto in Couchbase) e Rust (autore Clément Renault, fondatore di MeiliSearch). È disponibile un pacchetto per […]

Annuncio della scheda IcepeakITX ELBRUS-8CB

Posted on

Silenziosamente e senza farsi notare, un misterioso gruppo di individui non identificati sta preparando l'uscita di una scheda madre orientata alla sicurezza basata sul processore Elbrus-8SV. Caratteristiche della scheda: Formato: Mini-ITX Processore: MCST Elbrus-8SV 8-core @ 1.5 GHz VLIW (completamente compatibile con LGA3647 per il montaggio del dissipatore) Ponte sud: MCST KPI-2 Memoria: 8 GB o 32 GB (2x [4+1] 8 Gbit/32 Gbit DDR4 DRAM […]

Dotenv-linter aggiornato alla versione 2.2.1

Posted on

È uscito un aggiornamento di dotenv-linter, uno strumento utile per controllare e correggere errori nei file .env (file delle variabili d'ambiente di Docker). Molti programmatori cercano di aderire al manifesto delle dodici fattori durante lo sviluppo del software. Questo approccio consente di evitare un gran numero di problemi legati al dispiegamento delle applicazioni e al loro successivo supporto. Uno dei principi di questo manifesto afferma che tutte le configurazioni devono essere memorizzate in […]

È uscito mpv 0.33

Posted on

Dopo 10 mesi dal rilascio precedente, è stata pubblicata la versione mpv 0.33. Con questa versione, la compilazione del progetto è possibile esclusivamente su Python 3. Sono state apportate numerose modifiche e correzioni al lettore, tra cui: Nuove funzionalità: Filtro dei sottotitoli tramite espressioni regolari; Supporto HiDPI su Windows; Supporto della modalità a schermo intero esclusivo su d3d11; Possibilità di utilizzare sixel per la riproduzione video in […]

Ardour 6.4

Posted on

È stata rilasciata una nuova versione di Ardour, la stazione di registrazione audio digitale open source. La novità principale è il supporto per l'API dei plugin VST3 in tutti i sistemi operativi in cui funziona il programma. Inoltre, sono supportate le estensioni di PreSonus, che consentono di trasmettere al plugin informazioni sulla scalabilità dell'interfaccia su schermi ad alta densità, incorporando una versione in miniatura dell'interfaccia del plugin nell'host, ecc. Tra le altre modifiche: l'accelerazione […]

gmusicbrowser 1.1.16 e 1.1.99.1 beta

Posted on

Dopo cinque anni di sviluppo è stato rilasciato gmusicbrowser-1.1.16. gmusicbrowser è un lettore audio e un gestore di collezioni musicali, scritto in linguaggio perl con l'uso del toolkit gtk+. Utilizza il backend gstreamer, mplayer o mpv. Fornisce modelli dell'interfaccia utente altamente personalizzabili. Supporta la modifica dei tag, il rinominamento, la ricerca, le notifiche, ecc. Nella nuova versione: supporto per l'interfaccia su Gtk+3. Supporto per il formato opus. Fonti delle copertine aggiornate […]

È stata rilasciata Scala 2.13.4

Posted on

Il linguaggio di programmazione Scala continua il suo sviluppo nella branca 2.13. Il nuovo rilascio di Scala 2.13.4 include diverse interessanti novità, tra cui: supporto sperimentale per librerie scritte in Scala 3; migliorata la verifica di esaustività dei rami durante il pattern matching. Ora questa verifica funziona anche con l'uso di espressioni guard e estrattori personalizzati; comportamento modificato di ExecutionContext su […]

Aperto il forum privato della comunità Elbrus

Posted on

Il 18 novembre 2020, grazie agli sforzi dei dipendenti della società MCST, è stato aperto il tanto atteso forum per gli sviluppatori di software per microprocessori Elbrus. Il forum è configurato per lavorare in modalità chiusa: gli utenti non registrati non possono leggere i messaggi e i motori di ricerca non possono indicizzare le pagine del forum. Per registrarsi al forum, l'utente deve fornire informazioni obbligatorie: cognome, nome, patronimico, numero di telefono, posizione, nome dell'organizzazione, dipartimento […]

topalias: utilità per generare alias brevi dalla cronologia bash/zsh

Posted on

Pubblicata su GitHub un'utilità Open Source per generare alias brevi dalla cronologia bash/zsh: https://github.com/CSRedRat/topalias. Le sfide che affronta il programma: analisi dei file ~/ .bash_aliases, ~/ .bash_history, ~/ .zsh_history con la cronologia dei comandi eseguiti nel terminale Linux con la shell Bash/Zsh. Propone abbreviazioni brevi (acronimi) per comandi lunghi, che richiedono molto tempo per essere digitati e difficili da ricordare, ma frequentemente utilizzati (anche se questo potrebbe non essere immediatamente evidente) […]

Coq 8.12

Posted on

È stata rilasciata la versione 8.12 (l'ultima versione minore disponibile al momento della scrittura della notizia è 8.12.1) dello strumento di prova interattiva dei teoremi Coq (gallo). Coq include un linguaggio di programmazione con tipi dipendenti Gallina (gallina), basato sulla teoria dei calcoli delle costruzioni. Il sistema Coq permette di sviluppare sia prove di teoremi verificabili da computer, sia programmi insieme alla prova di conformità alle specifiche. Nella nuova versione è stato […]

« all'inizio 614 615 616 617 618 619 620 621 622 623 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