Sony publiceerde rapporten over het boekjaar, dat eindigde op 31 maart 2019. Op basis van de gepresenteerde gegevens kunnen we concluderen dat, ondanks een lichte vertraging in de verkoop van PlayStation4-hardware, de console zelf nog steeds in een indrukwekkend tempo verkoopt. Momenteel zijn er wereldwijd 96,8 miljoen exemplaren van PS4 verkocht, wat betekent dat het totaal […]
Een van de grootste Russische ontwikkelaars, het wetenschappelijk en technisch centrum "Module", kwam naar navigatie. Tot nu toe bestond het centrum onder meer uit controllers en microprocessors voor een breed scala aan doeleinden. Het nieuwe werkterrein zal de ervaring en het aanbod van Russische ontwikkelaars uitbreiden. In het bijzonder gaat Modul de markt van uiterst nauwkeurige navigatieapparatuur betreden, en verwacht tegen 2024 15-18% van deze markt in Rusland te bezetten, […]
In het jaarverslag, dat in februari van dit jaar voor het eerst op de Intel-website verscheen, noemt het bedrijf, om niet geheel voor de hand liggende redenen, de discrete grafische oplossing die wordt ontwikkeld “de eerste in zijn geschiedenis”, hoewel deskundigen op het gebied van de ontwikkeling van de industrie zich misschien herinneren dat Intel beproefde zijn geluk met discrete videokaarten halverwege de jaren negentig van de vorige eeuw. In wezen is het ontwikkelen van een discrete grafische oplossing […]
Microsoft heeft ooit aangekondigd dat het ongeveer 7 GB ruimte op de harde schijf van de gebruiker zou gebruiken om updatebestanden op te slaan. Het voordeel van deze aanpak is dat u ervoor zorgt dat u tijdens een update niet zonder ruimte komt te zitten. Het nadeel is banaal: er is simpelweg niet genoeg ruimte op goedkope tablets en laptops. Als voorheen de minimumvereiste […]
Naar mijn mening wordt in de Russischtalige sector van het internet het onderwerp formele verificatie niet voldoende behandeld, en is er vooral een gebrek aan eenvoudige en duidelijke voorbeelden. Ik zal een voorbeeld uit een buitenlandse bron geven en mijn eigen oplossing toevoegen aan het bekende probleem van het oversteken van een wolf, een geit en een kool naar de andere kant van de rivier. Maar eerst zal ik kort beschrijven wat formele verificatie is en waarom [...]
Formele verificatie is de verificatie van het ene programma of algoritme met behulp van een ander programma. Dit is een van de krachtigste methoden waarmee je alle kwetsbaarheden in een programma kunt vinden of kunt bewijzen dat ze niet bestaan. Een meer gedetailleerde beschrijving van formele verificatie is te zien in het voorbeeld van het oplossen van het probleem Wolf, Geit en Kool in mijn vorige artikel. In dit artikel heb ik […]
In dit artikel vertel ik je hoe je pinba gebruikt met clickhouse en grafana in plaats van pinba_engine en pinboard. Bij een PHP-project is pinba misschien wel de enige betrouwbare manier om te begrijpen wat er met de prestaties gebeurt. Toegegeven, pinba wordt meestal alleen geïmplementeerd als er al problemen zijn waargenomen en het niet duidelijk is ‘waar te graven’. Vaak heeft niemand enig idee hoe vaak per seconde/minuut […]
Dit is een kort verhaal uit de praktijk, waarin een klein probleem, goed vermomd door fouttolerantie, in hoofdpijn verandert. Kleine instelling: een kleine vestiging, met een eigen PBX (asterisk + FreePBX) op basis van desktophardware en dezelfde lokale terminalserver met 1C, een bestandsdump en een virtuele RO-domeincontroller. Het internet distribueert Mikrotik. De tak is klein, dat is genoeg voor hen. Het begon allemaal […]
Dit is de tweede in een reeks wekelijkse samenvattingen over technologie, mensen en hoe ze elkaar beïnvloeden. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) over hoe je een harmonieuze productgroei in een startup kunt creëren. Coole ideeën, statistieken en voorbeelden van de beste technologiebedrijven in hun branche. Een elektronisch boek van 19 pagina's, aanbevolen leesmateriaal voor iedereen […]
Het TrueOS Project heeft het testen aangekondigd van experimentele builds van FreeBSD 12-STABLE en FreeBSD 13-CURRENT, die het monolithische basissysteem transformeren in een reeks onderling verbonden pakketten. De builds zijn ontwikkeld als onderdeel van het pkgbase-project, dat tools biedt voor het gebruik van de native pkg-pakketbeheerder om de pakketten te beheren waaruit het basissysteem bestaat. Door levering in de vorm van afzonderlijke pakketten kunt u het proces van het bijwerken van de basisgegevens aanzienlijk vereenvoudigen.
Een foto van het schip van de beroemde ontdekkingsreiziger Ernest Shackleton, die Antarctica bestudeerde, verscheen op de officiële Blue Origin Twitter-pagina. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 april 2019 De foto heeft het onderschrift met de datum 9 mei en er is geen beschrijving, dus we kunnen alleen maar raden hoe het expeditieschip van Shackleton is verbonden met Jeffs ruimte bedrijf Bezos. Er kan worden aangenomen [...]
De Apache Foundation heeft aangekondigd dat het de werkzaamheden aan de integratie van zijn infrastructuur met GitHub en de migratie van al zijn git-services naar GitHub heeft voltooid. Voor het ontwikkelen van Apache-projecten werden aanvankelijk twee versiebeheersystemen aangeboden: het centrale versiebeheersysteem Subversion en het decentrale systeem Git. Sinds 2014 zijn Apache-repository-mirrors gelanceerd op GitHub, beschikbaar in de alleen-lezen-modus. Nu […]
