Categoria Notizie Internet
Silenziosamente, un misterioso gruppo di individui non identificati sta preparando il lancio di una scheda madre orientata alla sicurezza basata sul processore Elbrus-8SV. Caratteristiche della scheda: fattore di forma: 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 Gb/32 Gb DDR4 DRAM […]
È uscito un aggiornamento di dotenv-linter, uno strumento utile per controllare e correggere errori nei file .env (file di variabili ambiente di Docker). Molti sviluppatori cercano di seguire il manifesto dei dodici fattori durante lo sviluppo software. Questo approccio permette di evitare molti problemi legati al deployment delle applicazioni e alla loro successiva manutenzione. Uno dei principi di questo manifesto afferma che tutte le configurazioni devono essere memorizzate in […]
A dieci mesi dall'ultima versione, è stata pubblicata mpv 0.33. Con questo rilascio, la compilazione del progetto è possibile esclusivamente su Python 3. Sono state apportate molte modifiche e correzioni al lettore multimediale, tra cui: Nuove funzionalità: Filtraggio dei sottotitoli tramite espressioni regolari; Supporto HiDPI su Windows; Supporto Fullscreen esclusivo su d3d11; Possibilità di utilizzare sixel per riprodurre video in […]
Il 21 novembre sono trascorsi 25 anni dal primo annuncio del software di grafica open source GIMP. Il progetto è nato da un lavoro di tesi di due studenti di Berkeley, Spencer Kimball e Peter Mattis. Entrambi erano interessati alla grafica computerizzata e non erano soddisfatti della qualità delle applicazioni per l'elaborazione delle immagini su UNIX. Inizialmente, l'interfaccia del programma utilizzava la libreria Motif. Ma durante lo sviluppo […]
È stata rilasciata una nuova versione di Ardour — una stazione di registrazione audio digitale open source. La nuova funzionalità principale è il supporto per l'API dei plugin VST3 su tutti i sistemi operativi in cui l'applicazione è disponibile. Inoltre, sono supportate le estensioni di PreSonus, che consentono di inviare informazioni sul ridimensionamento dell'interfaccia a schermi ad alta densità, integrando una versione in miniatura dell'interfaccia del plugin nell'host, ecc. Tra le altre novità: una maggiore velocità […]
Dopo cinque anni di sviluppo, è stato rilasciato gmusicbrowser-1.1.16. gmusicbrowser è un lettore audio e un gestore di collezioni musicali scritto in Perl utilizzando il toolkit gtk+. Utilizza backend gstreamer, mplayer o mpv. Fornisce modelli di interfaccia utente personalizzabili. Supporta l'editing dei tag, il rinominare, la ricerca, le notifiche, ecc. Nella nuova versione: Supporto per l'interfaccia Gtk+3. Supporto per il formato opus. Aggiornate le fonti delle copertine […]
Il linguaggio di programmazione Scala continua il suo sviluppo nell'ambito della branca 2.13. Il nuovo rilascio Scala 2.13.4 include alcune interessanti novità, tra cui: supporto sperimentale per le librerie scritte in Scala 3; migliorata la verifica di completezza (exhaustivity) dei rami durante il pattern matching. Ora questa verifica funziona anche con le espressioni di guardia e gli estrattori personalizzati; modificato il comportamento di ExecutionContext per […]
Il 18 novembre 2020, grazie agli sforzi dei dipendenti della MCST, è stato aperto il tanto atteso forum per gli sviluppatori di software per i microprocessori Elbrus. Il forum è impostato per funzionare 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 le informazioni obbligatorie: cognome, nome, patronimico, numero di telefono di contatto, posizione, nome dell'organizzazione, dipartimento […]
Su GitHub è stata pubblicata un'utilità Open Source per generare alias brevi dalla cronologia bash/zsh: https://github.com/CSRedRat/topalias Le funzioni dell'applicazione includono: analisi dei file ~/ .bash_aliases, ~/ .bash_history, ~/ .zsh_history con la cronologia dei comandi eseguiti nel terminale Linux nelle shell Bash/Zsh. Offre abbreviazioni brevi (acronimi) per comandi lunghi, difficili da digitare e da ricordare, ma spesso usati (anche se potrebbe non sembrare) […]
È stata rilasciata la versione 8.12 (l'ultima versione minore disponibile al momento della scrittura della notizia – 8.12.1) dello strumento interattivo di dimostrazione dei teoremi Coq (gallo). Coq include un linguaggio di programmazione con tipi dipendenti, Gallina (gallina), che si basa sulla teoria dei calcoli costruttivi. Il sistema Coq consente di sviluppare sia prove dei teoremi verificabili tramite computer, sia programmi con prove di conformità alla specifica. Nella nuova versione sono stati […]
Il 15 novembre, la Purism ha iniziato la spedizione dei telefoni Librem-5 in versione per produzione di massa con il nome in codice Evergreen. Le spedizioni sono suddivise in fasi. Inizialmente, saranno spediti i dispositivi ai clienti che hanno effettuato ordini anticipati. La spedizione dei dispositivi per i clienti che hanno ordinato in seguito è prevista per il primo trimestre del 2021. Le caratteristiche del dispositivo non sono cambiate molto. Tra le ultime modifiche, da segnalare l'aumento della batteria a 4500 mAh. Evergreen non […]
All'inizio dell'anno, l'azienda Pine64 ha annunciato la fornitura del primo lotto dello smartphone libero e protetto PinePhone. Questo dispositivo combina hardware e software liberi, assenza di telemetria e accesso completo a tutta la documentazione possibile. Questo smartphone economico supportava inizialmente diverse versioni mobili di Linux e il supporto per le altre versioni era previsto per una data successiva. Oggi è stata annunciata la compatibilità con KDE Plasma Mobile. […]