Аўтар: ProHoster

Да моманту выхаду PlayStation 5 Sony прадасць больш за 100 млн кансоляў PS4

Кампанія Sony апублікавала справаздачнасць за фінансавы год, які падышоў да канца 31 сакавіка 2019 года. На аснове прадстаўленых дадзеных можна зрабіць выснову аб тым, што нягледзячы на ​​некаторае запаволенне продажаў абсталявання для PlayStation4, сама кансоль усё яшчэ прадаецца з уражлівай хуткасцю. На дадзены момант па ўсім свеце рэалізавана 96,8 копій PS4, а значыць агульнае […]

Навукова-тэхнічны цэнтр "Модуль" прадставіў прыёмнік для высокадакладнай навігацыі.

Адзін з найбуйнейшых расійскіх распрацоўшчыкаў навукова-тэхнічны цэнтр "Модуль" прыйшоў у навігацыю. Да гэтага часу ў актыве цэнтра былі кантролеры і мікрапрацэсары шырокага спектру прызначэння. Новая сфера дзейнасці дазволіць пашырыць вопыт і прапанову расійскіх распрацоўшчыкаў. У прыватнасці, "Модуль" збіраецца выйсці на рынак прылад высокадакладнай навігацыі, разлічваючы да 2024 года заняць у Расіі 15-18% на гэтым рынку, [...]

Будучыя відэакарты Intel будуць уніфікаваны з інтэграванай графікай па архітэктуры

У гадавой справаздачы, які на сайце Intel упершыню з'явіўся ў лютым гэтага года, кампанія ў сілу не зусім відавочных прычын называе распрацоўванае дыскрэтнае графічнае рашэнне "першым у сваёй гісторыі", хоць знаўцы развіцця галіны могуць памятаць, што з дыскрэтнымі відэакартамі Intel паспрабавала шчасця яшчэ ў сярэдзіне дзевяностых гадоў мінулага стагоддзі. Па сутнасці, распрацоўка дыскрэтнага графічнага рашэння […]

Windows 10 «растаўсцее» мінімум да 32 Гбайт

Кампанія Microsoft у свой час абвясціла, што будзе выкарыстоўваць каля 7 Гбайт прасторы на цвёрдым дыску карыстальніка для захоўвання файлаў абнаўленняў. Перавага такога падыходу ў тым, што гэта дазволіць гарантаваць, што месца не скончыцца ў сярэдзіне абнаўлення. Недахоп жа банальны - на недарагіх планшэтах і наўтбуках месца папросту не хопіць. Калі раней мінімальнае патрабаванне […]

Фармальная верыфікацыя на прыкладзе задачы аб ваўку, казе і капусце

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

Стварэнне сістэмы фармальнай верыфікацыі з нуля. Частка 1: знакавая віртуальная машына на PHP і Python

Фармальная верыфікацыя - гэта праверка адной праграмы або алгарытму з дапамогай іншай. Гэта адзін з самых магутных метадаў, які дазваляе знайсці ў праграме ўсе ўразлівасці ці ж даказаць, што іх няма. Больш падрабязнае апісанне фармальнай верыфікацыі можна ўбачыць на прыкладзе рашэння задачы аб Ваўку, Казе, і капусце ў маім папярэднім артыкуле. У гэтым артыкуле я […]

Статыстыка і маніторынг PHP скрыптоў у рэальным часе. ClickHouse і Grafana ідуць на дапамогу да Pinba

У гэтым артыкуле я раскажу, як выкарыстоўваць pinba сумесна з clickhouse і grafana замест pinba_engine і pinboard. На php-праекце pinba - мабыць адзіны надзейны спосаб зразумець, што адбываецца з прадукцыйнасцю. Праўда звычайна pinba укараняецца толькі тады, калі ўжо назіраюцца праблемы і не зразумела "дзе капаць". Часта ніхто паняцця не мае, колькі разоў у секунду/хвіліну выклікаецца […]

Шукаем праблему не ў тым месцы

Гэта невялікая гісторыя з рэальнай практыкі, калі невялікая праблема, добра замаскіраваная адмоваўстойлівасцю, ператвараецца ў галаўны боль. Невялікая дыспазіцыя: Маленькі філіяльчык, у ім ёсць свая АТС (asterisk + FreePBX) на базе дэсктопнага жалеза і такі ж мясцовы тэрмінальны сервачок з 1С, файла-памыйніцай і віртуальным RO кантролерам дамена. Інтэрнэт раздае Mikrotik. Філіяльчык маленькі, ім гэтага дастаткова. Усё пачалося […]

«Звярніце ўвагу» #2: Дайджэст артыкулаў аб прадуктовым мысленні, паводніцкай псіхалогіі і асабістай прадуктыўнасці

Гэта другі ў серыі штотыднёвых дайджэстаў аб тэхналогіях, людзях і тым, як яны ўплываюць адзін на аднаго. Эндзі Джонс (экс Wealthfront, Facebook, Twitter, Quora) аб тым, як ствараць гарманічны рост прадукта ў стартапе. Класныя ідэі, статыстыка і прыклады з лепшых тэхналагічных кампаній у сваіх галінах. Электронная кніжка на 19 старонак, рэкамендуецца да чытання любому чалавеку, […]

Тэставанне падзелу базавай сістэмы FreeBSD на пакеты

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

Blue Origin апублікавала ў Twitter загадкавы здымак карабля Шэклтана

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

Фонд Apache перавёў свае Git-рэпазітары на GitHub

Фонд Apache паведаміў аб завяршэнні працы па інтэграцыі сваёй інфраструктуры з GitHub і пераносе на GitHub усіх сваіх git-сэрвісаў. Першапачаткова для распрацоўкі праектаў Apache прапаноўваліся дзве сістэмы кантролю версій: цэнтралізаваная сістэма кіравання версіямі Subversion і дэцэнтралізаваная сістэма Git. З 2014 года на GitHub былі запушчаныя люстэркі рэпазітараў Apache, даступныя ў рэжыме толькі для чытання. Цяпер […]