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

  • Вчера
  • Позавчера
08:00

Я удалил backpropagation из нейросети. Она обучилась методами XIX века +55

06:30

Инфраструктура Шрёдингера: как вывести ИТ-ресурсы из суперпозиции и знать всё об активах наверняка +50

11:37

Ревью вайб-кода с гнильцой, который притворяется оптимизированным С++ кодом +43

07:00

Как устроена торговля между звёздными системами +34

09:01

Что было бы, если бы Linux распространялся под BSD +30

06:40

Как организовать балансировку нагрузки Backend приложений Java Spring Cloud + Kubernetes +23

10:55

Чем занимается инженер отдела сопровождения разработки: от предсерийного образца до стабильного продукта +20

09:01

12 проблем с отбором резюме: чиним найм по науке +19

10:04

— Мам, купи Suno. — У нас есть Suno дома! ACE‑Step XL 4B — русскоязычная музыкальная студия с открытым исходным кодом +18

07:15

Часы на ВЛИ ИВ-18 +18

13:01

Голоса в компьютере: поющие сидя +16

07:23

Как я искал проблему в режиме работы, а упёрся в осанку: почему сутулость у меня заметно ухудшала память +15

04:53

Кризис инструментария API: почему разработчики бегут от Postman и его клонов? +15

07:07

Конденсаторное травление печатных плат или фотоэлектрический плоттер ;-)? +14

07:01

Minisystem: сервисный режим, который может пригодиться каждому, кто работает с СХД +14

05:38

Чип размером с приусадебный участок +13

17:50

AGI уже стучится в дверь человечества. А мы всё ещё думаем, что он станет нашим лучшим другом +12

10:23

Python Executor: как мы встроили Python в автоматизации «Первой Формы», не пуская его в ядро +12

07:54

Почему пользователи врут на интервью и что мы увидели, когда начали за ними наблюдать +12

11:11

Как (не) перевернуть строку, или Ох, уж этот Unicode +11

05:16

Win32 API и ностальгия по окнам странной формы +148

08:00

Ремонт блока питания с Power Delivery. 470 граммов электроники +106

13:01

Электроинструмент становится хуже, и это делается намеренно +104

12:07

Как ИИ-агенты стали новым оружием скамеров на Хабр Карьере +65

20:16

Perl — зря забытый язык программирования? +47

07:05

Механический калькулятор. Как работает арифмометр? +41

09:01

Готовимся к отключению. Эффективные форматы для упаковки и раздачи HTML-страниц +38

12:00

Linux 7.0 и что изменилось в ядре после очередного цикла разработки +33

08:00

Программирование с AI-ассистентом — похороните меня под плинтусом +30

04:59

Замедление Телеграма замедлилось, а также законопроект об уголовной ответственности за крипту в РФ +26

17:21

Ракета, которая не взлетела: почему компании отказываются от OpenStack +25

08:12

Легенды 90-х — кто придумал и производил жвачки Turbo, Love is… и TipiTip +25

12:15

Как переложить нагрузку по code review с разработчиков на LLM +23

11:35

Vibe++ очень простой язык для промпт-программистов. А почему бы и не да? +22

18:33

Выделение регистров процессора при помощи генетического алгоритма +21

09:05

Объяснение лямбда исчисления через Python +20

01:54

Нейропластичность для разработчика — как учиться эффективнее +18

08:30

Что такое «мышечная память» и можно ли её развить? +17

07:21

«Великое очищение» в работе с контентом: что осталось от роли редактора +16

14:51

Артемида-2 была небезопасна +15

СЕРВИСЫ
  • logo

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

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

  • Win32 API и ностальгия по окнам странной формы +148

    • 284

    Электроинструмент становится хуже, и это делается намеренно +104

    • 175

    Perl — зря забытый язык программирования? +47

    • 64

    Vibe++ очень простой язык для промпт-программистов. А почему бы и не да? +24

    • 50

    Наконец-то он готов: исчерпывающий гайд о запрете иностранных слов в России — всё самое важное в одном посте +7

    • 41

    Ремонт блока питания с Power Delivery. 470 граммов электроники +106

    • 36

    Как устроена торговля между звёздными системами +34

    • 33

    Senior Backend не существует. Вы ищете троих +7

    • 29

    Готовимся к отключению. Эффективные форматы для упаковки и раздачи HTML-страниц +38

    • 29

    Маск передумал: Model 2 возвращается, но рынок бюджетных авто уже занят китайцами +7

    • 27

    Кризис инструментария API: почему разработчики бегут от Postman и его клонов? +15

    • 24

    Почему время замедляется при ускорении? Объяснение, которое вы нигде не найдёте +5

    • 23

    Замедление Телеграма замедлилось, а также законопроект об уголовной ответственности за крипту в РФ +26

    • 23

    YouTube для мамы: VLESS + Reality без боли, консолей и конфигов +2

    • 22

    Молодость всё прощает? +14

    • 21

Подписка


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