🥇Статьи блога Блог. Все статьи по тематике Блог

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

Опубликовано 31.10.2019

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

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

Опубликовано 31.10.2019

Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]

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

Опубликовано 31.10.2019

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

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

Опубликовано 31.10.2019

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

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

Опубликовано 31.10.2019

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

«Обратите внимание» #2: Дайджест статей о продуктовом мышлении, поведенческой психологии и личной продуктивности

Опубликовано 31.10.2019

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

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

Опубликовано 31.10.2019

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

Blue Origin опубликовала в Twitter загадочный снимок корабля Шеклтона

Опубликовано 31.10.2019

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

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

Опубликовано 31.10.2019

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

Частота ядра ускорителя Palit GeForce GTX 1650 StormX OC достигает 1725 МГц

Опубликовано 31.10.2019

Компания Palit Microsystems выпустила графический ускоритель GeForce GTX 1650 StormX OC, информация о подготовке которого уже мелькала в Интернете. Коротко напомним ключевые характеристики изделий GeForce GTX 1650. Такие карты используют архитектуру NVIDIA Turing. Количество ядер CUDA равно 896, а объём памяти GDDR5 со 128-битной шиной (эффективная частота — 8000 МГц) составляет 4 Гбайт. Базовая тактовая […]

Всесторонняя визуализация iPhone XI — на основе финальных CAD-чертежей

Опубликовано 31.10.2019

В начале апреля ресурс CashKaro.com опубликовал рендеры грядущего смартфона Motorola с квадрокамерой. А теперь, благодаря партнёрству с проверенным источником OnLeaks, поделился эксклюзивыми CAD-визуализациями, якобы отражающими окончательный вид следующего флагмана Apple — iPhone XI. Прежде всего, обращает на себя внимание нисколько не изменившийся за год дизайн аппарата с переработанным и довольно странно выглядящим модулем тройной камеры, […]

ASRock Z390 Phantom Gaming 4S: плата формата ATX для игрового ПК

Опубликовано 31.10.2019

Компания ASRock анонсировала материнскую плату Z390 Phantom Gaming 4S, на основе которой можно сформировать игровую настольную станцию среднего уровня. Новинка выполнена в формате ATX (305 × 213 мм) на базе системной логики Intel Z390. Поддерживается работа с процессорами Core восьмого и девятого поколений в исполнении Socket 1151. За возможности расширения отвечают два слота PCI Express 3.0 x16 […]

« назад « к началу 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 в конец » вперед »

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