В данной статье мы делаем поверхностный обзор подходов, обеспечивающих безопасность смарт-контрактов. Разбираем устройство и принцип работы инструмента формальной верификации SMTChecker (встроен в компилятор solc), а также верифицируем с его помощью учебные контракты: находим баги и уязвимости, и доказываем их отсутствие. Читать далее
2025 год показывает, в каком направлении движется индустрия: больше ядер, больше ИИ, меньше ватт. Intel, AMD, Nvidia, MediaTek и Samsung делают ставку на гибридные архитектуры, нейропроцессоры и снижение энергопотребления. Я собрал в подборке шесть ключевых новинок, разобрал их характеристики, возможности и потенциальное влияние на ИТ-индустрию. Так что давайте разбираться. Читать далее
Поиски термоядерной энергии — чистого, потенциально безграничного источника, способного положить конец энергетическим проблемам человечества, — начались как ответ на старый вопрос, который мы задавали с тех пор, как впервые подняли голову к небу.Шла середина XIX века. Теория…
Последнюю пару лет я переносил со службы домой и обратно «набор рабочих материалов» — видеофайлы и данные проектов, пользуясь внешним SSD-диском стандарта NVMe с интерфейсом Thunderbolt.Но, когда я синхронизировал данные, это всегда происходило очень медленно. В обычный рабочий день я…
Еще десять лет назад при выборе смартфона можно было по-настоящему почувствовать свободу: кто-то брал раскладушку с QWERTY-клавиатурой, кто-то — огромный лопатоподобный экран для игр, кто-то искал модель с отличным звуком или экзотическим дизайном. Сегодня же большинство…
Привет! Меня зовут Алексей Федулаев, я руковожу направлением Cloud Native Security в MWS Cloud Platform. Вместе с Андреем Моисеевым мы в этой статье подробно разбираем, как устроены атаки на CI/CD, и почему автоматизация без должной защиты может обернуться серьёзными инцидентами.Мы покажем, как…
За каждым мобильным приложением стоит своя бизнес-цель. Одни приложения оптимизируют внутренние процессы, другие — укрепляют бренд, третьи — привлекают аудиторию в экосистему компании. Прямое получение дохода не всегда является основной задачей таких продуктов.Однако, если…
Агенты в ИТ — это автономные программные сущности, способные к целеполаганию и взаимодействию. Рассказывать о них я буду по этой дорожной карте: 1. Базовые концепции МАС: архитектурные принципы и классификация2. Интеллектуальные vs автономные агенты: сравнительный анализ3.…
Каждая стратегическая сессия начинается с одного и того же вопроса: как заработать больше денег? Но если этот вопрос не сопровождается другим — а что мы должны в себе изменить, чтобы клиент захотел нам заплатить? — рост окажется недостижимым. Ведь единственный источник дохода в вашем бизнесе — это клиент. Читать далее
Могут ли схожие по уровню модели выдать в результат в 10 раз лучше?Сравниваю 3 последние модели Claude vs 3 последние модели ChatGPT на одном наглядном примереДавайте посмотрим на результат, который каждая из 6 моделей сделала всего лишь из одного промптаРазница между первым и последним местом вас точно удивит ???? Узнать результат соревнований ????