Nag-publish ang Sony ng mga ulat para sa taon ng pananalapi, na natapos noong Marso 31, 2019. Batay sa data na ipinakita, maaari nating tapusin na sa kabila ng bahagyang paghina sa mga benta ng PlayStation4 hardware, ang console mismo ay nagbebenta pa rin sa isang kahanga-hangang rate. Sa kasalukuyan, 96,8 milyong kopya ng PS4 ang naibenta sa buong mundo, na nangangahulugang ang kabuuang […]
Ang isa sa pinakamalaking developer ng Russia, ang sentrong pang-agham at teknikal na "Module", ay dumating sa nabigasyon. Hanggang ngayon, kasama sa mga asset ng center ang mga controller at microprocessor para sa malawak na hanay ng mga layunin. Ang bagong lugar ng aktibidad ay magpapalawak ng karanasan at alok ng mga developer ng Russia. Sa partikular, ang Modul ay papasok sa merkado ng mga high-precision navigation device, na umaasang sasakupin ang 2024–15% ng market na ito sa Russia sa 18, […]
Sa taunang ulat, na unang lumabas sa website ng Intel noong Pebrero ng taong ito, tinawag ng kumpanya, para sa hindi lubos na malinaw na mga dahilan, ang discrete graphics solution na binuo na "ang una sa kasaysayan nito," bagaman maaaring matandaan ng mga eksperto sa pag-unlad ng industriya na ang Intel sinubukan ang swerte nito sa mga discrete video card noong kalagitnaan ng dekada nobenta ng huling siglo. Mahalaga, pagbuo ng isang discrete graphics solution [...]
Minsang inihayag ng Microsoft na gagamit ito ng humigit-kumulang 7 GB ng espasyo sa hard drive ng user upang mag-imbak ng mga update na file. Ang pakinabang ng diskarteng ito ay titiyakin nito na hindi ka mauubusan ng espasyo sa gitna ng isang update. Ang kawalan ay karaniwan - walang sapat na espasyo sa murang mga tablet at laptop. Kung dati ang pinakamababang kinakailangan […]
Sa palagay ko, sa sektor ng Internet sa wikang Ruso, ang paksa ng pormal na pag-verify ay hindi sapat na sakop, at lalo na ang kakulangan ng simple at malinaw na mga halimbawa. Magbibigay ako ng isang halimbawa mula sa isang dayuhang mapagkukunan, at magdagdag ng aking sariling solusyon sa kilalang problema ng pagtawid ng isang lobo, isang kambing at isang repolyo sa kabilang panig ng ilog. Ngunit una, maikling ilalarawan ko kung ano ang pormal na pagpapatunay at bakit [...]
Ang pormal na pag-verify ay ang pag-verify ng isang programa o algorithm gamit ang isa pa. Isa ito sa pinakamakapangyarihang paraan na nagbibigay-daan sa iyong mahanap ang lahat ng mga kahinaan sa isang programa o patunayan na wala ang mga ito. Ang isang mas detalyadong paglalarawan ng pormal na pagpapatunay ay makikita sa halimbawa ng paglutas sa problema ng Lobo, Kambing, at Repolyo sa aking nakaraang artikulo. Sa artikulong ito ako […]
Sa artikulong ito sasabihin ko sa iyo kung paano gamitin ang pinba gamit ang clickhouse at grafana sa halip na pinba_engine at pinboard. Sa isang proyekto sa PHP, ang pinba ay marahil ang tanging maaasahang paraan upang maunawaan kung ano ang nangyayari sa pagganap. Totoo, ang pinba ay karaniwang ipinapatupad lamang kapag ang mga problema ay naobserbahan na at ito ay hindi malinaw "kung saan maghukay." Kadalasan walang nakakaalam kung ilang beses bawat segundo/minuto […]
Ito ay isang maikling kwento mula sa tunay na kasanayan, kapag ang isang maliit na problema, na nababalatan ng fault tolerance, ay nagiging sakit ng ulo. Maliit na disposisyon: Isang maliit na sangay, mayroon itong sariling PBX (asterisk + FreePBX) batay sa desktop hardware at parehong lokal na terminal server na may 1C, isang dump ng file at isang virtual na RO domain controller. Ang Internet ay namamahagi ng Mikrotik. Maliit lang ang sanga, sapat na sa kanila. Nagsimula ang lahat […]
Ito ang pangalawa sa isang serye ng lingguhang digest tungkol sa teknolohiya, mga tao at kung paano nila naiimpluwensyahan ang isa't isa. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sa kung paano lumikha ng maayos na paglago ng produkto sa isang startup. Mga cool na ideya, istatistika at halimbawa mula sa pinakamahusay na mga kumpanya ng teknolohiya sa kanilang mga industriya. Isang elektronikong aklat na may 19 na pahina, inirerekomendang basahin para sa sinuman […]
Ang TrueOS Project ay nag-anunsyo ng pagsubok sa mga eksperimentong build ng FreeBSD 12-STABLE at FreeBSD 13-CURRENT, na nagbabago sa monolitikong base system sa isang hanay ng mga magkakaugnay na pakete. Ang mga build ay binuo bilang bahagi ng pkgbase project, na nagbibigay ng mga tool para sa paggamit ng native na pkg package manager upang pamahalaan ang mga package na bumubuo sa base system. Ang paghahatid sa anyo ng mga hiwalay na pakete ay nagbibigay-daan sa iyo upang makabuluhang pasimplehin ang proseso ng pag-update ng pangunahing […]
Ang isang larawan ng barko ng sikat na explorer na si Ernest Shackleton, na nag-aaral sa Antarctic, ay lumitaw sa opisyal na Blue Origin Twitter page. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) Abril 26, 2019 Ang larawan ay may caption na may petsang Mayo 9 at walang paglalarawan, kaya maaari lamang nating hulaan kung paano konektado ang barkong ekspedisyon ni Shackleton sa espasyo ni Jeff kumpanyang Bezos. Maaaring ipagpalagay na [...]
Inanunsyo ng Apache Foundation na natapos na nito ang trabaho sa pagsasama ng imprastraktura nito sa GitHub at paglipat ng lahat ng git na serbisyo nito sa GitHub. Sa una, dalawang bersyon ng control system ang iniaalok para sa pagbuo ng mga proyekto ng Apache: ang sentralisadong bersyon ng control system na Subversion at ang desentralisadong sistema na Git. Mula noong 2014, ang mga Apache repository mirror ay inilunsad sa GitHub, na available sa read-only na mode. Ngayon […]
