• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом верификация

Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах +8

  • 10.04.2026 11:46
  • ReleaseRider
  • 6
  • Блог компании YADRO
  • Тестирование IT-систем
  • FPGA
  • Производство и разработка электроники
  • Карьера в IT-индустрии

Модели LLM их проблема правдоподобных ответов +2

  • 10.04.2026 04:15
  • Nikolay_Nam
  • 10
  • Go
  • Исследования и прогнозы в IT

Проверяем веб-расчёт потерь в шинах на соответствие стандартам

  • 03.04.2026 08:29
  • aleshaalexsey
  • 0
  • CAD/CAM
  • JavaScript
  • Python

Формальная верификация «для бедных»: выбираем open source-решение +16

  • 27.03.2026 08:19
  • ckaf
  • 7
  • Блог компании YADRO
  • Тестирование IT-систем
  • Производство и разработка электроники
  • FPGA

Блокчейн как инфраструктура E-Health: новая модель управления данными в здравоохранении

  • 24.03.2026 06:00
  • Azamat_Safarov
  • 0
  • Хранение данных
  • Децентрализованные сети
  • Телемедицина
  • Криптография
  • Big Data

Лучший математик мира использует AI каждый день. Вот что он понял +6

  • 23.03.2026 17:28
  • Maslennikovig
  • 3
  • Машинное обучение

Как становятся верификаторами — и почему на рынке их дефицит. Мой опыт +16

  • 13.03.2026 11:24
  • aleksei_kovalov
  • 2
  • Блог компании YADRO
  • Тестирование IT-систем
  • Карьера в IT-индустрии
  • FPGA
  • Производство и разработка электроники

Защита детей как причина для глобальной деанонимизации +51

  • 18.08.2025 12:34
  • El_Gato_Grande
  • 104
  • Блог компании Selectel
  • Законодательство в IT
  • Исследования и прогнозы в IT
  • Информационная безопасность
  • Будущее здесь

Как мы делали технологию, которая умеет верифицировать подписи в документах

  • 06.06.2025 14:00
  • ContentAI_Team
  • 4
  • Блог компании Content AI
  • Обработка изображений
  • Искусственный интеллект
  • IT-компании
  • Natural Language Processing

Разработка на Go, верификация, DevOps и программирование микроконтроллеров на RISC-V: выбирай бесплатный курс +11

  • 13.12.2024 13:39
  • yadro_team
  • 0
  • Блог компании YADRO
  • DevOps
  • Go
  • Процессоры

Ошибаться и учиться на реальных задачах: как студенты получают опыт работы с FPGA и процессорными ядрами +24

  • 11.10.2024 08:41
  • yadro_team
  • 0
  • Блог компании YADRO
  • Карьера в IT-индустрии
  • FPGA
  • Тестирование IT-систем
  • Учебный процесс в IT

Ошибаться и учиться на реальных задачах: как еще студентом получить опыт работы с FPGA и ядрами микроконтроллера

  • 08.10.2024 10:33
  • yadro_team
  • 0
  • Блог компании YADRO
  • Карьера в IT-индустрии
  • Учебный процесс в IT
  • FPGA
  • Тестирование IT-систем

Тестирование целочисленного сумматора с интерфейсами AXI-Stream на SystemVerilog

  • 09.08.2024 12:18
  • Fenja
  • 1
  • FPGA

Лучшие доклады последних FPGA-Systems: от выбора стратегии верификации до Quake 2 на RISC-V

  • 01.08.2024 08:38
  • yadro_team
  • 0
  • Блог компании YADRO
  • FPGA
  • Конференции
  • Производство и разработка электроники

Как мы написали конкурентные структуры данных на C++ и научились их верифицировать

  • 31.07.2024 10:59
  • ilyambda
  • 11
  • Блог компании VK
  • Высокая производительность
  • C++
  • Алгоритмы
  • Параллельное программирование
  • «
  • 1
  • 2
  • 3
  • »
Страница 1 из 3
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
00:00

Gemini перестал работать с VPN. Что делать? +11

09:01

Как поставить точку на беспорядке +9

08:00

Кислород из лунного грунта и новая космическая гонка: кто собрался строить инфраструктуру на Луне +7

08:45

Маленькие секреты детского фонографа +6

05:59

Eat your own dog food: почему продукт, которым не пользуются создатели, обречён +6

04:34

Наглядный пример, зачем нужны агенты +5

06:15

История изобретения гусеницы (гусеничного хода) +4

08:00

Linux 7.1: отказ от прошлого и подготовка к новому железу +3

05:00

Давайте объединим линейную и геометрическую алгебры. Часть 2. Матрица Якоби +2

08:44

Эмулятор Qemu | Установка и настройка +1

05:36

ΔE > 3: Как баг с колеровкой чуть не обрушил прод, и почему офис — это API вашей корпоративной культуры +1

05:15

Задача озвучивания орхоно-енисейских рунических надписей +1

02:55

Мониторинг температуры и влажности в квартире на минималках +1

07:32

Это — всё что вам надо знать о белых списках: как устроены и 6 рабочих способов обхода +303

23:06

Мама, я киберповстанец +67

