Categoria: Blog

La nuova versione del driver grafico NVIDIA provoca un alto carico sulla CPU

Recentemente, NVIDIA ha rilasciato la versione del driver grafico 430.39 per la piattaforma Windows, compatibile con l'aggiornamento di maggio del sistema operativo Microsoft. Inoltre, la nuova versione del driver include il supporto per nuovi processori, compatibili con la tecnologia G-Sync dei monitor e altro ancora. Il driver contiene aggiornamenti importanti, ma alcuni utenti hanno notato che l'uso di questo driver porta a un elevato […]

Uber: nuovi investimenti e preparativi per l'IPO

Sembra che Uber stia attraversando un momento particolarmente positivo. Ieri, la società americana ha fissato un prezzo per le proprie azioni in un intervallo compreso tra 44 e 50 dollari USA per titolo, secondo le informazioni aggiornate dalla Commissione per i valori mobiliari e le borse degli Stati Uniti. Uber prevede di offrire 180 milioni di azioni e di raccogliere circa 9 miliardi di dollari durante l'IPO. […]

Dalla modellazione dei processi alla progettazione di un sistema automatizzato (Parte 2)

«Un giorno nella vita di uno scoiattolo» o dalla modellizzazione dei processi alla progettazione di un sistema automatizzato per la gestione dei beni materiali «Scoiattolo-1.0» (Parte 2) È stata utilizzata un'illustrazione da «La fiaba del re Saltano» di A.S. Pushkin, edizione «Letteratura per bambini», Mosca, 1949, Leningrado, illustrazioni di K.Kuznetsov. Riassunto della parte precedente. Nella prima parte abbiamo utilizzato l'area tematica «fiabesca», ispirati dagli esempi di studio dei diagrammi UML basati su […]

Definiamo le funzioni del sistema con un diagramma Sequence

Definiamo le funzioni del sistema con un diagramma Sequence (continua «Scoiattolo») In questo articolo vedremo come dettagliere (precisare) la descrizione di una funzione automatizzata usando il UML Sequence Diagram — diagramma di sequenza. In questo esempio utilizzo l'ambiente Enterprise Architect della società australiana Sparx Systems [1]. Per la specifica completa di UML, vedere qui [2]. Iniziamo spiegando che ci occuperemo di […]

Test: Come state gestendo i requisiti per il trattamento dei dati personali?

La multa per violazione della legge sulla protezione dei dati personali può arrivare fino a 75.000 rubli. Come proteggersi dalle violazioni durante l'elaborazione dei dati personali? Hai rispettato tutti i requisiti di legge? Dal 1° luglio 2017, le multe sono aumentate e dipendono dalla natura delle violazioni. Sì, è passato abbastanza tempo, ma, come spesso accade, specialmente in Russia, dove […]

Il centro scientifico e tecnico «Modulo» ha presentato un ricevitore per la navigazione ad alta precisione

Uno dei maggiori sviluppatori russi, il centro scientifico e tecnico «Modul», è entrato nel campo della navigazione. Finora il centro ha avuto a disposizione controllori e microprocessori di ampia gamma. Questo nuovo settore consentirà di ampliare l'esperienza e l'offerta degli sviluppatori russi. In particolare, «Modul» intende entrare nel mercato dei dispositivi di navigazione ad alta precisione, puntando a conquistare il 15-18% di questo mercato in Russia entro il 2024, […]

Windows 10 ‘crescerà’ almeno fino a 32 GB

In passato, Microsoft ha annunciato che utilizzerà circa 7 GB di spazio sul disco rigido dell'utente per memorizzare i file degli aggiornamenti. Il vantaggio di questo approccio è che garantirà che lo spazio non finisca durante l'aggiornamento. Tuttavia, lo svantaggio è ovvio: su tablet e laptop economici lo spazio sarà semplicemente insufficiente. Se precedentemente il requisito minimo […]

Verifica formale con l'esempio del problema del lupo, della capra e del cavolo

A mio avviso, nel settore russofono di Internet, il tema della verifica formale è poco trattato, e mancano soprattutto esempi semplici e chiari. Darò un esempio da una fonte estera e aggiungerò la mia soluzione a un noto problema riguardante il trasporto del lupo, della capra e del cavolo sull'altra sponda del fiume. Ma prima descriverò brevemente cos'è la verifica formale e a cosa serve […]

Statistiche e monitoraggio degli script PHP in tempo reale. ClickHouse e Grafana supportano Pinba.

In questo articolo parlerò di come utilizzare pinba insieme a clickhouse e grafana invece di pinba_engine e pinboard. In un progetto php, pinba è senza dubbio il modo più affidabile per comprendere cosa sta succedendo con le prestazioni. Tuttavia, di solito pinba viene implementato solo quando si riscontrano già problemi e non è chiaro "dove scavare". Spesso nessuno ha idea di quante volte al secondo/minuto venga chiamato […]

Stiamo cercando il problema nel posto sbagliato.

Questa è una piccola storia tratta dalla realtà, in cui un piccolo problema, abilmente mascherato dalla ridondanza, si trasforma in un grande mal di testa. Un breve contesto: una piccola filiale, dotata di un centralino (Asterisk + FreePBX) basato su hardware desktop e un server locale con 1C, un garage di file e un controller di dominio virtuale RO. La connessione internet è fornita da Mikrotik. Per la piccola filiale, è più che sufficiente. Tutto è iniziato […]

Test di suddivisione del sistema base FreeBSD in pacchetti

Il progetto TrueOS ha annunciato il test di versioni sperimentali di FreeBSD 12-STABLE e FreeBSD 13-CURRENT, in cui il sistema di base monolitico è stato trasformato in un insieme di pacchetti interconnessi. Le versioni vengono sviluppate nell'ambito del progetto pkgbase, che fornisce strumenti per utilizzare il gestore di pacchetti predefinito pkg per la gestione dei pacchetti che formano il sistema di base. La fornitura sotto forma di pacchetti separati semplifica notevolmente il processo di aggiornamento della base […]

La Fondazione Apache ha trasferito i suoi repository Git su GitHub.

La fondazione Apache ha annunciato il completamento del lavoro per integrare la propria infrastruttura con GitHub e il trasferimento di tutti i suoi servizi git su GitHub. Inizialmente, per lo sviluppo dei progetti Apache erano disponibili due sistemi di controllo versione: un sistema di versionamento centralizzato, Subversion, e un sistema decentralizzato, Git. Dal 2014, su GitHub sono state lanciate delle copie di sola lettura dei repository Apache. Ora […]

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