Sony ha pubblicato i rapporti per l'anno finanziario, che si è concluso il 31 marzo 2019. Sulla base dei dati presentati, possiamo concludere che, nonostante un leggero rallentamento nelle vendite dell'hardware PlayStation4, la console stessa continua a vendere a un ritmo impressionante. Attualmente, 96,8 milioni di copie di PS4 sono state vendute in tutto il mondo, il che significa che il totale […]
Uno dei più grandi sviluppatori russi, il centro scientifico e tecnico "Module", è arrivato alla navigazione. Fino ad ora, le risorse del centro includevano controllori e microprocessori per un'ampia gamma di scopi. La nuova area di attività amplierà l’esperienza e l’offerta degli sviluppatori russi. In particolare, Modul entrerà nel mercato dei dispositivi di navigazione ad alta precisione, prevedendo di occupare il 2024-15% di questo mercato in Russia entro il 18, […]
Nel rapporto annuale, apparso per la prima volta sul sito Web di Intel nel febbraio di quest'anno, l'azienda, per ragioni non del tutto ovvie, definisce la soluzione grafica discreta in fase di sviluppo "la prima della sua storia", anche se gli esperti di sviluppo del settore potrebbero ricordare che Intel ha tentato la fortuna con le schede video discrete a metà degli anni Novanta del secolo scorso. In sostanza, lo sviluppo di una soluzione grafica discreta […]
Microsoft una volta annunciò che avrebbe utilizzato circa 7 GB di spazio sul disco rigido dell'utente per archiviare i file di aggiornamento. Il vantaggio di questo approccio è che garantirà di non rimanere senza spazio nel bel mezzo di un aggiornamento. Lo svantaggio è banale: semplicemente non c'è abbastanza spazio su tablet e laptop economici. Se in precedenza il requisito minimo […]
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]
La verifica formale è la verifica di un programma o algoritmo utilizzandone un altro. Questo è uno dei metodi più potenti che ti consente di trovare tutte le vulnerabilità in un programma o dimostrare che non esistono. Una descrizione più dettagliata della verifica formale può essere vista nell'esempio della risoluzione del problema del lupo, della capra e del cavolo nel mio articolo precedente. In questo articolo ho […]
In questo articolo ti spiegherò come utilizzare pinba con clickhouse e grafana invece di pinba_engine e pinboard. In un progetto PHP, pinba è forse l'unico modo affidabile per capire cosa sta succedendo con le prestazioni. È vero, Pinba viene solitamente implementato solo quando si sono già osservati problemi e non è chiaro "dove scavare". Spesso nessuno ha idea di quante volte al secondo/minuto […]
Questa è una breve storia tratta dalla pratica reale, quando un piccolo problema, ben mascherato dalla tolleranza agli errori, si trasforma in un mal di testa. Piccola disposizione: una piccola filiale, ha il proprio PBX (asterisco + FreePBX) basato su hardware desktop e lo stesso terminal server locale con 1C, un file dump e un controller di dominio RO virtuale. Internet distribuisce Mikrotik. Il ramo è piccolo, a loro basta. Tutto iniziò […]
Questo è il secondo di una serie di riassunti settimanali sulla tecnologia, le persone e il modo in cui si influenzano a vicenda. Andy Jones (ex Wealthfront, Facebook, Twitter, Quora) su come creare una crescita armoniosa del prodotto in una startup. Idee interessanti, statistiche ed esempi delle migliori aziende tecnologiche nei loro settori. Un libro elettronico di 19 pagine, lettura consigliata a chiunque […]
Il progetto TrueOS ha annunciato il test di build sperimentali di FreeBSD 12-STABLE e FreeBSD 13-CURRENT, che trasformano il sistema di base monolitico in un insieme di pacchetti interconnessi. Le build sono sviluppate come parte del progetto pkgbase, che fornisce strumenti per utilizzare il gestore di pacchetti nativo pkg per gestire i pacchetti che compongono il sistema di base. La consegna sotto forma di pacchetti separati consente di semplificare notevolmente il processo di aggiornamento del sistema di base […]
На официальной странице компании Blue Origin в сети Twitter появилась фотография корабля знаменитого исследователя Эрнеста Шеклтона, занимавшегося изучением Антарктики. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 апреля 2019 г. Фотография озаглавлена датой 9 мая, а какое-либо описание отсутствует, поэтому нам остаётся лишь догадываться, как экспедиционный корабль Шеклтона связан с космической компанией Джеффа Безоса. Можно предположить, […]
La Apache Foundation ha annunciato di aver completato il lavoro sull'integrazione della propria infrastruttura con GitHub e sulla migrazione di tutti i suoi servizi git su GitHub. Inizialmente venivano offerti due sistemi di controllo della versione per lo sviluppo di progetti Apache: il sistema di controllo della versione centralizzato Subversion e il sistema decentralizzato Git. Dal 2014, su GitHub sono stati lanciati i mirror dei repository Apache, disponibili in modalità di sola lettura. Ora […]
