Sony het verslae vir die boekjaar gepubliseer, wat op 31 Maart 2019 tot 'n einde gekom het. Op grond van die data wat aangebied word, kan ons aflei dat ondanks 'n effense verlangsaming in die verkope van PlayStation4-hardeware, die konsole self steeds teen 'n indrukwekkende koers verkoop. Tans is 96,8 miljoen kopieë van PS4 wêreldwyd verkoop, wat beteken die totale […]
Een van die grootste Russiese ontwikkelaars, die wetenskaplike en tegniese sentrum "Module", het na navigasie gekom. Tot nou toe het die sentrum se bates beheerders en mikroverwerkers vir 'n wye verskeidenheid doeleindes ingesluit. Die nuwe area van aktiwiteit sal die ervaring en aanbod van Russiese ontwikkelaars uitbrei. Module gaan veral die mark van hoëpresisie-navigasietoestelle betree, en verwag om 2024–15% van hierdie mark in Rusland teen 18 te beset, […]
In die jaarverslag, wat vir die eerste keer in Februarie vanjaar op die Intel-webwerf verskyn het, noem die maatskappy, om nie heeltemal ooglopende redes nie, die diskrete grafiese oplossing wat ontwikkel word "die eerste in sy geskiedenis", hoewel kundiges in die industrie-ontwikkeling dalk onthou dat Intel het sy geluk probeer met diskrete videokaarte in die middel van die negentigerjare van die vorige eeu. In wese, die ontwikkeling van 'n diskrete grafiese oplossing […]
Microsoft het eenkeer aangekondig dat dit ongeveer 7 GB spasie op die gebruiker se hardeskyf sal gebruik om opdateringlêers te stoor. Die voordeel van hierdie benadering is dat dit sal verseker dat u nie sonder spasie in die middel van 'n opdatering opraak nie. Die nadeel is banaal - daar is eenvoudig nie genoeg spasie op goedkoop tablette en skootrekenaars nie. Indien voorheen die minimum vereiste […]
Na my mening, in die Russies-talige sektor van die internet, is die onderwerp van formele verifikasie nie voldoende gedek nie, en daar is veral 'n gebrek aan eenvoudige en duidelike voorbeelde. Ek sal 'n voorbeeld uit 'n buitelandse bron gee, en my eie oplossing byvoeg vir die bekende probleem om 'n wolf, 'n bok en 'n kool na die ander kant van die rivier oor te steek. Maar eers sal ek kortliks beskryf wat formele verifikasie is en hoekom [...]
Formele verifikasie is die verifikasie van een program of algoritme deur 'n ander te gebruik. Dit is een van die kragtigste metodes waarmee u alle kwesbaarhede in 'n program kan vind of bewys dat dit nie bestaan nie. 'n Meer gedetailleerde beskrywing van formele verifikasie kan gesien word in die voorbeeld van die oplossing van die Wolf-, Bok- en Koolprobleem in my vorige artikel. In hierdie artikel het ek […]
In hierdie artikel sal ek jou vertel hoe om pinba met clickhouse en grafana te gebruik in plaas van pinba_engine en pinboard. Op 'n PHP-projek is pinba miskien die enigste betroubare manier om te verstaan wat met prestasie gebeur. Dit is waar, pinba word gewoonlik slegs geïmplementeer wanneer probleme reeds waargeneem word en dit nie duidelik is "waar om te grawe nie." Dikwels het niemand enige idee hoeveel keer per sekonde/minuut […]
Hierdie is 'n kortverhaal uit werklike praktyk, wanneer 'n klein probleem, goed vermom deur foutverdraagsaamheid, in 'n hoofpyn ontaard. Klein gesindheid: 'n Klein tak, dit het sy eie PBX (sterretjie + FreePBX) gebaseer op rekenaarhardeware en dieselfde plaaslike terminale bediener met 1C, 'n lêerstorting en 'n virtuele RO-domeinbeheerder. Die internet versprei Mikrotik. Die tak is klein, dit is genoeg vir hulle. Dit het alles begin […]
Dit is die tweede in 'n reeks weeklikse oorsigte oor tegnologie, mense en hoe hulle mekaar beïnvloed. Andy Jones (oud-Wealthfront, Facebook, Twitter, Quora) oor hoe om harmonieuse produkgroei in 'n beginonderneming te skep. Cool idees, statistieke en voorbeelde van die beste tegnologiemaatskappye in hul industrieë. ’n Elektroniese boek van 19 bladsye, aanbeveel leeswerk vir enigiemand […]
Die TrueOS-projek het die toetsing van eksperimentele bouwerk van FreeBSD 12-STABLE en FreeBSD 13-CURRENT aangekondig, wat die monolitiese basisstelsel in 'n stel onderling gekoppelde pakkette omskep. Die bouwerk word ontwikkel as deel van die pkgbase-projek, wat gereedskap verskaf om die inheemse pkg-pakketbestuurder te gebruik om die pakkette waaruit die basisstelsel bestaan, te bestuur. Aflewering in die vorm van afsonderlike pakkette laat jou toe om die proses van die opdatering van die basiese […]
’n Foto van die skip van die bekende ontdekkingsreisiger Ernest Shackleton, wat die Antarktika bestudeer het, het op die amptelike Blue Origin Twitter-bladsy verskyn. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 April 2019 Die foto is onderskrif met die datum 9 Mei en daar is geen beskrywing nie, so ons kan net raai hoe Shackleton se ekspedisieskip met Jeff se ruimte verbind is maatskappy Bezos. Dit kan aanvaar word [...]
Die Apache-stigting het aangekondig dat hy werk voltooi het om sy infrastruktuur met GitHub te integreer en al sy git-dienste na GitHub te migreer. Aanvanklik is twee weergawebeheerstelsels aangebied vir die ontwikkeling van Apache-projekte: die gesentraliseerde weergawebeheerstelsel Subversion en die gedesentraliseerde stelsel Git. Sedert 2014 is Apache-bewaarspieëls op GitHub bekendgestel, beskikbaar in leesalleen-modus. Nou […]
