Sony публикува отчети за финансовата година, която приключи на 31 март 2019 г. Въз основа на представените данни можем да заключим, че въпреки лекото забавяне на продажбите на хардуера на PlayStation4, самата конзола все още се продава с впечатляваща скорост. В момента 96,8 милиона копия на PS4 са продадени по целия свят, което означава общо […]
Един от най-големите руски разработчици, научно-техническият център "Модул", дойде в навигацията. Досега активите на центъра включваха контролери и микропроцесори за широк спектър от цели. Новата област на дейност ще разшири опита и предлагането на руски разработчици. По-специално, Modul ще навлезе на пазара на високоточни навигационни устройства, като очаква да заеме 2024–15% от този пазар в Русия до 18 г., […]
В годишния отчет, който за първи път се появи на уебсайта на Intel през февруари тази година, компанията, по не съвсем очевидни причини, нарича разработеното дискретно графично решение „първото в своята история“, въпреки че експертите по развитие на индустрията може би си спомнят, че Intel опита късмета си с дискретни видео карти в средата на XNUMX-те години на миналия век. По същество разработването на дискретно графично решение […]
Microsoft веднъж обяви, че ще използва около 7 GB пространство на твърдия диск на потребителя за съхраняване на файлове за актуализация. Предимството на този подход е, че ще гарантира, че няма да ви свърши мястото по време на актуализация. Недостатъкът е банален - просто няма достатъчно място на евтини таблети и лаптопи. Ако преди това минималното изискване […]
Според мен в рускоезичния сектор на Интернет темата за формалната проверка не е достатъчно засегната и особено липсват прости и ясни примери. Ще дам пример от чуждестранен източник и ще добавя свое собствено решение на добре познатия проблем с преминаването на вълк, коза и зеле от другата страна на реката. Но първо ще опиша накратко какво е формална проверка и защо [...]
Официалната проверка е проверка на една програма или алгоритъм с помощта на друга. Това е един от най-мощните методи, който ви позволява да намерите всички уязвимости в програмата или да докажете, че не съществуват. По-подробно описание на формалната проверка може да се види в примера за решаване на проблема с Вълк, Коза и Зеле в предишната ми статия. В тази статия аз […]
В этой статье я расскажу, как использовать pinba совместно с clickhouse и grafana вместо pinba_engine и pinboard. На php-проекте pinba — пожалуй единственный надёжный способ понять, что происходит с производительностью. Правда обычно pinba внедряется только тогда, когда уже наблюдаются проблемы и не понятно «где копать». Часто никто понятия не имеет, сколько раз в секунду/минуту вызывается […]
Это небольшая история из реальной практики, когда небольшая проблема, хорошо замаскированная отказоустойчивостью, превращается в головную боль. Небольшая диспозиция: Маленький филиальчик, в нем есть своя АТС (asterisk + FreePBX) на базе десктопного железа и такой-же местный терминальный сервачок с 1С, файло-помойкой и виртуальным RO контроллером домена. Интернет раздает Mikrotik. Филиальчик маленький, им этого достаточно. Все началось […]
Това е вторият от поредица седмични сборници за технологиите, хората и как те си влияят взаимно. Анди Джоунс (бивш Wealthfront, Facebook, Twitter, Quora) за това как да създадете хармоничен продуктов растеж в стартиращ бизнес. Страхотни идеи, статистика и примери от най-добрите технологични компании в техните отрасли. Електронна книга от 19 страници, препоръчителна четене за всеки […]
Проектът TrueOS обяви тестване на експериментални версии на FreeBSD 12-STABLE и FreeBSD 13-CURRENT, които трансформират монолитната базова система в набор от взаимосвързани пакети. Компилациите са разработени в рамките на проекта pkgbase, който предоставя инструменти за използване на родния мениджър на пакети pkg за управление на пакетите, съставляващи основната система. Доставката под формата на отделни пакети ви позволява значително да опростите процеса на актуализиране на основния […]
Снимка на кораба на известния изследовател Ърнест Шакълтън, който е изучавал Антарктика, се появи на официалната страница на Blue Origin в Twitter. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 април 2019 г. Снимката е озаглавена с датата 9 май и няма описание, така че можем само да гадаем как експедиционният кораб на Шакълтън е свързан с космоса на Джеф компания Безос. Може да се предположи [...]
Фондацията Apache обяви, че е приключила работата по интегрирането на своята инфраструктура с GitHub и мигрирането на всички свои git услуги към GitHub. Първоначално бяха предложени две системи за контрол на версиите за разработване на проекти на Apache: централизираната система за контрол на версиите Subversion и децентрализираната система Git. От 2014 г. огледалните хранилища на Apache бяха пуснати в GitHub, налични в режим само за четене. Сега […]