21:38

Пекло +63

09:01

Почему не взлетели дирижабли? Часть 19: советские дирижабли накануне войны +36

02:32

Yggdrasil-ng: как я переписал Yggdrasil на Rust за 3.5 дня и неделю фиксил один баг +29

13:01

Я проверил Wi-Fi 7 на практике: 3+ Гбит/сек по воздуху и нюансы +27

13:16

Опасный ток: как плакаты и карикатуры поддерживали страх и что за ним стояло +22

06:11

Локальные LLM на слабом железе — что ставить, как запустить, чего ждать +19

15:06

Сломал руку, купил Pixel 10, возненавидел Gboard и написал свой офлайн-голосовой ввод для Android на GigaAM v3 +18

17:45

StaticECS — Bitmap Entity Component System +16

07:48

Накануне ввода «реестра криптанов» в РФ, давайте обратимся к французскому опыту +16

12:05

Лучший промпт для LLM. Бессмысленный поиск +15

07:25

Что тренд грядущий нам готовит: как Netflix меняет правила игры в киноиндустрии на примере отчета Still Watching 2025 +15

13:30

IT: от сокращения до оффера. Полезные заметки на полях +14

08:00

Пять одноплатников 2026: новые чипы, больше памяти и неожиданные форматы +11

18:37

Своя почта против Gmail +9

21:15

Почему Хомский неудобен для AI-индустрии +8

14:40

Пять неочевидных вещей, которые я узнал, запуская кино-соцсеть: от robots.txt-ловушки до 24-мерной математики вкуса +8

13:35

Kotlin — моя любовь, Java — моя судьба. История одного возвращения +8

00:03

От регулярок к ANTLR4: три архитектурных решения на парсере бизнес-формул +8

09:28

Глухарь ESPшный — мемуары охотника +125

08:06

Тренд на деградацию: как я написал прокси-шакализатор на Next.js, чтобы помочь замедлить интернет +84

09:01

Ваш RAG не умеет думать. А мой умеет +73

07:01

Кустарные вакуумные триоды Клода Пайяра. Часть 6. Приспособления, оснастка +45

17:52

Как работать с DDR4 +30

13:15

Вторая жизнь старого смартфона в качестве домашнего сервера +30

13:01

Золотой стандарт оптимизации: разбираем реализацию RollerCoaster Tycoon +30

11:40

Реализация автоудаления блокирующих сессий в MS SQL +30

16:46

Права в Linux: chown/chmod, SELinux context, символьная/восьмеричная нотация, DAC/MAC/RBAC/ABAC +27

08:05

КД-6. Конференц-телефон советской эпохи +26

19:56

Воскрешение NumLockCalc после 17 лет забвения +25

08:00

Ленты коротких видео: как оптимизировать, чтобы вас смотрели больше +25

13:14

Сравнительный анализ RISC-V микропроцессоров picorv32 и scr1 при использовании в FPGA +24

00:33

«Трубы» зовут — вспоминаем историю скринсейверов +23

07:50

Сапборд с мотором и немного о физике +22

07:05

О технологиях домашнего производства пластиковых/металлических деталей +19

09:15

Книга «Изучаем DDD — предметно-ориентированное проектирование». Подробный читательский обзор +18

12:13

Как атаки на Роскомнадзор рождают «хакеров» в СМИ и как сам Глава слил секретные методы DDoS +16

09:14

Первое решение суда поразило всех, но второе оказалось еще хлеще: иск на 766 000 000 ₽ за надпись «Я люблю свою семью» +16

08:00

Как подключить Kafka UI к кластеру Kafka в DBaaS +16

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Это — всё что вам надо знать о белых списках: как устроены и 6 рабочих способов обхода +303

    • 108

    Вторая жизнь старого смартфона в качестве домашнего сервера +30

    • 71

    Сапборд с мотором и немного о физике +22

    • 66

    Глухарь ESPшный — мемуары охотника +126

    • 51

    «Трубы» зовут — вспоминаем историю скринсейверов +23

    • 45

    Воскрешение NumLockCalc после 17 лет забвения +25

    • 42

    О создании в России центральной базы данных идентификаторов пользовательского оборудования (оконечного оборудования) +7

    • 39

    Какой VPN работает в России — надоело искать ответ, собрал каталог с голосованием -19

    • 34

    Первое решение суда поразило всех, но второе оказалось еще хлеще: иск на 766 000 000 ₽ за надпись «Я люблю свою семью» +17

    • 34

    Новинки КОМПАС-3D v24 Home +11

    • 33

    Как работать с DDR4 +30

    • 31

    Сломал руку, купил Pixel 10, возненавидел Gboard и написал свой офлайн-голосовой ввод для Android на GigaAM v3 +18

    • 29

    Gemini перестал работать с VPN. Что делать? +11

    • 28

    Тренд на деградацию: как я написал прокси-шакализатор на Next.js, чтобы помочь замедлить интернет +86

    • 27

    Kotlin — моя любовь, Java — моя судьба. История одного возвращения +8

    • 26

Подписка


  • Главная
  • Контакты
© 2026. Все публикации принадлежат авторам.