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

logo

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

Публикации с тегом verification

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

  • 22.04.2026 11:17
  • alinkagalichina
  • 0
  • Блог компании YADRO
  • Производство и разработка электроники
  • FPGA
  • Тестирование IT-систем
  • Процессоры

Ory Kratos — конструктор для сборки цифрового продукта любой сложности +58

  • 30.12.2024 07:26
  • baronskiy_a
  • 3
  • Блог компании KTS
  • Go
  • Open source

Статический анализ структуры базы данных в проекте GitLab +3

  • 06.09.2024 05:36
  • nvv
  • 0
  • PostgreSQL
  • Анализ и проектирование систем
  • SQL

Статический анализ структуры базы данных (часть 3)

  • 15.06.2024 11:32
  • nvv
  • 0
  • PostgreSQL
  • Анализ и проектирование систем
  • SQL

Статический анализ структуры базы данных (часть 2)

  • 07.04.2024 11:39
  • nvv
  • 2
  • PostgreSQL
  • Анализ и проектирование систем
  • SQL

Статический анализ структуры базы данных (часть 1)

  • 25.03.2024 07:50
  • nvv
  • 1
  • PostgreSQL
  • Анализ и проектирование систем
  • SQL

Отрабатываем протокол valid/ready и конвейеры на микроархитектурном тренажере +2

  • 13.11.2023 11:00
  • etherblade
  • 0
  • Open source
  • FPGA
  • Программирование микроконтроллеров
  • Производство и разработка электроники
  • Электроника для начинающих

Разбор работы FIFO на микроархитектурном тренажере +18

  • 13.09.2023 14:48
  • etherblade
  • 1
  • Programming microcontrollers
  • Manufacture and development of electronics
  • Electronics for beginners
  • Open source
  • FPGA
  • Программирование микроконтроллеров
  • Производство и разработка электроники
  • Электроника для начинающих

Верификация e-mail по протоколу smtp. Узнаем, что почта есть и ждёт писем при помощи python +2

  • 01.07.2023 00:19
  • Story-teller
  • 7
  • Spamming and anti-spamming
  • Email-marketing
  • Спам и антиспам
  • Python
  • Email-маркетинг

Цель верификации и валидации в тестировании программного обеспечения -1

  • 20.12.2022 12:58
  • ProQualityCommunity
  • 0
  • Тестирование IT-систем
  • Тестирование веб-сервисов
  • Тестирование мобильных приложений
  • Тестирование игр

Темное искусство функциональной верификации цифровых микросхем +11

  • 26.02.2022 11:26
  • YuriPanchul
  • 7
  • Анализ и проектирование систем
  • Алгоритмы
  • Математика
  • FPGA
  • Производство и разработка электроники

Верификация цифровых схем. Обзор +39

  • 22.12.2019 19:17
  • majikthise
  • 31
  • FPGA
  • Производство и разработка электроники
  • Из песочницы

nanoFOX — простое RISC-V совместимое ядро +23

  • 21.05.2019 14:19
  • Dmitriy0111
  • 8
  • Программирование
  • FPGA

Хардкорные Java/JVM задачки +30

  • 15.03.2018 07:27
  • cypok
  • 19
  • Системное программирование
  • Компиляторы
  • Занимательные задачки
  • JAVA

Верификация конечного автомата +28

  • 17.01.2017 09:54
  • ogvalt
  • 13
  • FPGA
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

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

Всё, что вы настроили в Linux, можно было не настраивать +41

05:13

NetFix: как я сделал GUI-обёртку для Zapret и TgWsProxy, которой самому приятно пользоваться +23

07:10

Постковидный эндотелиит: почему вы устаете не только от работы +21

09:01

Почему не взлетели дирижабли? Часть 24: «блимпы» США двух мировых и холодной войн, бой с подлодкой и пропавший экипаж +10

08:19

Как я прошёл путь от «сам быстрее напишу» до своего фреймворка для агентной разработки +9

08:05

Эти программы знали все. Но сейчас не каждый разберётся, как ими пользоваться. Софт из нулевых, про который мы забыли +8

08:00

Western Digital создала жесткий диск с защитой от квантовых атак: разбираем, как он работает +8

06:19

Ручной тепловизор из термального модуля fpv. С записью фото на смартфон +8

06:30

Как Япония попыталась в 1980-х создать компьютер пятого поколения и напугала Америку +7

11:30

Пауки европейской части России, которых действительно лучше обойти стороной +6

09:18

10 настроек Claude Code для разработчика-архитектора +6

08:28

Как я потратил полгода на «покажи чертёж нормально» +6

07:01

Hermes Agent Desktop: личный опыт и пошаговая настройка под реальные задачи +6

06:19

Топ-10 вопросов на собеседовании по FastAPI +5

11:10

Что происходит внутри LLM, когда ты отправляешь сообщение +3

01:13

Как тестировать HTTP-запросы к внешним сервисам в Python-приложениях: requests-mock, pytest-httpx и FastAPI +3

10:57

117 ИТ-проектов и один вопрос, который убил большинство из них +2

09:20

Город, которого нет… на карте ЦОД‑индустрии — и это странно +2

08:51

Anything LLM для каждого [бизнеса] +2

11:17

