• Главная
  • Контакты
Подписаться:
  • 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
ЛУЧШЕЕ

  • Вчера
  • Позавчера
10:46

Фирма из 14 человек vs завод с 93-летней историей: Наглядный пример того, как убивают заводы +75

08:45

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

09:55

far2l 2.8.0 в Ubuntu 26.04: новые классные фичи +36

09:01

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

13:01

Как фотографируют в космосе +23

00:00

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

08:00

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

08:00

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

05:59

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

19:15

Модель термогенеза пчелы +9

12:16

Неприятный антиутопический мир центров обработки данных для ИИ +9

11:30

Эстонская сланцевая энергетика: от революции к контрреволюции +9

10:50

Потоковая запись ADC семплов на STM32 +9

04:34

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

17:24

«Очевидный вопрос»: годовой эксперимент по изучению семантического табу +7

16:21

Пластиковые пакеты для спасения жизней новорождённых: фейк или нетипичная практика? +7

16:15

Биологический квайн: программа из 75 букв ДНК, которая копирует сама себя +7

09:53

Применение платы Arduino Due для измерения параметров вибрации при балансировке роторов +7

08:37

Вышел DeepSeek V4. Почему это очень плохо для США? +7

06:15

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

07:32

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

23:06

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

21:38

Пекло +93

09:01

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

13:01

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

02:32

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

13:16

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

17:45

StaticECS — Bitmap Entity Component System +27

15:06

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

06:11

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

13:30

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

07:48

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

12:05

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

08:00

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

07:25

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

14:16

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

21:15

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

18:37

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

18:39

Как я снимал короткометражку с тремя нейросетями и одним агентом +9

16:02

Квантовый сапёр и квантовый тетрис: изучение квантовых феноменов через компьютерные игры +9

СЕРВИСЫ
  • logo

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

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

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

    • 140

    Фирма из 14 человек vs завод с 93-летней историей: Наглядный пример того, как убивают заводы +75

    • 98

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

    • 78

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

    • 71

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

    • 60

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

    • 60

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

    • 50

    far2l 2.8.0 в Ubuntu 26.04: новые классные фичи +36

    • 35

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

    • 33

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

    • 31

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

    • 30

    «Очевидный вопрос»: годовой эксперимент по изучению семантического табу +7

    • 28

    Наглядная эволюция человека, на коротком отрезке времени +3

    • 27

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

    • 27

    Вышел DeepSeek V4. Почему это очень плохо для США? +7

    • 26

Подписка


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