ProHoster > Blog > Notizie su Internet

Categoria: Notizie su Internet

Rubrica Notizie di Internet

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

Frrouting 7.5

Posted on

È stata rilasciata una nuova versione del programma per la gestione del routing dinamico in linux/BSD Frrouting! Modifiche disponibili: Supporto BFD, Supporto profili, Supporto per impostare TTL minimo, Supporto RPKI BGP in VRF, Correzioni nel BGP Graceful Restart, Aggiunta l'opzione per visualizzare dettagliatamente le rotte, Aggiunta l'opzione di configurazione maximum-prefix force bestpath-routes per la configurazione sul vicino, Aggiunto il comando bgp shutdown message MSG… Aggiunta la possibilità […]

È stata rilasciata una nuova versione di Open CASCADE Technology (OCCT) 7.5.0

Posted on

OCCT è l'unico kernel attuale di modellazione geometrica con codice sorgente aperto, distribuito con licenza libera. Open CASCADE Technology è una parte importante di progetti come FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT e altri. La versione OCCT 7.5.0 include oltre 400 miglioramenti e correzioni rispetto alla precedente versione 7.4.0. La versione di Open CASCADE […]

È stata rilasciata la versione androwish "The Flux Capacitor".

Posted on

AndroWish è un port nativo di tcl/tk con batterie per la piattaforma Android, che consente di eseguire script senza modifiche o con modifiche minime. Sono inoltre in fase di sviluppo comandi specifici per Android, per interagire con il sistema e i dispositivi: borg — gestione e interazione con Android; ble — per interagire con i dispositivi bluetooth; rfcomm, usbserial — trasmissione di dati tramite bluetooth e dispositivi usb-serial. Include ciò che è necessario per […]

« all'inizio 619 620 621 622 623 624 625 626 627 628 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