ProHoster > Blog > Notizie su Internet

Categoria: Notizie su Internet

Rubrica Notizie di Internet

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

Uscita .NET 5

Posted on

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

The Mutt 2.0

Posted on

«Tutti i client email fanno schifo. Questo fa meno schifo.» è stato aggiornato alla versione 2.0. Aumento così radicale del numero nella sua parte principale è stato causato più dalla scomparsa di nuove funzionalità (ce ne sono poche rispetto alle versioni precedenti), ma dall'introduzione di alcune modifiche che compromettono la compatibilità: utilizzando il comando per visualizzare e selezionare più allegati, l'uscita dopo […]

Uscita QVGE 0.6.1 (integrazione con GraphViz)

Posted on

https://www.linux.org.ru/images/19295/1500px.jpg È stato rilasciato un nuovo aggiornamento dell'editor visivo di grafi multipiattaforma Qt Visual Graph Editor 0.6.1. Questa versione si distingue per una maggiore integrazione con il pacchetto GraphViz, in particolare: i grafi in formato DOT vengono caricati direttamente tramite dot, il che consente di eseguire il parsing in modo molto più efficiente; chiamata ai motori di layout GraphViz direttamente dall'interfaccia grafica dell'app, con visualizzazione immediata dei risultati. Inoltre, dall'app […]

« all'inizio 609 610 611 612 613 614 615 616 617 618 alla fine »
Acquista hosting affidabile per siti web con protezione DDoS, VPS VDS server 🔥 Acquista hosting affidabile per siti web con protezione DDoS, VPS VDS server | ProHoster