Рубрика Блог
Учёные из Оксфордского института Интернета (OII) провели исследование, в ходе которого выяснили, что к 2070 году число умерших пользователей Facebook может превысить число живых, а к 2100 году мертвы будут 1,4 млрд пользователей социальной сети. При этом, как утверждается, анализ предусматривает два крайних сценария. В рамках первого подразумевается, что количество пользователей останется на уровне 2018 […]
В этой статье я расскажу, как использовать 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 мая, а какое-либо описание отсутствует, поэтому нам остаётся лишь догадываться, как экспедиционный корабль Шеклтона связан с космической компанией Джеффа Безоса. Можно предположить, […]
Один из крупнейших российских разработчиков научно-технический центр «Модуль» пришёл в навигацию. До сих пор в активе центра были контроллеры и микропроцессоры широкого спектра назначения. Новая сфера деятельности позволит расширить опыт и предложение российских разработчиков. В частности, «Модуль» собирается выйти на рынок устройств высокоточной навигации, рассчитывая к 2024 году занять в России 15–18 % на этом рынке, […]
В годовом отчёте, который на сайте Intel впервые появился в феврале этого года, компания в силу не совсем очевидных причин называет разрабатываемое дискретное графическое решение «первым в своей истории», хотя знатоки развития отрасли могут помнить, что с дискретными видеокартами Intel попытала счастья ещё в середине девяностых годов прошлого века. По сути, разработка дискретного графического решения […]
Компания Microsoft в своё время объявила, что будет использовать порядка 7 Гбайт пространства на жёстком диске пользователя для хранения файлов обновлений. Преимущество такого подхода заключается в том, что это позволит гарантировать, что место не закончится в середине обновления. Недостаток же банален — на недорогих планшетах и ноутбуках места попросту не хватит. Если ранее минимальное требование […]
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]
Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]
Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]