Рубрика: Блог

Новая версия графического драйвера NVIDIA вызывает высокую загрузку ЦП

Не так давно компания NVIDIA выпустила версию графического драйвера 430.39 для платформы Windows с поддержкой майского обновления ОС от Microsoft. Помимо прочего, в новую версию драйвера включена поддержка новых процессоров, совместимых с технологией G-Sync мониторов и др.   Драйвер содержит важные обновления, но некоторые пользователи обратили внимание на то, что его использование приводит к высокой […]

Uber: новые инвестиции и подготовка к IPO

Похоже, что дела у Uber идут как никогда хорошо. Вчера американская компания установила цену за свои акции в диапазоне от 44 до 50 долларов США за ценную бумагу, согласно обновлённой информации из Комиссии по ценным бумагам и биржам США. Uber планирует предложить 180 миллионов акций и привлечь около 9 миллиардов долларов в ходе проведения IPO. […]

От моделирования процессов к проектированию автоматизированной системы (Часть 2)

«Один день из жизни белки» или от моделирования процессов к проектированию автоматизированной системы учёта материальных ценностей «Белка-1.0» (Часть 2) Использована иллюстрация к «Сказке о царе Салтане» А.С.Пушкина, изд.»Детская литература», Москва, 1949 год, Ленинград, рисунки К.Кузнецова Краткое содержание предыдущей серии В 1-ой части мы использовали «сказочную» предметную область, вдохновленные примерами изучения диаграмм UML с опорой на […]

Уточняем описание функций системы с помощью диаграммы Sequence

Уточняем описание функций системы с помощью диаграммы Sequence (продолжение «Белки») В данной статье рассмотрим, как можно детализировать (уточнить) описание автоматизируемой функции с помощью UML Sequence Diagram — диаграммы последовательности. В данном примере я использую среду Enterprise Architect от австралийской компании Sparx Systems [1]. Полную спецификацию UML см. здесь [2]. Для начала поясню, что мы будем […]

Тест: Как вы соблюдаете требования к обработке персональных данных?

Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]

Научно-технический центр «Модуль» представил приёмник для высокоточной навигации

Один из крупнейших российских разработчиков научно-технический центр «Модуль» пришёл в навигацию. До сих пор в активе центра были контроллеры и микропроцессоры широкого спектра назначения. Новая сфера деятельности позволит расширить опыт и предложение российских разработчиков. В частности, «Модуль» собирается выйти на рынок устройств высокоточной навигации, рассчитывая к 2024 году занять в России 15–18 % на этом рынке, […]

Windows 10 «растолстеет» минимум до 32 Гбайт

Компания Microsoft в своё время объявила, что будет использовать порядка 7 Гбайт пространства на жёстком диске пользователя для хранения файлов обновлений. Преимущество такого подхода заключается в том, что это позволит гарантировать, что место не закончится в середине обновления. Недостаток же банален — на недорогих планшетах и ноутбуках места попросту не хватит. Если ранее минимальное требование […]

Формальная верификация на примере задачи о волке, козе и капусте

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

Статистика и мониторинг PHP скриптов в реальном времени. ClickHouse и Grafana идут на помощь к Pinba

В этой статье я расскажу, как использовать pinba совместно с clickhouse и grafana вместо pinba_engine и pinboard. На php-проекте pinba — пожалуй единственный надёжный способ понять, что происходит с производительностью. Правда обычно pinba внедряется только тогда, когда уже наблюдаются проблемы и не понятно «где копать». Часто никто понятия не имеет, сколько раз в секунду/минуту вызывается […]

Ищем проблему не в том месте

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

Тестирование разделения базовой системы FreeBSD на пакеты

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

Фонд Apache перевёл свои Git-репозитории на GitHub

Фонд Apache сообщил о завершении работы по интеграции своей инфраструктуры с GitHub и переносе на GitHub всех своих git-сервисов. Изначально для разработки проектов Apache предлагались две системы контроля версий: централизованная система управления версиями Subversion и децентрализованная система Git. C 2014 года на GitHub были запущены зеркала репозиториев Apache, доступные в режиме только для чтения. Теперь […]

Купить надежный хостинг для сайтов с защитой от DDoS, VPS VDS серверы 🔥 Купить надежный хостинг для сайтов с защитой от DDoS, VPS VDS серверы | ProHoster