Sony offentliggjorde rapporter for regnskabsåret, som sluttede den 31. marts 2019. Baseret på de præsenterede data kan vi konkludere, at på trods af en lille nedgang i salget af PlayStation4-hardware, sælger selve konsollen stadig med en imponerende hastighed. I øjeblikket er 96,8 millioner eksemplarer af PS4 blevet solgt på verdensplan, hvilket betyder det samlede […]
En af de største russiske udviklere, det videnskabelige og tekniske center "Module", kom til navigation. Indtil nu omfattede centrets aktiver controllere og mikroprocessorer til en lang række formål. Det nye aktivitetsområde vil udvide oplevelsen og tilbuddet fra russiske udviklere. Især vil Modul gå ind på markedet for højpræcisionsnavigationsenheder og forventer at besætte 2024-15% af dette marked i Rusland i 18, […]
I årsrapporten, som først blev offentliggjort på Intels hjemmeside i februar i år, kalder virksomheden af ikke helt indlysende årsager den diskrete grafikløsning, der udvikles, for "den første i sin historie", selvom brancheudviklingseksperter måske husker, at Intel prøvede lykken med diskrete videokort tilbage i midten af halvfemserne af forrige århundrede. I bund og grund udvikler en diskret grafikløsning […]
Microsoft annoncerede engang, at det ville bruge omkring 7 GB plads på brugerens harddisk til at gemme opdateringsfiler. Fordelen ved denne tilgang er, at den sikrer, at du ikke løber tør for plads midt i en opdatering. Ulempen er banal - der er simpelthen ikke plads nok på billige tablets og bærbare computere. Hvis tidligere minimumskravet […]
Efter min mening er emnet formel verifikation ikke dækket tilstrækkeligt i den russisksprogede sektor af internettet, og der mangler især enkle og klare eksempler. Jeg vil give et eksempel fra en udenlandsk kilde og tilføje min egen løsning på det velkendte problem med at krydse en ulv, en ged og en kål til den anden side af floden. Men først vil jeg kort beskrive, hvad formel verifikation er, og hvorfor [...]
Formel verifikation er verifikation af et program eller en algoritme ved hjælp af et andet. Dette er en af de mest kraftfulde metoder, der giver dig mulighed for at finde alle sårbarheder i et program eller bevise, at de ikke eksisterer. En mere detaljeret beskrivelse af formel verifikation kan ses i eksemplet med løsning af ulv-, ged- og kålproblemet i min tidligere artikel. I denne artikel har jeg […]
I denne artikel vil jeg fortælle dig, hvordan du bruger pinba med clickhouse og grafana i stedet for pinba_engine og pinboard. På et PHP-projekt er pinba måske den eneste pålidelige måde at forstå, hvad der sker med ydeevnen. Sandt nok implementeres pinba normalt kun, når problemer allerede er observeret, og det ikke er klart "hvor man skal grave." Ofte aner ingen, hvor mange gange i sekundet/minut […]
Dette er en novelle fra virkelig praksis, hvor et lille problem, godt skjult af fejltolerance, bliver til hovedpine. Lille disposition: En lille gren, den har sin egen PBX (stjerne + FreePBX) baseret på desktop-hardware og den samme lokale terminalserver med 1C, et fildump og en virtuel RO-domænecontroller. Internettet distribuerer Mikrotik. Grenen er lille, det er nok for dem. Det hele startede […]
Dette er den anden i rækken af ugentlige fortællinger om teknologi, mennesker og hvordan de påvirker hinanden. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) om, hvordan man skaber harmonisk produktvækst i en startup. Fede ideer, statistikker og eksempler fra de bedste tech-virksomheder i deres brancher. En elektronisk bog på 19 sider, anbefalet læsning for alle […]
TrueOS-projektet har annonceret test af eksperimentelle builds af FreeBSD 12-STABLE og FreeBSD 13-CURRENT, som transformerer det monolitiske basissystem til et sæt indbyrdes forbundne pakker. Bygningerne er udviklet som en del af pkgbase-projektet, som giver værktøjer til at bruge den native pkg-pakkehåndtering til at administrere de pakker, der udgør basissystemet. Levering i form af separate pakker giver dig mulighed for betydeligt at forenkle processen med at opdatere den grundlæggende […]
Et fotografi af den berømte opdagelsesrejsende Ernest Shackletons skib, der studerede Antarktis, dukkede op på den officielle Blue Origin Twitter-side. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. april 2019 Billedet er undertekstet med datoen 9. maj, og der er ingen beskrivelse, så vi kan kun gætte, hvordan Shackletons ekspeditionsskib er forbundet med Jeffs rum firma Bezos. Det kan antages [...]
Apache Foundation annoncerede, at det har afsluttet arbejdet med at integrere sin infrastruktur med GitHub og migrere alle dets git-tjenester til GitHub. Oprindeligt blev to versionskontrolsystemer tilbudt til udvikling af Apache-projekter: det centraliserede versionskontrolsystem Subversion og det decentraliserede system Git. Siden 2014 er Apache repository mirrors blevet lanceret på GitHub, tilgængelig i skrivebeskyttet tilstand. Nu […]