Как бесплатный заказ на Авито превратился в задачу на 2,5 месяца +1

09:01

Нейтродин. Забытая радиосхемотехника 1920-х +72

07:30

Меня бесит использование ИИ в разработке. И я наконец понял почему +53

07:01

Как я сделал сканер под iOS и Android для диагностики Wi-Fi-сети +52

00:30

Что происходит, когда LLM остается наедине с собой (неожиданно, но она сходит с ума) +44

13:01

Как я установил в свой игровой ПК серверный GPU за £200 +39

15:20

IPv10, или замедление, ставшее ускорением +36

10:38

В умелых руках и sed — балалайка или пишем «Морской бой» на регулярках +31

07:06

247 Java-собесов в банках РФ: 12 вопросов в 80% случаев — и почему №7 валит 9 из 10 +31

08:05

Самый суровый кодовый замок СССР +29

11:15

Нельзя попросить протоны сталкиваться помедленнее: как устроена фильтрация данных CERN +20

14:05

Настоящий андеграунд: современные BBS +19

14:13

Представляем AdaEngine 0.1.0 — игровой движок на Swift +18

11:13

Из CTF в багбаунти: как я заработал 7 миллионов рублей за полтора месяца и причем тут ИИ +18

08:02

Я спрятал в этой статье шифр. Точно так же, как его прячет ваш принтер +18

21:07

Vulkan рендер для S.T.A.L.K.E.R OGSR +15

14:38

Здравствуйте, я мистер Мисикс. Практические заметки о психологии вашего искина +14

08:21

Что kubectl debug вам не показывает: незаметный пробел в данных +14

12:34

Простая сложная VictoriaMetrics +13

08:25

Загадка ядра Linux: почему на 36 vCPU Cilium падает, а на 32 — нет +13

07:40

Про конструкторы сайтов с ИИ – что реально уже работает, а что только для пиара +13

12:52

Оживляем дешевый Smart TV: обход вырезанного ADB, деблоат Яндекс.ТВ и сборка легкого медиацентра +156

07:05

Как перестать залипать, или скучный способ выбраться из дофаминовой ямы +85

19:46

Основы информатики для всех +63

21:53

Человек, который занимался нейросетевой математикой в Красноярске — и которого цитируют до сих пор +54

13:02

Можно ли «перенести» окно в квартире на любую стену или даже размножить? +54

08:00

Миф о «равных весах»: что на самом деле скрывается внутри малых моделей +39

09:01

Насколько обоснован хайп вокруг электрогитар марки JET, и при чём здесь ИИ? +37

06:56

Подключение современной USB-мыши к ретро компьютеру с шиной ISA +36

07:05

Про шестерни-2: необычные реализации и альтернативные подходы +35

18:38

Один баг в проде, после которого я всерьёз воспринимаю неопределённое поведение +31

15:54

Голубая мечта околоайтишника — разбогатеть на ChatGPT-обертке +25

09:35

CO2 станция на ESP32-C3 + SCD41 + GC9A01 +25

14:13

Как компьютер Spacelab считал без микропроцессора: реверс-инжиниринг платы из 1980-х +24

15:14

Обзор SPI Flash памяти MX25L6433F +23

18:58

Как игровой GUI пишут заново (Ч.2) +22

09:40

Что у вас спросят про Docker на интервью? Разбираем 10 главных вопросов +21

09:29

Может ли Service сломать ваш K8s кластер? +21

09:29

Может ли Service сломать ваш K8s кластер? +21

07:38

Разбираем новый релиз «Графини»: кеширование витрин, прогнозирование и импорт дашбордов из Grafana +21

07:05

Как шахматный подход помог разобраться с фотолентой Яндекс Диска +21

СЕРВИСЫ
  • logo

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

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

  • Что происходит, когда LLM остается наедине с собой (неожиданно, но она сходит с ума) +44

    • 69

    Оживляем дешевый Smart TV: обход вырезанного ADB, деблоат Яндекс.ТВ и сборка легкого медиацентра +156

    • 69

    Плати по миру: честный отзыв о виртуальной карте в 2026 году — как я плачу из России за Claude, подписки и путешествия -2

    • 65

    Почему производительность труда в России ниже, чем в развитых странах +7

    • 63

    Делал микро-продукт 1,5 года, потратил 100 000 ₽, им воспользовались 5 000 человек, но не заплатил никто +9

    • 63

    Меня бесит использование ИИ в разработке. И я наконец понял почему +53

    • 57

    Как перестать залипать, или скучный способ выбраться из дофаминовой ямы +85

    • 52

    Всё, что вы настроили в Linux, можно было не настраивать +41

    • 43

    Подключение современной USB-мыши к ретро компьютеру с шиной ISA +36

    • 40

    Почему Claude Code и Codex не ускоряют команду: у компании нет общей памяти +13

    • 34

    Из мёртвого ноута — в домашний NAS: спасаем 100 ГБ фоток за 0 ₽ +4

    • 32

    Основы информатики для всех +63

    • 30

    Голубая мечта околоайтишника — разбогатеть на ChatGPT-обертке +25

    • 29

    Умный дом без контроллера: как собрать систему на реле и диммерах +14

    • 27

    Как я установил в свой игровой ПК серверный GPU за £200 +39

    • 26

Подписка


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