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 […]
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 […]
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) […]
È 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 […]
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 […]
È 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 […]
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
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 […]
È 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à […]
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 […]
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 […]
Microsoft ha rilasciato .NET 5 per i sistemi operativi Windows, macOS, Linux. .NET 5 è una piattaforma open source unificata che integra .NET Core, .NET Framework, Xamarin e Mono, permettendo di utilizzare un’unica base di codice per tutte le piattaforme, inclusi Android e iOS. Le prestazioni sono state notevolmente migliorate e il consumo di memoria ridotto. C# 9 e F# 5 nuove librerie di output […]