Awtur: ProHoster

Sony se tbigħ 'il fuq minn 5 miljun console PS100 mit-tnedija ta' PlayStation 4

Sony ppubblikat rapporti għas-sena finanzjarja, li waslet fi tmiemha fil-31 ta’ Marzu, 2019. Fuq il-bażi tad-dejta ppreżentata, nistgħu nikkonkludu li minkejja tnaqqis żgħir fil-bejgħ tal-hardware PlayStation4, il-console innifsu għadu qed ibiegħ b'rata impressjonanti. Bħalissa, 96,8 miljun kopja ta 'PS4 inbiegħu madwar id-dinja, li jfisser it-total […]

Iċ-Ċentru Xjentifiku u Tekniku "Modulu" ippreżenta riċevitur għal navigazzjoni ta 'preċiżjoni għolja

Wieħed mill-akbar żviluppaturi Russi, iċ-ċentru xjentifiku u tekniku "Modulu", wasal għan-navigazzjoni. Sa issa, l-assi taċ-ċentru kienu jinkludu kontrolluri u mikroproċessuri għal firxa wiesgħa ta’ skopijiet. Iż-żona l-ġdida ta 'attività se tespandi l-esperjenza u l-offerta tal-iżviluppaturi Russi. B'mod partikolari, Modul se jidħol fis-suq ta' apparat ta' navigazzjoni ta' preċiżjoni għolja, u jistenna li jokkupa 2024-15% ta' dan is-suq fir-Russja sal-18, [...]

Kards tal-vidjo Intel futuri se jkunu unifikati b'arkitettura tal-grafika integrata

Fir-rapport annwali, li deher għall-ewwel darba fuq il-websajt Intel fi Frar ta 'din is-sena, il-kumpanija, għal raġunijiet mhux kompletament ovvji, issejjaħ is-soluzzjoni grafika diskreta li qed tiġi żviluppata "l-ewwel fl-istorja tagħha", għalkemm l-esperti tal-iżvilupp tal-industrija jistgħu jiftakru li Intel ippruvat xortih b'kards tal-vidjo diskreti lura f'nofs id-disgħinijiet tas-seklu li għadda. Essenzjalment, tiżviluppa soluzzjoni grafika diskreta [...]

Windows 10 se "tikber ix-xaħam" għal mill-inqas 32 GB

Microsoft darba ħabbret li kienet se tuża madwar 7 GB ta 'spazju fuq il-hard drive tal-utent biex taħżen fajls ta' aġġornament. Il-benefiċċju ta' dan l-approċċ huwa li jiżgura li ma tispiċċax l-ispazju f'nofs aġġornament. L-iżvantaġġ huwa banali - sempliċement m'hemmx biżżejjed spazju fuq pilloli u laptops rħas. Jekk qabel ir-rekwiżit minimu […]

Verifika formali bl-użu tal-eżempju tal-problema tal-lupu, tal-mogħoż u tal-kaboċċi

Fl-opinjoni tiegħi, fis-settur tal-Internet bil-lingwa Russa, is-suġġett tal-verifika formali mhuwiex kopert biżżejjed, u hemm speċjalment nuqqas ta 'eżempji sempliċi u ċari. Se nagħti eżempju minn sors barrani, u nżid is-soluzzjoni tiegħi stess għall-problema magħrufa li naqsam lupu, mogħoż u kaboċċa għan-naħa l-oħra tax-xmara. Imma l-ewwel, ser niddeskrivi fil-qosor x'inhi l-verifika formali u għaliex [...]

Il-ħolqien ta' sistema ta' verifika formali mill-bidu. Parti 1: Magni Virtwali tal-Karattri f'PHP u Python

Il-verifika formali hija l-verifika ta' programm jew algoritmu li juża ieħor. Dan huwa wieħed mill-aktar metodi b'saħħithom li jippermettilek issib il-vulnerabbiltajiet kollha fi programm jew tipprova li ma jeżistux. Deskrizzjoni aktar dettaljata tal-verifika formali tista 'tidher fl-eżempju tas-soluzzjoni tal-problema tal-Lupu, il-Mogħoż u l-Kaboċċi fl-artiklu preċedenti tiegħi. F'dan l-artikolu jien […]

