ProHoster > Blog

Categoria: Blog

Rubrica Blog

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 […]

Inizio delle spedizioni di Librem 5 Evergreen

Posted on

Il 15 novembre, l'azienda Purism ha iniziato la spedizione dei telefoni Librem-5 in modifica per la produzione di massa con codice in codice Evergreen. La spedizione è suddivisa in fasi. Inizialmente, verranno spediti i dispositivi per i clienti anticipati. La spedizione dei dispositivi per i clienti tardivi è programmata per il primo trimestre del 2021. Le caratteristiche del dispositivo non sono cambiate molto. Tra le ultime modifiche, va notata l'aumento della batteria fino a 4500 mAh. Evergreen non […]

Firefox 83

Posted on

È disponibile Firefox 83. Il motore JS SpiderMonkey ha ricevuto un importante aggiornamento con nome in codice Warp, risultando in un miglioramento della sicurezza, delle prestazioni (un incremento fino al 15%), della reattività delle pagine (fino al 12%) e una riduzione dell'uso della memoria (del 8%). Ad esempio, il caricamento di Google Docs è stato accelerato di circa il 20%. La modalità 'solo HTTPS' è considerata sufficientemente pronta (ora tiene conto degli indirizzi nella rete locale, dove l'uso di HTTPS è spesso […]

youtube-dl su GitHub sbloccato

Posted on

Il repository youtube-dl, precedentemente bloccato su GitHub, è stato sbloccato il 16 novembre dopo che l'EFF (Electronic Frontier Foundation, Fondazione dei confini elettronici) ha fornito argomentazioni contro l'affermazione di violazione del DMCA [PDF]. GitHub (di proprietà di Microsoft) ha dichiarato di aver deciso che l'affermazione non era conforme alla sua politica di rimozione DMCA. Fonte: linux.org.ru

Immagini di Fedora 33 pubblicate su AWS Marketplace

Posted on

Questa storia è iniziata nel lontano 2012, quando Matthew Miller, allora nuovo leader del progetto Fedora, ha ricevuto un compito apparentemente semplice: fornire ai clienti del cloud AWS la possibilità di distribuire facilmente server basati su Fedora. Il compito tecnico di creazione di immagini adatte per l'infrastruttura cloud è stato risolto abbastanza rapidamente. Così, sia come qcow che come […]

« all'inizio 610 611 612 613 614 615 616 617 618 619 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