Author: ProHoster

Sony om mear dan 5 miljoen PS100-konsoles te ferkeapjen troch PlayStation 4 lansearring

Sony publisearre rapporten foar it begruttingsjier, dat op 31 maart 2019 ta in ein kaam. Op grûn fan 'e presinteare gegevens kinne wy ​​konkludearje dat nettsjinsteande in lichte fertraging yn ferkeap fan PlayStation4-hardware, de konsole sels noch yn in yndrukwekkend taryf ferkeapet. Op it stuit binne 96,8 miljoen eksimplaren fan PS4 wrâldwiid ferkocht, wat betsjut dat de totale […]

Wittenskiplik en Technysk Sintrum "Module" presintearre in ûntfanger foar hege-precision navigaasje

Ien fan 'e grutste Russyske ûntwikkelders, it wittenskiplik en technysk sintrum "Module", kaam ta navigaasje. Oant no ta omfette de aktiva fan it sintrum controllers en mikroprocessors foar in breed skala oan doelen. It nije gebiet fan aktiviteit sil de ûnderfining en oanbod fan Russyske ûntwikkelders útwreidzje. Yn it bysûnder sil Modul de merk fan navigaasjeapparaten mei hege presyzje yngean, en ferwachtet 2024–15% fan dizze merk yn Ruslân yn 18 te besetten, […]

Takomstige Intel-fideokaarten sille wurde ferienige mei yntegreare grafyske arsjitektuer

Yn it jierferslach, dat foar it earst ferskynde op 'e Intel-webside yn febrewaris fan dit jier, neamt it bedriuw, om net folslein foar de hân lizzende redenen, de diskrete grafyske oplossing dy't ûntwikkele wurdt "de earste yn har skiednis", hoewol saakkundigen yn 'e yndustryûntwikkeling miskien ûnthâlde dat Intel besocht syn gelok mei diskrete video kaarten werom yn 'e midden fan' e jierren njoggentich fan 'e foarige ieu. Yn essinsje, it ûntwikkeljen fan in diskrete grafyske oplossing […]

Windows 10 sil "fet groeie" nei op syn minst 32 GB

Microsoft kundige ienris oan dat it sawat 7 GB romte soe brûke op 'e hurde skiif fan 'e brûker om updatebestannen op te slaan. It foardiel fan dizze oanpak is dat it sil soargje dat jo gjin romte hawwe yn 'e midden fan in update. It neidiel is banaal - d'r is gewoan net genôch romte op goedkeape tablets en laptops. As earder de minimale eask […]

Formele ferifikaasje mei it foarbyld fan it probleem fan wolf, geit en koal

Yn myn miening, yn 'e Russysktalige sektor fan it ynternet, is it ûnderwerp fan formele ferifikaasje net genôch behannele, en d'r is benammen in gebrek oan ienfâldige en dúdlike foarbylden. Ik sil in foarbyld jaan út in bûtenlânske boarne en myn eigen oplossing tafoegje foar it bekende probleem fan it oerstekken fan in wolf, in geit en in koal nei de oare kant fan de rivier. Mar earst sil ik koart beskriuwe wat formele ferifikaasje is en wêrom [...]

It meitsjen fan in formeel ferifikaasjesysteem fanôf it begjin. Diel 1: Virtuele masine foar karakter yn PHP en Python

Formele ferifikaasje is de ferifikaasje fan ien programma of algoritme mei in oar. Dit is ien fan 'e machtichste metoaden wêrmei jo alle kwetsberens yn in programma kinne fine of bewize dat se net bestean. In mear detaillearre beskriuwing fan formele ferifikaasje kin sjoen wurde yn it foarbyld fan it oplossen fan it probleem Wolf, Goat, en Cabbage yn myn foarige artikel. Yn dit artikel ik […]

Statistiken en monitoaring fan PHP-skripts yn echte tiid. ClickHouse en Grafana komme Pinba te helpen

Yn dit artikel sil ik jo fertelle hoe't jo pinba brûke kinne mei clickhouse en grafana ynstee fan pinba_engine en pinboard. Op in PHP-projekt is pinba miskien de ienige betroubere manier om te begripen wat der bart mei prestaasjes. Wier, pinba wurdt normaal allinich ymplementearre as problemen al wurde waarnommen en it is net dúdlik "wêr te graven." Faak hat gjinien gjin idee hoefolle kearen per sekonde/minút […]

Op syk nei in probleem op it ferkearde plak

Dit is in koart ferhaal út 'e echte praktyk, as in lyts probleem, goed ferklaaid troch skuldtolerânsje, feroaret yn in hoofdpijn. Lytse disposysje: In lytse tûke, it hat in eigen PBX (asterisk + FreePBX) basearre op buroblêd hardware en deselde lokale terminal tsjinner mei 1C, in triem dump en in firtuele RO domein controller. It ynternet ferspriedt Mikrotik. De tûke is lyts, dat is genôch foar harren. It begon allegear […]

"Tink derom" #2: Digest fan artikels oer produkttinken, gedrachspsychology en persoanlike produktiviteit

Dit is de twadde yn in searje wyklikse digests oer technology, minsken en hoe't se inoar beynfloedzje. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) oer hoe't jo in harmonieuze produktgroei kinne meitsje yn in opstart. Coole ideeën, statistiken en foarbylden fan 'e bêste techbedriuwen yn har yndustry. In elektroanysk boek fan 19 siden, oanrikkemandearre lêzen foar elkenien […]

It testen fan de pakketsplitsing fan it FreeBSD-basissysteem

It TrueOS Project hat testen oankundige fan eksperimintele builds fan FreeBSD 12-STABLE en FreeBSD 13-CURRENT, dy't it monolithyske basissysteem transformearje yn in set fan meiinoar ferbûne pakketten. De builds wurde ûntwikkele as ûnderdiel fan it pkgbase-projekt, dat ark biedt foar it brûken fan de native pkg-pakketbehearder om de pakketten te behearjen dy't it basissysteem foarmje. Levering yn 'e foarm fan aparte pakketten kinne jo it proses fan it bywurkjen fan de basis […]

Blue Origin tweeted in mysterieuze foto fan Shackleton's skip

In foto fan it skip fan 'e ferneamde ûntdekkingsreizger Ernest Shackleton, dy't de Antarktika studearre, ferskynde op 'e offisjele Blue Origin Twitter-side. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 april 2019 De foto is byskrift mei de datum 9 maaie en d'r is gjin beskriuwing, dus wy kinne allinich riede hoe't it ekspedysjeskip fan Shackleton ferbûn is mei Jeff's romte bedriuw Bezos. It kin oannommen wurde [...]

De Apache Foundation hat har Git-repositories ferpleatst nei GitHub

De Apache Foundation kundige oan dat it wurk hat foltôge oan it yntegrearjen fan har ynfrastruktuer mei GitHub en it migrearjen fan al har git-tsjinsten nei GitHub. Yn it earstoan waarden twa ferzjekontrôlesystemen oanbean foar it ûntwikkeljen fan Apache-projekten: it sintralisearre ferzjekontrôlesysteem Subversion en it desintralisearre systeem Git. Sûnt 2014 binne Apache-repositoryspegels lansearre op GitHub, beskikber yn allinich-lêsmodus. No […]