Sony publiserte rapporter for regnskapsåret, som ble avsluttet 31. mars 2019. Basert på dataene som presenteres, kan vi konkludere med at til tross for en liten nedgang i salget av PlayStation4-maskinvare, selger konsollen i seg selv i en imponerende hastighet. For øyeblikket er 96,8 millioner eksemplarer av PS4 solgt over hele verden, noe som betyr totalt […]
En av de største russiske utviklerne, det vitenskapelige og tekniske senteret "Module", kom til navigering. Inntil nå har senterets eiendeler inkludert kontrollere og mikroprosessorer for en lang rekke formål. Det nye aktivitetsområdet vil utvide opplevelsen og tilbudet til russiske utviklere. Spesielt kommer Modul til å gå inn på markedet for høypresisjonsnavigasjonsenheter, og forventer å okkupere 2024–15 % av dette markedet i Russland innen 18, […]
I årsrapporten, som først dukket opp på Intels nettsider i februar i år, kaller selskapet, av ikke helt åpenbare grunner, den diskrete grafikkløsningen som utvikles for «den første i sin historie», selv om industriutviklingseksperter kanskje husker at Intel prøvde lykken med diskrete skjermkort på midten av nittitallet av forrige århundre. I hovedsak utvikle en diskret grafikkløsning […]
Microsoft annonserte en gang at de ville bruke omtrent 7 GB plass på brukerens harddisk for å lagre oppdateringsfiler. Fordelen med denne tilnærmingen er at den sikrer at du ikke går tom for plass midt i en oppdatering. Ulempen er banal - det er rett og slett ikke nok plass på rimelige nettbrett og bærbare datamaskiner. Hvis tidligere minimumskravet […]
Etter min mening, i den russiskspråklige sektoren av Internett, er ikke temaet formell verifisering tilstrekkelig dekket, og det er spesielt mangel på enkle og klare eksempler. Jeg vil gi et eksempel fra en utenlandsk kilde, og legge til min egen løsning på det velkjente problemet med å krysse en ulv, en geit og en kål til den andre siden av elva. Men først vil jeg kort beskrive hva formell verifisering er og hvorfor [...]
Formell verifisering er verifisering av ett program eller algoritme ved hjelp av et annet. Dette er en av de kraftigste metodene som lar deg finne alle sårbarheter i et program eller bevise at de ikke eksisterer. En mer detaljert beskrivelse av formell verifisering kan sees i eksempelet på løsning av ulv-, geit- og kålproblemet i min forrige artikkel. I denne artikkelen […]
I denne artikkelen vil jeg fortelle deg hvordan du bruker pinba med clickhouse og grafana i stedet for pinba_engine og pinboard. På et PHP-prosjekt er pinba kanskje den eneste pålitelige måten å forstå hva som skjer med ytelsen. Sant, pinba implementeres vanligvis bare når problemer allerede er observert og det ikke er klart "hvor du skal grave." Ofte er det ingen som aner hvor mange ganger per sekund/minutt […]
Dette er en novelle fra virkelig praksis, når et lite problem, godt forkledd av feiltoleranse, blir til en hodepine. Liten disposisjon: En liten gren, den har sin egen PBX (stjerne + FreePBX) basert på stasjonær maskinvare og den samme lokale terminalserveren med 1C, en fildump og en virtuell RO-domenekontroller. Internett distribuerer Mikrotik. Grenen er liten, det er nok for dem. Alt startet […]
Это второй в серии еженедельных дайджестов о технологиях, людях и том, как они влияют друг на друга. Энди Джонс (экс Wealthfront, Facebook, Twitter, Quora) о том, как создавать гармоничный рост продукта в стартапе. Классные идеи, статистика и примеры из лучших технологических компаний в своих отраслях. Электронная книжка на 19 страниц, рекомендуется к прочтению любому человеку, […]
TrueOS-prosjektet har annonsert testing av eksperimentelle bygg av FreeBSD 12-STABLE og FreeBSD 13-CURRENT, som transformerer det monolittiske basesystemet til et sett med sammenkoblede pakker. Byggene er utviklet som en del av pkgbase-prosjektet, som gir verktøy for å bruke den opprinnelige pkg-pakkebehandleren til å administrere pakkene som utgjør basissystemet. Levering i form av separate pakker lar deg forenkle prosessen med å oppdatere grunnleggende […]
Et fotografi av skipet til den berømte oppdageren Ernest Shackleton, som studerte Antarktis, dukket opp på den offisielle Blue Origin Twitter-siden. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. april 2019 Bildet er undertekst med datoen 9. mai og det er ingen beskrivelse, så vi kan bare gjette hvordan Shackletons ekspedisjonsskip er koblet til Jeffs rom selskapet Bezos. Det kan antas [...]
Apache Foundation kunngjorde at de har fullført arbeidet med å integrere sin infrastruktur med GitHub og migrere alle git-tjenestene til GitHub. Opprinnelig ble to versjonskontrollsystemer tilbudt for å utvikle Apache-prosjekter: det sentraliserte versjonskontrollsystemet Subversion og det desentraliserte systemet Git. Siden 2014 har Apache repository mirrors blitt lansert på GitHub, tilgjengelig i skrivebeskyttet modus. Nå […]
