Sony publicerade rapporter för räkenskapsåret, som avslutades den 31 mars 2019. Baserat på de data som presenteras kan vi dra slutsatsen att trots en liten nedgång i försäljningen av PlayStation4-hårdvara så säljer själva konsolen fortfarande i en imponerande takt. För närvarande har 96,8 miljoner exemplar av PS4 sålts över hela världen, vilket innebär det totala […]
En av de största ryska utvecklarna, det vetenskapliga och tekniska centret "Module", kom till navigering. Fram till nu har centrets tillgångar inkluderat kontroller och mikroprocessorer för en lång rad olika ändamål. Det nya aktivitetsområdet kommer att utöka upplevelsen och utbudet av ryska utvecklare. I synnerhet kommer Modul att gå in på marknaden för högprecisionsnavigeringsenheter och förväntar sig att uppta 2024–15 % av denna marknad i Ryssland till 18, […]
I årsrapporten, som först publicerades på Intels webbplats i februari i år, kallar företaget av inte helt uppenbara skäl den diskreta grafiklösningen som utvecklas för "den första i sin historia", även om experter inom industrin kanske minns att Intel prövade lyckan med diskreta grafikkort redan i mitten av nittiotalet av förra seklet. I huvudsak utveckla en diskret grafiklösning […]
Microsoft meddelade en gång att de skulle använda cirka 7 GB utrymme på användarens hårddisk för att lagra uppdateringsfiler. Fördelen med detta tillvägagångssätt är att det kommer att säkerställa att du inte får ont om utrymme mitt under en uppdatering. Nackdelen är banal - det finns helt enkelt inte tillräckligt med utrymme på billiga surfplattor och bärbara datorer. Om tidigare minimikravet […]
Enligt min åsikt är ämnet formell verifiering inte tillräckligt täckt i den ryskspråkiga sektorn på Internet, och det saknas särskilt enkla och tydliga exempel. Jag kommer att ge ett exempel från utländsk källa och lägga till min egen lösning på det välkända problemet med att korsa en varg, en get och en kål till andra sidan floden. Men först ska jag kort beskriva vad formell verifiering är och varför [...]
Formell verifiering är verifiering av ett program eller en algoritm med hjälp av ett annat. Detta är en av de mest kraftfulla metoderna som låter dig hitta alla sårbarheter i ett program eller bevisa att de inte finns. En mer detaljerad beskrivning av formell verifiering kan ses i exemplet på att lösa problemet med varg, get och kål i min tidigare artikel. I den här artikeln […]
I den här artikeln kommer jag att berätta hur du använder pinba med clickhouse och grafana istället för pinba_engine och anslagstavla. I ett PHP-projekt är pinba kanske det enda pålitliga sättet att förstå vad som händer med prestanda. Sant, pinba implementeras vanligtvis endast när problem redan observeras och det inte är klart "var man ska gräva." Ofta har ingen någon aning om hur många gånger per sekund/minut […]
Det här är en novell från verklig praktik, när ett litet problem, väl förtäckt av feltolerans, förvandlas till huvudvärk. Liten disposition: En liten gren, den har sin egen PBX (asterisk + FreePBX) baserad på skrivbordshårdvara och samma lokala terminalserver med 1C, en fildump och en virtuell RO-domänkontrollant. Internet distribuerar Mikrotik. Grenen är liten, det räcker för dem. Allt började […]
Detta är den andra i en serie veckosammanfattningar om teknik, människor och hur de påverkar varandra. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) om hur man skapar harmonisk produkttillväxt i en startup. Coola idéer, statistik och exempel från de bästa techföretagen i deras branscher. En elektronisk bok på 19 sidor, rekommenderad läsning för alla […]
TrueOS Project har tillkännagett testning av experimentella versioner av FreeBSD 12-STABLE och FreeBSD 13-CURRENT, som förvandlar det monolitiska bassystemet till en uppsättning sammankopplade paket. Byggnaderna är utvecklade som en del av pkgbase-projektet, som tillhandahåller verktyg för att använda den inbyggda pkg-pakethanteraren för att hantera paketen som utgör bassystemet. Leverans i form av separata paket gör att du kan avsevärt förenkla processen för att uppdatera den grundläggande […]
Ett fotografi av den berömda upptäcktsresanden Ernest Shackletons skepp, som studerade Antarktis, dök upp på den officiella Twittersidan för Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 april 2019 Fotot är textat med datumet 9 maj och det finns ingen beskrivning, så vi kan bara gissa hur Shackletons expeditionsskepp är kopplat till Jeffs rymd företaget Bezos. Det kan antas [...]
Apache Foundation meddelade att de har slutfört arbetet med att integrera sin infrastruktur med GitHub och migrera alla sina git-tjänster till GitHub. Inledningsvis erbjöds två versionskontrollsystem för utveckling av Apache-projekt: det centraliserade versionskontrollsystemet Subversion och det decentraliserade systemet Git. Sedan 2014 har Apache repository mirrors lanserats på GitHub, tillgängliga i skrivskyddat läge. Nu […]
