Александр Поздняков и Алексей СантьевИнженер отдела радиофотоники МФТИ и Ведущий менеджер по развитию продуктов ООО «СМАРТС-Кванттелеком»В цифровую эпоху, когда киберугрозы становятся все более изощренными, а ценность информации растет в геометрической прогрессии, на первый план выходит задача обеспечения надежной защиты данных.…

Модуль МЦП303 стандарта PC/104-PlusДля решения задач по тиражированию устройств, разработанных на основе х86 технологий и операционных систем предыдущих поколений, НПК «АТРОНИК» разработала встраиваемый одноплатный компьютер стандарта PC/104-Plus – модуль МЦП303.Новинка предназначена для использования в ответственных бортовых системах, требующих низких значений потребляемой…

YouTube в очередной раз ужесточает правила борьбы с блокировщиками рекламы, в том числе популярными инструментами uBlock Origin и AdBlock. Видеохостинг напрямую блокирует воспроизведение роликов у тех пользователей, которые активировали такие инструменты.Похоже, что в YouTube нашли способ закрыть некоторые из оставшихся…

Мощная математическая техника используется для моделирования таяния льда и других явлений. Но у учёных долгое время были опасения по её использованию из-за некоторых «кошмарных сценариев». Новое доказательство устранило это препятствие. Представьте себе кубик льда, плавающий в стакане воды. В конце…

Рефлексия дизайнера о целеполагании в российских IT-компанияхВ какой-то момент я поймала себя на том, что слова «план развития», «точка роста» и «привязка к целям команды» вызывают у меня не скуку, а ощущение, будто мне выдали маршрут, по которому я не…

Когда Java-приложение считается безопасным? Когда в нём нет уязвимостей? Когда соблюдены все ГОСТы и оно разработано по стандартам РБПО? Или когда проверили код, контейнер и JDK?Приглашаем Java-разработчиков и тимлидов на технический вебинар, который мы проведем с нашими партнерами компанией PVS-Studio…

Поговорим об методике дообучения LLM… спортсменке, комсомолке и просто красавице — LoRA, которая если и не снимается в кино, то может сделать фильмы качественней и интереснее для зрителя. Исторические данные проката и состава творческих групп в перспективе позволяют работать с…

Ведущий российский разработчик экосистемы корпоративных коммуникаций IVA Technologies и один из мировых лидеров в области распознавания лиц VisionLabs договорились о внедрении цифровых решений для защиты от дипфейков в сервисах видеоконференцсвязи.  Сотрудничество позволит компаниям объединить знания в области разработки профессиональных решений…

В этой статье мы:сделаемповерхностный обзор подходов,обеспечивающих безопасностьсмарт‑контрактов;разберемустройство и принцип работы инструментаформальной верификации SMTChecker — онинтегрирован в компилятор solc;практика:верифицируем несколько учебныхконтрактов на Solidity с помощью SMTChecker. Обзор подходов к безопасности и надежности смарт-контрактов Формальная верификация — это подход, позволяющий с помощью математических методов доказать, что код…

Источник изображения: Freepik.com Росгосстрах обновил систему оценки рисков ОСАГО физлиц, состоящую из более, чем 30 моделей машинного обучения. При помощи искусственного интеллекта компания может предложить клиенту наиболее справедливую цену на полисы ОСАГО. Обновлённые модели встроены во все системы принятия решений…