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

logo

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

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

Защита детей как причина для глобальной деанонимизации +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++
  • Алгоритмы
  • Параллельное программирование

Второй номер народного FPGA журнала! «Погоди-ка, а когда был анонс первого?»

  • 29.05.2024 05:55
  • KeisN13
  • 29
  • FPGA
  • Программирование микроконтроллеров
  • Производство и разработка электроники
  • Электроника для начинающих

Этому городу нужна конференция по FPGA: шесть актуальных докладов про разработку микроэлектроники в Санкт-Петербурге

  • 26.04.2024 09:22
  • yadro_team
  • 0
  • Блог компании YADRO
  • Python
  • FPGA
  • Конференции
  • Процессоры

Разработка и тестирование целочисленного сумматора с AXI-Stream интерфейсами, часть 2 +7

  • 26.10.2023 07:06
  • pcbteach
  • 0
  • Интерфейсы
  • Отладка
  • FPGA

Разработка и тестирование целочисленного сумматора с AXI-Stream интерфейсами. Часть 1 +3

  • 13.10.2023 08:37
  • pcbteach
  • 2
  • Interfaces
  • Debugging
  • Интерфейсы
  • Отладка
  • FPGA

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

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

Разработка и верификация Proxy/Factory смарт-контрактов. Solidity

  • 05.02.2023 15:55
  • chrzzz
  • 0
  • Solidity

Подборка книг по QA без Романа Савина +8

  • 23.12.2022 15:34
  • AlfaTeam
  • 1
  • Блог компании Альфа-Банк
  • Тестирование IT-систем
  • Тестирование игр
  • Профессиональная литература
  • Читальный зал
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

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

Почему я больше никогда не буду Team-Lead и тебе не советую +89

09:56

Структурки для ошкурки от ВТБ: как потерять 14 млн руб. на «сверхнадежных облигациях» всего за неделю +35

07:05

Китайский интернет куда-то исчезает +33

08:01

Полный айсберг Android. Часть 1 +28

13:01

3D-моделирование из бумаги +25

09:01

Легендарные костыли в продакшене +23

00:48

«Очумелые ручки» или собираем держатель для смартфона с клавиатурой и тачпадом из доступных средств +18

07:00

Как мы делаем ВКС в Яндексе, часть 2: это волшебное слово — эксплуатация +15

08:00

Искусственный интеллект в разработке: изучаем тренды и реальное применение +13

12:14

Топ-12 бесплатных нейросетей для создания видео и оживления картинок +12

05:15

Как я шахматного бота писал +12

12:18

История создания Tarantool DB: реальные проблемы, удачные решения и превращение проекта в продукт +11

12:18

История создания Tarantool DB: реальные проблемы, удачные решения и превращение проекта в продукт +11

07:30

Топ-6 Python-библиотек для визуализации +10

09:10

Главный эффект Манделы в мире программистов — сколько байт в мегабайте +9

09:51

Linux Open Port: пошаговое руководство по управлению портами фаервола +8

13:34

Хороший, плохой, злой. О чём мы забываем, работая с клиентами? +7

10:58

Оптимизация функций компьютерного зрения (библиотека OpenCV) для RISC-V +7

10:30

Книга: «Дизайн в масштабе. Создание устойчивой дизайн-системы» +7

10:20

N100 это не только ценный мех: самые совершенные процессоры для офисных задач +7

05:41

Одноразовый вейп в качестве веб-сервера +147

03:25

Что если представить habr в виде obsidian-графа? +74

14:01

Коллекция полезных HTML и CSS фич, которые редко используются +54

13:45

Ростелеком обнаружил переплаты за свет на сотни миллионов рублей +45

09:05

7 SQL-запросов, которые решают 90% всех задач на работе +39

07:01

Что происходило с новым законом про ЦОДы — мы нашли, кто смог подробно всё это объяснить +39

08:00

GPU, диски, серверы — что ещё анонсировали вендоры в августе. Железный дайджест Selectel +38

11:28

Как мы видеокарту AMD на ПЛИС с RISC-V и Linux запускали +35

09:02

Как взломать и разрушить АЭС за 49 минут: разбор кибератаки на ядерный реактор +33

10:30

Оценка сроков выполнения задач: покоряем закон Хофштадтера +29

06:59

Как я научил Jetpack Compose показывать рекомпозиции в реальном времени +29

00:08

Не XP единой — почему Windows 2000 была настоящим шедевром Microsoft +29

19:50

Что выяснили про ChatGPT: первые реальные данные несколько удивляют +27

12:24

Я хотел пошпионить за своим псом, а в результате проследил за TP-Link +26

12:00

Полный гайд по экономии в облаке Selectel: 3 инструмента, 5 практических сценариев, шпаргалка +26

09:06

Гений Пифагора: почему в рекурсивно-вычисляемом клеточном автомате Вселенной наше сознание бессмертно? +22

14:17

У нас было 10k метрик, 500 А/В-экспериментов и 500kk p-value каждый день… +21

09:32

Как избавиться от проприетарных ETL: кейс миграции на dbt +20

13:24

Распродажа в издательстве «Питер» +19

12:00

2 причины смертельной болезни проекта: устаревшие технологии и монополия на знания. Рассказываем, как это лечить +18

15:02

Я разобрался, каршеринг — это не бизнес на аренде авто +180

08:05

Технологии из прошлого: телетайп. Разбираемся в устройстве, воскрешаем старый аппарат +77

17:21

SSL-сертификаты в 2025: самый прибыльный развод в истории интернета +71

12:00

Как мы в Selectel запускали Minecraft-сервер +58

09:23

Вам больше не нужен JavaScript +57

08:01

Осенняя барахолка под Валенсией: ноутбуки, консоли и кое-что еще +53

13:01

Создаём личную систему VoIP +47

09:01

Эпоха групповых чатов. Негласные правила, динамика, модерация +45

16:05

Как устроены массивы в PHP и как код влияет на скорость работы с ними +39

05:12

Бюджет РФ не очень сходится, а также новый самый богатый человек на $393 млрд в облачном компьютинге +36

09:00

Порядок против хаоса: мои главные ошибки и 5 правил организации личной базы знаний +32

10:21

Сибур инвестировал в систему диагностики, чтобы предотвратить миллионы убытков от аварий +31

17:28

Астрономы в замешательстве: исследование чёрной дыры QSO1 массой 50 млн Солнц, которая всех съела +26

14:37

Непостижимая эффективность современных алгоритмов сортировки +26

06:00

N8n: (не)реальные возможности и ограничения +23

22:30

Что такое эмбеддинги и как с ними работать. Вводная для начинающих +22

12:00

FreeBSD в 2025 году: виртуализация, эмуляция и новые правила для AI +22

08:37

Почему китайская полимерная оптика есть, а в России её нет. В чём отличия технологий +19

15:23

Вайбкодинг мертв. На смену пришло агентное роевое программирование +18

10:01

Да, было: большая подборка IT-факапов ко Дню программиста +18

СЕРВИСЫ
  • logo

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

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.

Подписка


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