Categoria: Notizie su Internet

Aperto il forum chiuso della comunità Elbrus

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

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

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

Coq 8.12

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

Inizio delle consegne di Librem 5 Evergreen

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

Firefox 83

È disponibile Firefox 83. Il motore JS SpiderMonkey ha ricevuto un importante aggiornamento con il nome in codice Warp, migliorando così la sicurezza, le prestazioni (fino al 15% di incremento), la reattività delle pagine (fino al 12%) e riducendo l'uso della memoria (del 8%). Ad esempio, il caricamento di Google Docs è stato accelerato di circa il 20%. La modalità 'solo HTTPS' è stata giudicata sufficientemente pronta (ora considera gli indirizzi della rete locale, dove l'uso di HTTPS è spesso […]

youtube-dl su GitHub è stato sbloccato

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

Le immagini di Fedora 33 sono state pubblicate su AWS Marketplace

Questa storia è iniziata nel lontano 2012, quando Matthew Miller, allora nuovo leader del progetto Fedora, si è trovato di fronte a un compito apparentemente semplice: fornire ai clienti del cloud AWS la possibilità di implementare facilmente server basati su Fedora. L'aspetto tecnico della creazione di immagini adatte per l'infrastruttura cloud è stato risolto piuttosto rapidamente. Pertanto, sia qcow che […]

Frrouting 7.5

È stata rilasciata una nuova versione del programma per la gestione del routing dinamico in linux/BSD Frrouting! Modifiche disponibili: supporto BFD, supporto ai profili, supporto per impostare un TTL minimo, supporto RPKI in BGP VRF, correzioni in BGP Graceful Restart, aggiunta dell'opzione per la visualizzazione dettagliata delle rotte, aggiunta dell'opzione di configurazione maximum-prefix force bestpath-routes per la configurazione del vicino, aggiunta del comando bgp shutdown message MSG… È stata aggiunta la possibilità […]

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

OCCT — il singolo nucleo attuale di modellazione geometrica con codice sorgente aperto, distribuito sotto licenza libera. Open CASCADE Technology è una componente 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. Versione Open CASCADE […]

È stato rilasciato androwish «The Flux Capacitor».

AndroWish — port nativo di tcl/tk con librerie per la piattaforma Android, che consente di eseguire script senza modifiche o con modifiche minime. Sono in fase di sviluppo anche comandi specifici per Android, per interagire con il sistema e i dispositivi: borg — gestione e interazione con Android; ble — per l'interazione con dispositivi Bluetooth; rfcomm, usbserial — trasmissione dati tramite dispositivi Bluetooth e USB-serial. Include le necessità per […]

Rilascio .NET 5

Microsoft ha rilasciato .NET 5 per i sistemi operativi Windows, macOS e Linux. .NET 5 è una piattaforma open source unificata che combina .NET Core, .NET Framework, Xamarin e Mono, consentendo di utilizzare un'unica base di codice per soluzioni su tutte le piattaforme, inclusi Android e iOS. Le prestazioni sono state notevolmente migliorate e il consumo di memoria ridotto. C# 9 e F# 5 introducono nuove librerie di output code […]

The Mutt 2.0

«Tutti i client di posta elettronica fanno schifo. Questo semplicemente fa meno schifo.» è stato aggiornato alla versione 2.0. Un così radicale aumento del numero nella sua parte principale è dovuto più a una serie di modifiche che interrompono la compatibilità che all'apparizione di nuove funzionalità (che non sono così molte rispetto alle versioni precedenti): quando si utilizza il comando <attach-file> per visualizzare e selezionare più allegati, l'uscita dopo […]

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