Author: ProHoster

Ibaligya sa Sony ang kapin sa 5 milyon nga PS100 console pinaagi sa paglansad sa PlayStation 4

Gipatik sa Sony ang mga taho alang sa pinansyal nga tuig, nga natapos kaniadtong Marso 31, 2019. Pinasukad sa datos nga gipresentar, makahinapos kita nga bisan pa sa usa ka gamay nga paghinay sa pagbaligya sa PlayStation4 hardware, ang console mismo nagbaligya gihapon sa usa ka impresibo nga rate. Sa pagkakaron, 96,8 ka milyon nga kopya sa PS4 ang nabaligya sa tibuok kalibotan, nga nagpasabot nga ang kinatibuk-an […]

Ang Scientific and Technical Center nga "Module" nagpresentar sa usa ka receiver alang sa high-precision navigation

Usa sa pinakadako nga Russian nga developers, ang siyentipikanhon ug teknikal nga sentro "Module", miabut sa nabigasyon. Hangtud karon, ang mga kabtangan sa sentro naglakip sa mga controller ug microprocessors alang sa usa ka halapad nga katuyoan. Ang bag-ong lugar sa kalihokan magpalapad sa kasinatian ug tanyag sa mga developer sa Russia. Sa partikular, ang Module mosulod sa merkado sa mga high-precision navigation device, nga nagpaabut nga mag-okupar sa 2024-15% niini nga merkado sa Russia sa 18, [...]

Ang umaabot nga Intel video card mahiusa sa integrated graphics architecture

Sa tinuig nga taho, nga una nga nagpakita sa website sa Intel kaniadtong Pebrero ning tuiga, ang kompanya, sa dili kaayo klaro nga mga hinungdan, nagtawag sa discrete graphics nga solusyon nga gihimo nga "ang una sa kasaysayan niini," bisan kung ang mga eksperto sa pagpalambo sa industriya mahimo’g mahinumdom nga ang Intel misulay sa iyang swerte sa discrete video card balik sa tunga-tunga sa nineties sa miaging siglo. Sa tinuud, ang paghimo usa ka discrete nga solusyon sa graphic […]

Ang Windows 10 "motubo nga tambok" sa labing menos 32 GB

Kas-a gipahibalo sa Microsoft nga mogamit kini mga 7 GB nga wanang sa hard drive sa tiggamit aron matipigan ang mga file sa pag-update. Ang kaayohan sa kini nga pamaagi mao nga kini makasiguro nga dili ka mahurot sa wanang sa tunga-tunga sa usa ka update. Ang disbentaha mao ang banal - wala’y igo nga wanang sa dili mahal nga mga tablet ug laptop. Kung kaniadto ang minimum nga kinahanglanon […]

Pormal nga pag-verify gamit ang pananglitan sa problema sa lobo, kanding ug repolyo

На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]

Paghimo og pormal nga sistema sa pag-verify gikan sa wala. Bahin 1: Character VM sa PHP ug Python

Ang pormal nga pag-verify mao ang pag-verify sa usa ka programa o algorithm gamit ang lain. Kini usa sa labing kusgan nga mga pamaagi nga nagtugot kanimo nga makit-an ang tanan nga mga kahuyangan sa usa ka programa o pamatud-an nga wala kini. Ang usa ka mas detalyado nga paghulagway sa pormal nga pag-verify makita sa pananglitan sa pagsulbad sa problema sa Lobo, Kanding, ug Cabbage sa akong miaging artikulo. Niini nga artikulo ako […]

Mga istatistika ug pag-monitor sa mga script sa PHP sa tinuud nga oras. ClickHouse ug Grafana moadto sa tabang sa Pinba

Niini nga artikulo isulti ko kanimo kung giunsa ang paggamit sa pinba nga adunay clickhouse ug grafana imbes nga pinba_engine ug pinboard. Sa usa ka proyekto sa PHP, ang pinba tingali ang bugtong kasaligan nga paagi aron masabtan kung unsa ang nahitabo sa pasundayag. Tinuod, ang pinba kasagarang ipatuman lamang kung ang mga problema naobserbahan na ug kini dili klaro kung asa magkalot. Kasagaran walay usa nga adunay ideya kung pila ka beses matag segundo / minuto […]

Nangita ug problema sa sayop nga lugar

Это небольшая история из реальной практики, когда небольшая проблема, хорошо замаскированная отказоустойчивостью, превращается в головную боль. Небольшая диспозиция: Маленький филиальчик, в нем есть своя АТС (asterisk + FreePBX) на базе десктопного железа и такой-же местный терминальный сервачок с 1С, файло-помойкой и виртуальным RO контроллером домена. Интернет раздает Mikrotik. Филиальчик маленький, им этого достаточно. Все началось […]

"Palihug Timan-i" #2: Digest sa mga artikulo bahin sa panghunahuna sa produkto, sikolohiya sa pamatasan ug personal nga produktibidad

Kini ang ikaduha sa sunod-sunod nga senemanang pagtuki bahin sa teknolohiya, mga tawo ug kung giunsa nila pag-impluwensya sa usag usa. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) kung giunsa paghimo ang nagkahiusa nga pagtubo sa produkto sa usa ka pagsugod. Nindot nga mga ideya, estadistika ug mga pananglitan gikan sa labing kaayo nga mga kompanya sa teknolohiya sa ilang mga industriya. Usa ka elektronik nga libro nga 19 ka panid, girekomenda nga basahon alang sa bisan kinsa […]

Pagsulay sa pagbahin sa pakete sa sistema sa base sa FreeBSD

Проект TrueOS объявил о тестировании экспериментальных сборок FreeBSD 12-STABLE и FreeBSD 13-CURRENT, в которых монолитная базовая система преобразована в набор связанных между собой пакетов. Сборки развиваются в рамках проекта pkgbase, предоставляющего средства для использования штатного пакетного менеджера pkg для управления пакетами, образующими базовую систему. Поставка в форме раздельных пакетов позволяет существенно упростить процесс обновления базовой […]

Ang Blue Origin nag-tweet sa misteryosong imahe sa barko ni Shackleton

На официальной странице компании Blue Origin в сети Twitter появилась фотография корабля знаменитого исследователя Эрнеста Шеклтона, занимавшегося изучением Антарктики. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 апреля 2019 г. Фотография озаглавлена датой 9 мая, а какое-либо описание отсутствует, поэтому нам остаётся лишь догадываться, как экспедиционный корабль Шеклтона связан с космической компанией Джеффа Безоса. Можно предположить, […]

Gibalhin sa Apache Foundation ang Git repository niini sa GitHub

Gipahibalo sa Apache Foundation nga nahuman na niini ang pagtrabaho sa paghiusa sa imprastraktura niini sa GitHub ug pagbalhin sa tanan nga mga serbisyo sa git niini sa GitHub. Sa sinugdan, duha ka sistema sa pagkontrol sa bersyon ang gitanyag alang sa pagpalambo sa mga proyekto sa Apache: ang sentralisadong bersyon sa pagkontrol sa sistema sa Subversion ug ang desentralisadong sistema nga Git. Sukad sa 2014, ang mga salamin sa repositoryo sa Apache gilunsad sa GitHub, nga anaa sa read-only mode. Karon […]