Statistika u monitoraġġ ta' skripts PHP f'ħin reali. ClickHouse u Grafana jiġu biex jgħinu lil Pinba

F'dan l-artiklu ser ngħidlek kif tuża pinba bi clickhouse u grafana minflok pinba_engine u pinboard. Fuq proġett PHP, pinba huwa forsi l-uniku mod affidabbli biex tifhem dak li qed jiġri bil-prestazzjoni. Veru, pinba normalment jiġi implimentat biss meta l-problemi jkunu diġà osservati u ma jkunx ċar "fejn ħaffer." Ħafna drabi ħadd ma jkollu idea kemm-il darba kull sekonda/minuta [...]

Tfittex problema fil-post ħażin

Din hija storja qasira minn prattika reali, meta problema żgħira, moħbija sew minn tolleranza għall-ħtija, tinbidel f’uġigħ ta’ ras. Dispożizzjoni żgħira: Fergħa żgħira, għandha l-PBX tagħha stess (asterisk + FreePBX) ibbażata fuq ħardwer tad-desktop u l-istess server terminal lokali b'1C, dump tal-fajls u kontrollur virtwali tad-dominju RO. L-Internet iqassam Mikrotik. Il-fergħa hija żgħira, dan huwa biżżejjed għalihom. Kollox beda […]

"Jekk jogħġbok Innota" #2: Diġestiva ta' artikli dwar il-ħsieb tal-prodott, il-psikoloġija tal-imġieba u l-produttività personali

Din hija t-tieni minn sensiela ta’ diġesti ta’ kull ġimgħa dwar it-teknoloġija, in-nies u kif jinfluwenzaw lil xulxin. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) dwar kif toħloq tkabbir armonjuż tal-prodott fi startup. Ideat friski, statistika u eżempji mill-aqwa kumpaniji tat-teknoloġija fl-industriji tagħhom. Ktieb elettroniku ta’ 19-il paġna, qari rakkomandat għal kull min […]

Ittestjar tal-qsim tal-pakkett tas-sistema bażi FreeBSD

Il-Proġett TrueOS ħabbar ittestjar ta 'bini sperimentali ta' FreeBSD 12-STABLE u FreeBSD 13-CURRENT, li jittrasformaw is-sistema bażi monolitika f'sett ta 'pakketti interkonnessi. Il-bini huma żviluppati fi ħdan il-proġett pkgbase, li jipprovdi għodod għall-użu tal-maniġer tal-pakketti pkg nattiv biex jimmaniġġja l-pakketti li jiffurmaw is-sistema bażi. Kunsinna fil-forma ta 'pakketti separati tippermettilek tissimplifika b'mod sinifikanti l-proċess ta' aġġornament tal-bażi [...]

Blue Origin tweet ritratt misterjuż tal-vapur ta’ Shackleton

Ritratt tal-vapur tal-famuż esploratur Ernest Shackleton, li kien qed jistudja l-Antartiku, deher fuq il-paġna uffiċjali ta’ Twitter Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Oriġini (@blueorigin) 26 ta' April 2019 Ir-ritratt għandu l-titlu bid-data 9 ta' Mejju u m'hemm l-ebda deskrizzjoni, għalhekk nistgħu biss naħsbu kif il-vapur tal-ispedizzjoni ta' Shackleton huwa konness mal-ispazju ta' Jeff kumpanija Bezos. Wieħed jista' jassumi [...]

Il-Fondazzjoni Apache mxiet ir-repożitorji Git tagħha għal GitHub

Il-Fondazzjoni Apache ħabbret li lestiet ix-xogħol fuq l-integrazzjoni tal-infrastruttura tagħha ma 'GitHub u l-migrazzjoni tas-servizzi git kollha tagħha għal GitHub. Inizjalment, ġew offruti żewġ sistemi ta 'kontroll tal-verżjoni għall-iżvilupp ta' proġetti Apache: is-sistema ċentralizzata ta 'kontroll tal-verżjoni Subversion u s-sistema deċentralizzata Git. Mill-2014, il-mirja tar-repożitorji Apache ġew imnedija fuq GitHub, disponibbli fil-modalità ta 'qari biss. Issa […]