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

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

07:05

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

07:16

Возвращение блудного программиста +6

07:01

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

06:28

Видеть невидимое: как создаётся независимость Поднебесной в космосе +3

06:00

Ищем бесплатную альтернативу Телеграм и WhatsApp*. Тестим мессенджер в Битрикс24 в издательстве настольных игр +3

05:20

Моделирование резьбы для 3D печати +3

05:01

Бегущий чайник +3

08:06

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

08:04

Прихоть или безопасность: как компаниям использовать биометрию в новых реалиях +2

08:00

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

08:00

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

07:38

Проблемы в работе над стилем в AI-видео – и как их решать +2

07:20

Арестован владелец аккаунта на Polymarket, заработавший $400 тыс. на инсайде по Венесуэле +2

07:14

Приоритет выше закона физики: как мы победили «шумных соседей» в Kafka на 301 млн сообщений +2

06:50

Что нужно знать про 3D-принтеры, если вы провели 30 лет в коме +2

05:48

Реактивные серверы, или как перестать писать JavaScript и начать жить +2

08:15

AI в iOS-разработке: что у меня реально закрепилось в 2026, а что я выкинул +1

08:00

АИС «Налог-3»: что на самом деле видит о вас налоговая? +1

07:35

Допиливаем InferSim для собственных нужд моделирования загрузки промышленных GPU +1

05:38

TSMC: почему 90% передовых чипов в мире делают на одном взрывоопасном острове +124

22:13

Выжать больше из локальных LLM. Ollama медленнее llama.cpp в 3 раза. UD_Q4_K_XL лучше чем Q4_K_M, а вес тот же и т.д +43

11:07

Что на самом деле происходит в комнате с пирамидками и почему после неё не верят даташитам на микросхемы +43

12:04

Тихий перфоратор для соседа: как спроектировать тактовый генератор с распределенным спектром +32

08:01

OpenSearch Dashboards и как веб‑интерфейс упрощает работу с кластером +32

12:00

Возвращение испанской барахолки: аудиосистемы, интернет по проводке, баян и кое-что еще +29

15:22

Вы еще спрашиваете, почему все ненавидят рекрутеров? +25

14:55

Есть ли жизнь после Cisco ISE? Распаковка и тест-драйв российского NAC от Eltex в сетевой лаборатории +25

07:05

Дело 2005г.: Sony BMG против собственных покупателей или как защита от пиратства превратилась в руткит +25

09:01

Редкий китайский суперстрат Vorson TS-K-6 +23

14:27

Вот как сегодня устроено российское производство +22

13:01

АПаем возможности паять: переход на новый паяльник +22

09:49

Я устал каждый раз гуглить одно и то же в nginx — и сделал инструмент, который объясняет конфиги на русском +19

05:35

Обзор релиза Kubernetes 1.36: перестаём пересобирать образы, чистим «зомби» PVC и читаем логи без SSH. Разбор 68 фич +17

14:15

Подводные камни распараллеливания автотестов +16

08:50

Как дообучать локальные LLM в 2026 году: практическое руководство +15

14:05

Intl: мощный браузерный API, который вы, возможно, не используете +14

14:00

AutoML для NLU без ручной настройки: делимся библиотекой OpenAutoNLU +14

11:41

Чит-код для ИТ-карьеры: как рецензирование книг помогает проходить собесы в бигтех и прокачивать личный бренд +14

05:49

Почему я так придираюсь к вёрстке (и вам советую) +14

19:02

Минцифры идёт на зачистку. Малые операторы — под нож… +243

09:01

Реверсим штатный ключ сигнализации JAC-Москвич +73

09:01

Тридцать три тысячи жизней: самое громкое киберпреступление в истории Финляндии +55

08:17

Разработка RC-машинки с BLDC. Подход с нуля +54

12:00

Практическое руководство по Qwen: установка, настройка vLLM и работа через API +45

11:39

Ловим время в формате DCF77 +38

07:02

userver 3.0 — большой релиз фреймворка для IO‑bound‑программ, переход на C++20 +33

13:01

Устанавливаем почтовый сервер Addy.io для одноразовых почтовых адресов +32

15:30

Я много лет пытался повысить продуктивность и качество жизни — эксперименты над собой (Часть 2) +27

08:00

Автоматизируем создание глобального роутера для связи выделенного и облачного серверов +27

07:05

Если трос оборвался. Что произойдет с кабиной лифта в самом плохом случае? +27

11:21

CSS для тех, кто спал и проснулся +25

13:47

Зачем айтишнику писать книги, и почему сейчас — самый лучший момент? +24

16:25

$1.8 миллиарда, два брата и ноль проверок: как The New York Times попалась на AI-хайп +23

07:00

PicoClaw на Arduino Uno Q +23

06:20

IT-монополии наперегонки сращиваются с государством: кто быстрее? +20

11:17

Как ускорить верификацию: советы для инженеров и менеджеров аппаратной разработки +19

09:30

Запускаем Qwen3.6 35B-A3B + opencode локально на RTX 4070 12GB — AI-ассистент для разработки без облака +18

07:06

Рецензия на книгу «Основы разработки приложений для iOS» +17

07:09

Возвращение легенды: почему Fortran снова в топе и где его использовать сегодня +16

СЕРВИСЫ
  • logo

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

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

  • Минцифры идёт на зачистку. Малые операторы — под нож… +243

    • 477

    Парадокс «кадрового голода» 2026: почему вакансий меньше, а работать некому? -8

    • 152

    TSMC: почему 90% передовых чипов в мире делают на одном взрывоопасном острове +124

    • 89

    Роботы заменят людей? +7

    • 89

    Покупатель попросил готовить дом к его приезду и приносить ему еду. Тогда я понял, за что берут 900 тысяч за сотку +9

    • 75

    Зачем ИТ-специалисту семья, или как не потерять себя на работе и в разврате? -15

    • 56

    Реверсим штатный ключ сигнализации JAC-Москвич +73

    • 41

    Вы еще спрашиваете, почему все ненавидят рекрутеров? +25

    • 38

    Зачем айтишнику писать книги, и почему сейчас — самый лучший момент? +24

    • 37

    Что на самом деле происходит в комнате с пирамидками и почему после неё не верят даташитам на микросхемы +43

    • 35

    Если трос оборвался. Что произойдет с кабиной лифта в самом плохом случае? +29

    • 33

    Способы достижения технологической независимости в области ЭВМ -2

    • 29

    Ловим время в формате DCF77 +38

    • 29

    5 стадий поиска работы в IT +14

    • 29

    АПаем возможности паять: переход на новый паяльник +22

    • 28

Подписка


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