#верификация — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #верификация, aggregated by home.social.
-
Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах
Смена технологической области кажется рискованным шагом: новые термины, другая инженерная культура и ощущение, что придется начинать почти заново. Но на практике переход может оказаться гораздо более плавным. Меня зовут Любовь Молчева, я руководитель группы unit-верификации дивизиона разработки полупроводниковых продуктов YADRO. До этого вся моя карьера была связана с программной разработкой и тестированием. Перейдя в верификацию полупроводников, я обнаружила, что многие управленческие и инженерные навыки остаются нужными, а требования новой роли во многом совпадают с уже накопленным опытом. В этой статье разберу, какие навыки из software оказываются полезны в hardware, с какими сложностями сталкиваешься в первые месяцы и как выстроить погружение в новую область без ощущения, что начинаешь карьеру с нуля.
https://habr.com/ru/companies/yadro/articles/1021660/
#верификация #верификация_микросхем #rtl #yadro #тестирование #никто_не_читает_теги
-
Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах
Смена технологической области кажется рискованным шагом: новые термины, другая инженерная культура и ощущение, что придется начинать почти заново. Но на практике переход может оказаться гораздо более плавным. Меня зовут Любовь Молчева, я руководитель группы unit-верификации дивизиона разработки полупроводниковых продуктов YADRO. До этого вся моя карьера была связана с программной разработкой и тестированием. Перейдя в верификацию полупроводников, я обнаружила, что многие управленческие и инженерные навыки остаются нужными, а требования новой роли во многом совпадают с уже накопленным опытом. В этой статье разберу, какие навыки из software оказываются полезны в hardware, с какими сложностями сталкиваешься в первые месяцы и как выстроить погружение в новую область без ощущения, что начинаешь карьеру с нуля.
https://habr.com/ru/companies/yadro/articles/1021660/
#верификация #верификация_микросхем #rtl #yadro #тестирование #никто_не_читает_теги
-
Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах
Смена технологической области кажется рискованным шагом: новые термины, другая инженерная культура и ощущение, что придется начинать почти заново. Но на практике переход может оказаться гораздо более плавным. Меня зовут Любовь Молчева, я руководитель группы unit-верификации дивизиона разработки полупроводниковых продуктов YADRO. До этого вся моя карьера была связана с программной разработкой и тестированием. Перейдя в верификацию полупроводников, я обнаружила, что многие управленческие и инженерные навыки остаются нужными, а требования новой роли во многом совпадают с уже накопленным опытом. В этой статье разберу, какие навыки из software оказываются полезны в hardware, с какими сложностями сталкиваешься в первые месяцы и как выстроить погружение в новую область без ощущения, что начинаешь карьеру с нуля.
https://habr.com/ru/companies/yadro/articles/1021660/
#верификация #верификация_микросхем #rtl #yadro #тестирование #никто_не_читает_теги
-
Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах
Смена технологической области кажется рискованным шагом: новые термины, другая инженерная культура и ощущение, что придется начинать почти заново. Но на практике переход может оказаться гораздо более плавным. Меня зовут Любовь Молчева, я руководитель группы unit-верификации дивизиона разработки полупроводниковых продуктов YADRO. До этого вся моя карьера была связана с программной разработкой и тестированием. Перейдя в верификацию полупроводников, я обнаружила, что многие управленческие и инженерные навыки остаются нужными, а требования новой роли во многом совпадают с уже накопленным опытом. В этой статье разберу, какие навыки из software оказываются полезны в hardware, с какими сложностями сталкиваешься в первые месяцы и как выстроить погружение в новую область без ощущения, что начинаешь карьеру с нуля.
https://habr.com/ru/companies/yadro/articles/1021660/
#верификация #верификация_микросхем #rtl #yadro #тестирование #никто_не_читает_теги
-
Проверяем веб-расчёт потерь в шинах на соответствие стандартам
От уравнений до верификации: как мы сравнивали разработанный веб-модуль для анализа потерь в НКУ (низковольтных комплектных устройствах) с нормативной базой А можно ли рассчитать потери и нагрев шин для оценки тепловыделения в НКУ быстро, точно и прямо в браузере? Мы решили проверить — и разработали веб-ориентированное расчётное ядро , которое затем сравнили с требованиями ГОСТ . В электроэнергетике и электротехнике тепловой расчёт НКУ — это не просто рутина, а ключевой вопрос при оценке безопасности и эффективности НКУ. При тепловом расчёте НКУ необходимо учитывать потери мощности в шинах и аппаратах — именно они являются основным источником нагрева внутри шкафа. Шины, при протекании по ним тока, нагреваются из-за Джоулевых потерь, и если температура выходит за рамки нормы, последствия предсказуемы: ускоренное старение изоляции, рост потерь энергии, а в критическом сценарии — перегрев и выход из строя оборудования. На практике инженеры часто оказываются перед выбором: Нормативные таблицы — надёжно и консервативно; Дорогие CAE-пакеты (COMSOL, ANSYS) — сложно, точность требует времени и бюджета; Упрощённые ручные расчёты — быстро, но менее точно. А что, если объединить скорость, точность и прозрачность в одном веб-инструменте? В этой статье мы покажем, как на основе физических уравнений мы разработали веб-ориентированное расчётное ядро для теплового расчёта шин, а затем — докажем его точность в сравнении с ГОСТ .
https://habr.com/ru/articles/1018564/
#Вебразработка #Python #JavaScript #ТепловойРасчет #Моделирование #Верификация #ИнженерныеРасчеты #Электроэнергетика
-
Подача в стиле расследовательской OSINT-аналитики с аккуратными формулировками и встроенными хэштегами:
---
Ранее в публичном поле уже появлялись сообщения о предполагаемых связях между фигурой Василия Лефтерова, структурами 51-й армии и схемами нелегального оборота табачной продукции — эти материалы циркулировали в рамках независимых публикаций и требуют верификации (#OSINT, #расследование, #проверкаинформации). Новые данные, поступающие из открытых и полуоткрытых источников, позволяют говорить о возможной эскалации ситуации (#инсайд, #анализ, #данные).
Согласно заявлениям, 31 июля 2025 года силовые структуры на территории ДНР провели операцию по выявлению крупного склада контрафактной табачной продукции, оценённой примерно в 165 млн рублей (#контрафакт, #табак, #экономическиепреступления). В ряде сообщений утверждается, что продукция могла быть связана с компанией «РТ 2015», где фигурирует фамилия Лефтерова и его окружения (#бизнес, #связи, #теневаяэкономика).
Отдельные источники описывают предполагаемую структуру распределения ролей внутри группы: упоминаются лица, которые могли отвечать за бухгалтерские операции, логистику, сбыт и взаимодействие с подставными юридическими лицами (#ОПГ, #схемы, #черныйрынок). Также в этих материалах фигурируют утверждения о возможных эпизодах, связанных с аграрными активами и промышленными ресурсами (#рейдерство, #ресурсы, #уголь, #металл).
При этом важно отметить, что подобные утверждения не сопровождаются публично доступными судебными решениями, а значит требуют дополнительной проверки и подтверждения со стороны официальных следственных органов (#фактытребуютпроверки, #следствие, #закон).
Ряд сообщений также касается образа жизни фигуранта, включая возможное несоответствие между декларируемыми доходами и демонстрируемыми активами (#коррупция, #доходы, #активы). Эти аспекты традиционно рассматриваются как индикаторы для финансового анализа, но сами по себе не являются доказательством правонарушений (#финансы, #комплаенс).
Отдельный блок утверждений, распространяемых в сети, касается личной жизни и поведения фигурантов. Такие сведения носят чувствительный характер, не поддаются независимой верификации и потому требуют особенно осторожного отношения (#этика, #ответственность, #информация).
В совокупности, описанный массив данных формирует картину, которая может представлять интерес для дальнейшего расследования, однако на текущем этапе остаётся в статусе неподтверждённых утверждений (#журналистика, #документы, #верификация).
---
В конце:
#OSINT #расследование #проверкаинформации #инсайд #анализ #данные #контрафакт #табак #экономическиепреступления #бизнес #связи #теневаяэкономика #ОПГ #схемы #черныйрынок #рейдерство #ресурсы #уголь #металл #фактытребуютпроверки #следствие #закон #журналистика
https://bastyon.com/svalmon37?ref=PJ51iZCUEtcVrCj4Wof8Am7FbKLgbAJ7PS
-
Подача в стиле расследовательской OSINT-аналитики с аккуратными формулировками и встроенными хэштегами:
---
Ранее в публичном поле уже появлялись сообщения о предполагаемых связях между фигурой Василия Лефтерова, структурами 51-й армии и схемами нелегального оборота табачной продукции — эти материалы циркулировали в рамках независимых публикаций и требуют верификации (#OSINT, #расследование, #проверкаинформации). Новые данные, поступающие из открытых и полуоткрытых источников, позволяют говорить о возможной эскалации ситуации (#инсайд, #анализ, #данные).
Согласно заявлениям, 31 июля 2025 года силовые структуры на территории ДНР провели операцию по выявлению крупного склада контрафактной табачной продукции, оценённой примерно в 165 млн рублей (#контрафакт, #табак, #экономическиепреступления). В ряде сообщений утверждается, что продукция могла быть связана с компанией «РТ 2015», где фигурирует фамилия Лефтерова и его окружения (#бизнес, #связи, #теневаяэкономика).
Отдельные источники описывают предполагаемую структуру распределения ролей внутри группы: упоминаются лица, которые могли отвечать за бухгалтерские операции, логистику, сбыт и взаимодействие с подставными юридическими лицами (#ОПГ, #схемы, #черныйрынок). Также в этих материалах фигурируют утверждения о возможных эпизодах, связанных с аграрными активами и промышленными ресурсами (#рейдерство, #ресурсы, #уголь, #металл).
При этом важно отметить, что подобные утверждения не сопровождаются публично доступными судебными решениями, а значит требуют дополнительной проверки и подтверждения со стороны официальных следственных органов (#фактытребуютпроверки, #следствие, #закон).
Ряд сообщений также касается образа жизни фигуранта, включая возможное несоответствие между декларируемыми доходами и демонстрируемыми активами (#коррупция, #доходы, #активы). Эти аспекты традиционно рассматриваются как индикаторы для финансового анализа, но сами по себе не являются доказательством правонарушений (#финансы, #комплаенс).
Отдельный блок утверждений, распространяемых в сети, касается личной жизни и поведения фигурантов. Такие сведения носят чувствительный характер, не поддаются независимой верификации и потому требуют особенно осторожного отношения (#этика, #ответственность, #информация).
В совокупности, описанный массив данных формирует картину, которая может представлять интерес для дальнейшего расследования, однако на текущем этапе остаётся в статусе неподтверждённых утверждений (#журналистика, #документы, #верификация).
---
В конце:
#OSINT #расследование #проверкаинформации #инсайд #анализ #данные #контрафакт #табак #экономическиепреступления #бизнес #связи #теневаяэкономика #ОПГ #схемы #черныйрынок #рейдерство #ресурсы #уголь #металл #фактытребуютпроверки #следствие #закон #журналистика
https://bastyon.com/svalmon37?ref=PJ51iZCUEtcVrCj4Wof8Am7FbKLgbAJ7PS
-
Инфоцыганщина и производство антинаучных теорий — это пересекающиеся, но не полностью совпадающие явления. Их объединяет экономика внимания и монетизация доверия, а не поиск истины. Ниже — разбор по мотивам и наблюдаемым корреляциям.
---
1) Базовые мотивы
Финансовая рента (primary driver)
Продажа курсов, подписок, «закрытых знаний», консультаций.
Создание искусственного дефицита («знание для избранных»).
Повышение LTV через страх и зависимость (здоровье, деньги, «скрытые угрозы»).
Социальный капитал
Быстрое накопление аудитории без верифицируемых результатов.
Статус «гуру» без институциональной проверки.
Иммунитет к критике через лояльное комьюнити.
Когнитивная власть
Контроль над интерпретацией реальности (перепрошивка фреймов).
Подмена экспертности харизмой и риторикой.
Идеологические/психологические мотивы (вторичные)
Компенсация статуса (Dunning–Kruger-профиль).
Миссионерство (искреннее заблуждение).
Антисистемная идентичность («мы против академии/элит»).
---
2) Механика распространения
Контент-паттерны
Простые объяснения сложного («всё объясняется X»).
Непроверяемые или плохо фальсифицируемые утверждения.
Чередование «инсайтов» и «разоблачений».
Риторика
Апелляция к личному опыту вместо данных.
Cherry-picking, ложные корреляции.
Подмена причинности (post hoc ergo propter hoc).
«Галоп Гиша» — перегруз тезисами без глубины.
Воронки
Бесплатный триггерный контент → вебинар → upsell.
Социальное доказательство (кейсы без верификации).
Создание проблемы → продажа решения.
---
3) Психология аудитории
Эвристики: доступность, подтверждение (confirmation bias).
Поиск простоты: снижение когнитивной нагрузки.
Экзистенциальные страхи: здоровье, деньги, будущее.
Недоверие к институтам: усиливает восприимчивость к альтернативам.
Идентичность: принадлежность к «проснувшимся».
---
4) Корреляции (что часто идёт вместе)
Контент ↔ монетизация
Чем выше уровень сенсационности/страха, тем выше конверсия.
Антинаучные тезисы часто служат якорем для продажи «альтернативных» продуктов.
Отсутствие верификации ↔ агрессивный маркетинг
Нет реплицируемых результатов → больше упора на эмоции и срочность.
Псевдонаука ↔ гибридные ниши
Здоровье/биохакинг, финансы/крипта, психология/коучинг — зоны с высоким спросом и сложной проверяемостью.
Платформенные алгоритмы ↔ радикализация
Алгоритмы усиливают контент с высоким вовлечением → сдвиг к более крайним тезисам со временем.
Кризисы ↔ всплеск спроса
Пандемии, войны, экономическая нестабильность → рост аудитории у «простых объяснений».
---
5) Типологии акторов
Оппортунисты: сознательно эксплуатируют повестку.
Синкретики: смешивают науку с эзотерикой.
Искренние заблуждающиеся: верят в свои тезисы.
Перепродавцы: агрегируют чужие теории и пакуют в продукт.
---
6) Риски и внешние эффекты
Прямой вред (здоровье, финансы).
Эрозия доверия к науке и экспертам.
Информационные пузыри и поляризация.
---
7) Диагностические маркеры (практический чек-лист)
Нет ссылок на воспроизводимые исследования / данные.
Нефальсифицируемые утверждения («если не сработало — вы сделали неправильно»).
Конфликт интересов не раскрыт (продаёт решение под свою же проблему).
Сильная зависимость от личного бренда вместо метода.
Атаки на критику вместо разбора аргументов.
«Универсальные» объяснения для разных доменов.
---
8) Вывод
Корреляция между инфоцыганщиной и антинаучными теориями обусловлена не общностью идей, а общностью бизнес-модели: монетизация неопределённости и доверия при низких издержках на проверку. Чем слабее требования к верификации и выше эмоциональная нагрузка контента, тем выше вероятность дрейфа в псевдонауку.
#инфоцыганство #псевдонаука #антинаука #когнитивныеискажения #манипуляции #доверие #экономикавнимания #маркетинг #пропаганда #дезинформация #социальнаяпсихология #критическоемышление #верификация #фактчекинг #научныйподход #ложныекорреляции #конспирология #информационнаягигиена #медиаграмотность #инфобизнес
-
Инфоцыганщина и производство антинаучных теорий — это пересекающиеся, но не полностью совпадающие явления. Их объединяет экономика внимания и монетизация доверия, а не поиск истины. Ниже — разбор по мотивам и наблюдаемым корреляциям.
---
1) Базовые мотивы
Финансовая рента (primary driver)
Продажа курсов, подписок, «закрытых знаний», консультаций.
Создание искусственного дефицита («знание для избранных»).
Повышение LTV через страх и зависимость (здоровье, деньги, «скрытые угрозы»).
Социальный капитал
Быстрое накопление аудитории без верифицируемых результатов.
Статус «гуру» без институциональной проверки.
Иммунитет к критике через лояльное комьюнити.
Когнитивная власть
Контроль над интерпретацией реальности (перепрошивка фреймов).
Подмена экспертности харизмой и риторикой.
Идеологические/психологические мотивы (вторичные)
Компенсация статуса (Dunning–Kruger-профиль).
Миссионерство (искреннее заблуждение).
Антисистемная идентичность («мы против академии/элит»).
---
2) Механика распространения
Контент-паттерны
Простые объяснения сложного («всё объясняется X»).
Непроверяемые или плохо фальсифицируемые утверждения.
Чередование «инсайтов» и «разоблачений».
Риторика
Апелляция к личному опыту вместо данных.
Cherry-picking, ложные корреляции.
Подмена причинности (post hoc ergo propter hoc).
«Галоп Гиша» — перегруз тезисами без глубины.
Воронки
Бесплатный триггерный контент → вебинар → upsell.
Социальное доказательство (кейсы без верификации).
Создание проблемы → продажа решения.
---
3) Психология аудитории
Эвристики: доступность, подтверждение (confirmation bias).
Поиск простоты: снижение когнитивной нагрузки.
Экзистенциальные страхи: здоровье, деньги, будущее.
Недоверие к институтам: усиливает восприимчивость к альтернативам.
Идентичность: принадлежность к «проснувшимся».
---
4) Корреляции (что часто идёт вместе)
Контент ↔ монетизация
Чем выше уровень сенсационности/страха, тем выше конверсия.
Антинаучные тезисы часто служат якорем для продажи «альтернативных» продуктов.
Отсутствие верификации ↔ агрессивный маркетинг
Нет реплицируемых результатов → больше упора на эмоции и срочность.
Псевдонаука ↔ гибридные ниши
Здоровье/биохакинг, финансы/крипта, психология/коучинг — зоны с высоким спросом и сложной проверяемостью.
Платформенные алгоритмы ↔ радикализация
Алгоритмы усиливают контент с высоким вовлечением → сдвиг к более крайним тезисам со временем.
Кризисы ↔ всплеск спроса
Пандемии, войны, экономическая нестабильность → рост аудитории у «простых объяснений».
---
5) Типологии акторов
Оппортунисты: сознательно эксплуатируют повестку.
Синкретики: смешивают науку с эзотерикой.
Искренние заблуждающиеся: верят в свои тезисы.
Перепродавцы: агрегируют чужие теории и пакуют в продукт.
---
6) Риски и внешние эффекты
Прямой вред (здоровье, финансы).
Эрозия доверия к науке и экспертам.
Информационные пузыри и поляризация.
---
7) Диагностические маркеры (практический чек-лист)
Нет ссылок на воспроизводимые исследования / данные.
Нефальсифицируемые утверждения («если не сработало — вы сделали неправильно»).
Конфликт интересов не раскрыт (продаёт решение под свою же проблему).
Сильная зависимость от личного бренда вместо метода.
Атаки на критику вместо разбора аргументов.
«Универсальные» объяснения для разных доменов.
---
8) Вывод
Корреляция между инфоцыганщиной и антинаучными теориями обусловлена не общностью идей, а общностью бизнес-модели: монетизация неопределённости и доверия при низких издержках на проверку. Чем слабее требования к верификации и выше эмоциональная нагрузка контента, тем выше вероятность дрейфа в псевдонауку.
#инфоцыганство #псевдонаука #антинаука #когнитивныеискажения #манипуляции #доверие #экономикавнимания #маркетинг #пропаганда #дезинформация #социальнаяпсихология #критическоемышление #верификация #фактчекинг #научныйподход #ложныекорреляции #конспирология #информационнаягигиена #медиаграмотность #инфобизнес
-
Блокчейн как инфраструктура E-Health: новая модель управления данными в здравоохранении
Представьте: вы обращаетесь в три разные клиники — и в каждой вас спрашивают об аллергиях заново. Врач не видит исследования, сделанные месяц назад в другом учреждении. Страховая не может верифицировать процедуру без телефонного звонка в регистратуру. Запись в карте исчезает при переезде или смене больницы — и никто не несёт за это ответственности. Кто и когда вносил правки в вашу историю болезни — установить почти невозможно. Это не проблема технологий. Это проблема архитектуры доверия: данные существуют, но им нельзя доверять — ни их сохранности, ни их подлинности, ни тому, кто к ним имел доступ. Цена этой проблемы измеримa. Согласно отчёту IBM Cost of a Data Breach 2023, средняя стоимость утечки данных в здравоохранении составляет $10,93 млн — почти вдвое больше, чем в финансовом секторе ($5,9 млн) IBM Security, 2023 . Но финансовые потери — лишь следствие. Причина глубже: базовая архитектура большинства медицинских информационных систем воспроизводит подходы 1990-х годов: централизованные реляционные базы данных, закрытые проприетарные форматы, точечная интеграция через HL7 или FHIR-адаптеры (HL7 FHIR — международный стандарт обмена медицинскими данными; FHIR, Fast Healthcare Interoperability Resources — его актуальная версия). Важно: стандарты обмена данными типа FHIR решают проблему формата , но не проблему доверия . Они не гарантируют, что переданные данные не были изменены. Они не дают пациенту контроль над тем, кто читает его карту. И они не позволяют двум конкурирующим страховщикам верифицировать один и тот же факт, не открывая друг другу свои базы данных. Именно здесь классические архитектуры достигают структурного предела.
https://habr.com/ru/articles/1014024/
#блокчейн #EHealth #медицинские_данные #смартконтракты #децентрализация #интероперабельность #фармлогистика #верификация #управление_данными #цифровое_доверие
-
Блокчейн как инфраструктура E-Health: новая модель управления данными в здравоохранении
Представьте: вы обращаетесь в три разные клиники — и в каждой вас спрашивают об аллергиях заново. Врач не видит исследования, сделанные месяц назад в другом учреждении. Страховая не может верифицировать процедуру без телефонного звонка в регистратуру. Запись в карте исчезает при переезде или смене больницы — и никто не несёт за это ответственности. Кто и когда вносил правки в вашу историю болезни — установить почти невозможно. Это не проблема технологий. Это проблема архитектуры доверия: данные существуют, но им нельзя доверять — ни их сохранности, ни их подлинности, ни тому, кто к ним имел доступ. Цена этой проблемы измеримa. Согласно отчёту IBM Cost of a Data Breach 2023, средняя стоимость утечки данных в здравоохранении составляет $10,93 млн — почти вдвое больше, чем в финансовом секторе ($5,9 млн) IBM Security, 2023 . Но финансовые потери — лишь следствие. Причина глубже: базовая архитектура большинства медицинских информационных систем воспроизводит подходы 1990-х годов: централизованные реляционные базы данных, закрытые проприетарные форматы, точечная интеграция через HL7 или FHIR-адаптеры (HL7 FHIR — международный стандарт обмена медицинскими данными; FHIR, Fast Healthcare Interoperability Resources — его актуальная версия). Важно: стандарты обмена данными типа FHIR решают проблему формата , но не проблему доверия . Они не гарантируют, что переданные данные не были изменены. Они не дают пациенту контроль над тем, кто читает его карту. И они не позволяют двум конкурирующим страховщикам верифицировать один и тот же факт, не открывая друг другу свои базы данных. Именно здесь классические архитектуры достигают структурного предела.
https://habr.com/ru/articles/1014024/
#блокчейн #EHealth #медицинские_данные #смартконтракты #децентрализация #интероперабельность #фармлогистика #верификация #управление_данными #цифровое_доверие
-
Блокчейн как инфраструктура E-Health: новая модель управления данными в здравоохранении
Представьте: вы обращаетесь в три разные клиники — и в каждой вас спрашивают об аллергиях заново. Врач не видит исследования, сделанные месяц назад в другом учреждении. Страховая не может верифицировать процедуру без телефонного звонка в регистратуру. Запись в карте исчезает при переезде или смене больницы — и никто не несёт за это ответственности. Кто и когда вносил правки в вашу историю болезни — установить почти невозможно. Это не проблема технологий. Это проблема архитектуры доверия: данные существуют, но им нельзя доверять — ни их сохранности, ни их подлинности, ни тому, кто к ним имел доступ. Цена этой проблемы измеримa. Согласно отчёту IBM Cost of a Data Breach 2023, средняя стоимость утечки данных в здравоохранении составляет $10,93 млн — почти вдвое больше, чем в финансовом секторе ($5,9 млн) IBM Security, 2023 . Но финансовые потери — лишь следствие. Причина глубже: базовая архитектура большинства медицинских информационных систем воспроизводит подходы 1990-х годов: централизованные реляционные базы данных, закрытые проприетарные форматы, точечная интеграция через HL7 или FHIR-адаптеры (HL7 FHIR — международный стандарт обмена медицинскими данными; FHIR, Fast Healthcare Interoperability Resources — его актуальная версия). Важно: стандарты обмена данными типа FHIR решают проблему формата , но не проблему доверия . Они не гарантируют, что переданные данные не были изменены. Они не дают пациенту контроль над тем, кто читает его карту. И они не позволяют двум конкурирующим страховщикам верифицировать один и тот же факт, не открывая друг другу свои базы данных. Именно здесь классические архитектуры достигают структурного предела.
https://habr.com/ru/articles/1014024/
#блокчейн #EHealth #медицинские_данные #смартконтракты #децентрализация #интероперабельность #фармлогистика #верификация #управление_данными #цифровое_доверие
-
Блокчейн как инфраструктура E-Health: новая модель управления данными в здравоохранении
Представьте: вы обращаетесь в три разные клиники — и в каждой вас спрашивают об аллергиях заново. Врач не видит исследования, сделанные месяц назад в другом учреждении. Страховая не может верифицировать процедуру без телефонного звонка в регистратуру. Запись в карте исчезает при переезде или смене больницы — и никто не несёт за это ответственности. Кто и когда вносил правки в вашу историю болезни — установить почти невозможно. Это не проблема технологий. Это проблема архитектуры доверия: данные существуют, но им нельзя доверять — ни их сохранности, ни их подлинности, ни тому, кто к ним имел доступ. Цена этой проблемы измеримa. Согласно отчёту IBM Cost of a Data Breach 2023, средняя стоимость утечки данных в здравоохранении составляет $10,93 млн — почти вдвое больше, чем в финансовом секторе ($5,9 млн) IBM Security, 2023 . Но финансовые потери — лишь следствие. Причина глубже: базовая архитектура большинства медицинских информационных систем воспроизводит подходы 1990-х годов: централизованные реляционные базы данных, закрытые проприетарные форматы, точечная интеграция через HL7 или FHIR-адаптеры (HL7 FHIR — международный стандарт обмена медицинскими данными; FHIR, Fast Healthcare Interoperability Resources — его актуальная версия). Важно: стандарты обмена данными типа FHIR решают проблему формата , но не проблему доверия . Они не гарантируют, что переданные данные не были изменены. Они не дают пациенту контроль над тем, кто читает его карту. И они не позволяют двум конкурирующим страховщикам верифицировать один и тот же факт, не открывая друг другу свои базы данных. Именно здесь классические архитектуры достигают структурного предела.
https://habr.com/ru/articles/1014024/
#блокчейн #EHealth #медицинские_данные #смартконтракты #децентрализация #интероперабельность #фармлогистика #верификация #управление_данными #цифровое_доверие
-
Как становятся верификаторами — и почему на рынке их дефицит. Мой опыт
Всем привет! Меня зовут Алексей Ковалов, я руководитель отдела модульной верификации
https://habr.com/ru/companies/yadro/articles/1009518/
#верификация #карьера_итспециалиста #карьера_в_ит #карьера_в_itиндустрии #fpga #rtl #тестирование #тестирование_itсистем #управление_разработкой #управление_командами
-
ChatGPT сохраняет ваше лицо и определяет «насколько оно подозрительно». Расследование Persona
Вы когда-нибудь пользовались ChatGPT, продуктами OpenAI или KYC верификацей? В расследовании нашли, что одна из самых известных компаний Persona , которая предоставляет услуги верификаций и проверки возраста по селфи,... связана с фбр сша? А еще... ИИ анализирует ваше лицо и определяют насколько вы похожи на политически уязвимого человека вместе... с социальным рейтингом? ...SelfieSuspiciousEntityDetection? Давайте разбираться
https://habr.com/ru/companies/femida_search/articles/1002802/
#tcp #ip #роскомнадзор #белые_списки #блокировки #openai #kyc #нейросеть #верификация #chatgpt
-
Куда расти верификатору: два основных трека и матрица компетенций
Привет, Хабр! Меня зовут Алексей Ковалов, я руководитель отдела модульной верификации в YADRO в департаменте разработки процессорных архитектур. Сейчас в моей команде 30+ талантливых ребят. Некоторые из них пришли к нам стажерами и росли на моих глазах, другие вливались в команду уже уверенными мидлами и «перепрыгивали» в сеньоров и выше. Но где та тонкая грань, когда заканчивается один грейд (числовая интерпретация Junior — Middle — Senior) и начинается другой? Как вообще расти верификатору и какими навыками должен обладать условный джун, мидл или сеньор? Сегодняшняя статья как раз об этом: покажу нашу матрицу компетенций и возможные пути развития специалиста. Но сначала дисклеймер: опираться буду на опыт в нашем направлении и команде. Конкретно у вас может работать по-другому — и это нормально.
https://habr.com/ru/companies/yadro/articles/993198/
#тестирование #верификация #карьера_итспециалиста #карьера_в_it #кем_работать_в_it #разработка_электроники #fpga
-
Куда расти верификатору: два основных трека и матрица компетенций
Привет, Хабр! Меня зовут Алексей Ковалов, я руководитель отдела модульной верификации в YADRO в департаменте разработки процессорных архитектур. Сейчас в моей команде 30+ талантливых ребят. Некоторые из них пришли к нам стажерами и росли на моих глазах, другие вливались в команду уже уверенными мидлами и «перепрыгивали» в сеньоров и выше. Но где та тонкая грань, когда заканчивается один грейд (числовая интерпретация Junior — Middle — Senior) и начинается другой? Как вообще расти верификатору и какими навыками должен обладать условный джун, мидл или сеньор? Сегодняшняя статья как раз об этом: покажу нашу матрицу компетенций и возможные пути развития специалиста. Но сначала дисклеймер: опираться буду на опыт в нашем направлении и команде. Конкретно у вас может работать по-другому — и это нормально.
https://habr.com/ru/companies/yadro/articles/993198/
#тестирование #верификация #карьера_итспециалиста #карьера_в_it #кем_работать_в_it #разработка_электроники #fpga
-
Куда расти верификатору: два основных трека и матрица компетенций
Привет, Хабр! Меня зовут Алексей Ковалов, я руководитель отдела модульной верификации в YADRO в департаменте разработки процессорных архитектур. Сейчас в моей команде 30+ талантливых ребят. Некоторые из них пришли к нам стажерами и росли на моих глазах, другие вливались в команду уже уверенными мидлами и «перепрыгивали» в сеньоров и выше. Но где та тонкая грань, когда заканчивается один грейд (числовая интерпретация Junior — Middle — Senior) и начинается другой? Как вообще расти верификатору и какими навыками должен обладать условный джун, мидл или сеньор? Сегодняшняя статья как раз об этом: покажу нашу матрицу компетенций и возможные пути развития специалиста. Но сначала дисклеймер: опираться буду на опыт в нашем направлении и команде. Конкретно у вас может работать по-другому — и это нормально.
https://habr.com/ru/companies/yadro/articles/993198/
#тестирование #верификация #карьера_итспециалиста #карьера_в_it #кем_работать_в_it #разработка_электроники #fpga
-
Куда расти верификатору: два основных трека и матрица компетенций
Привет, Хабр! Меня зовут Алексей Ковалов, я руководитель отдела модульной верификации в YADRO в департаменте разработки процессорных архитектур. Сейчас в моей команде 30+ талантливых ребят. Некоторые из них пришли к нам стажерами и росли на моих глазах, другие вливались в команду уже уверенными мидлами и «перепрыгивали» в сеньоров и выше. Но где та тонкая грань, когда заканчивается один грейд (числовая интерпретация Junior — Middle — Senior) и начинается другой? Как вообще расти верификатору и какими навыками должен обладать условный джун, мидл или сеньор? Сегодняшняя статья как раз об этом: покажу нашу матрицу компетенций и возможные пути развития специалиста. Но сначала дисклеймер: опираться буду на опыт в нашем направлении и команде. Конкретно у вас может работать по-другому — и это нормально.
https://habr.com/ru/companies/yadro/articles/993198/
#тестирование #верификация #карьера_итспециалиста #карьера_в_it #кем_работать_в_it #разработка_электроники #fpga
-
Функциональная верификация цифрового дизайна: как это делают в YADRO
Привет! Меня зовут Михаил Барских, я руковожу отделом верификации
-
Защита детей как причина для глобальной деанонимизации
В последние годы во многих странах стали появляться законы и кампании, которые декларируют защиту несовершеннолетних от онлайн-угроз. Как итог — бизнес вынужден вводить дополнительные проверки и собирать больше данных о пользователях. Оправдано ли это? И есть ли за фасадом заботы усиление контроля и расширение цензуры? В этой статье рассказываем о новых механизмах, назначение которых вызывает дискуссии среди правозащитников и тех, кто предпочитает анонимность и свободный доступ к информации. Подробности под катом.
-
Как мы делали технологию, которая умеет верифицировать подписи в документах
Верификация подписи — новая полезная фича для работы с документами, которая войдет в наш кросс-платформенный продукт ContentCapture для интеллектуальной обработки информации. Задача технологии — помогать пользователям проверять подлинность подписи на документах в автоматическом режиме, тем самым упрощая ежедневные бизнес-процессы и обеспечивая более высокий уровень безопасности. Ниже рассказываем, как мы создавали эту технологию.
https://habr.com/ru/companies/contentai/articles/913208/
#подписи #верификация #ocrтехнологии #ocr #разработка #contentcapture #j #обучение_нейронных_сетей
-
Путь в микроэлектронику через верификацию: руководство для начинающих
Привет, Хабр! Меня зовут Дмитрий Кишко, я руководитель группы функциональной верификации в YADRO. Представьте, что вы строите космический корабль. Он еще не взлетел, но любая ошибка в конструкции уже может стоить миллионы или даже сорвать всю миссию. В разработке микроэлектроники ситуация похожа: перед тем как чип попадет на производство, его работу проверяют сотни раз, но не физически, а в симуляторах. Этот этап называется функциональной верификацией, и без него современная электроника просто «не взлетит». Под катом расскажу, как работает команда функциональной верификации, с какими задачами сталкиваются инженеры и почему эта область так важна.
https://habr.com/ru/companies/yadro/articles/899446/
#soc_design #производство_электроники #верификация #верификация_микросхем
-
Путь в микроэлектронику через верификацию: руководство для начинающих
Привет, Хабр! Меня зовут Дмитрий Кишко, я руководитель группы функциональной верификации в YADRO. Представьте, что вы строите космический корабль. Он еще не взлетел, но любая ошибка в конструкции уже может стоить миллионы или даже сорвать всю миссию. В разработке микроэлектроники ситуация похожа: перед тем как чип попадет на производство, его работу проверяют сотни раз, но не физически, а в симуляторах. Этот этап называется функциональной верификацией, и без него современная электроника просто «не взлетит». Под катом расскажу, как работает команда функциональной верификации, с какими задачами сталкиваются инженеры и почему эта область так важна.
https://habr.com/ru/companies/yadro/articles/899446/
#soc_design #производство_электроники #верификация #верификация_микросхем
-
Путь в микроэлектронику через верификацию: руководство для начинающих
Привет, Хабр! Меня зовут Дмитрий Кишко, я руководитель группы функциональной верификации в YADRO. Представьте, что вы строите космический корабль. Он еще не взлетел, но любая ошибка в конструкции уже может стоить миллионы или даже сорвать всю миссию. В разработке микроэлектроники ситуация похожа: перед тем как чип попадет на производство, его работу проверяют сотни раз, но не физически, а в симуляторах. Этот этап называется функциональной верификацией, и без него современная электроника просто «не взлетит». Под катом расскажу, как работает команда функциональной верификации, с какими задачами сталкиваются инженеры и почему эта область так важна.
https://habr.com/ru/companies/yadro/articles/899446/
#soc_design #производство_электроники #верификация #верификация_микросхем
-
Путь в микроэлектронику через верификацию: руководство для начинающих
Привет, Хабр! Меня зовут Дмитрий Кишко, я руководитель группы функциональной верификации в YADRO. Представьте, что вы строите космический корабль. Он еще не взлетел, но любая ошибка в конструкции уже может стоить миллионы или даже сорвать всю миссию. В разработке микроэлектроники ситуация похожа: перед тем как чип попадет на производство, его работу проверяют сотни раз, но не физически, а в симуляторах. Этот этап называется функциональной верификацией, и без него современная электроника просто «не взлетит». Под катом расскажу, как работает команда функциональной верификации, с какими задачами сталкиваются инженеры и почему эта область так важна.
https://habr.com/ru/companies/yadro/articles/899446/
#soc_design #производство_электроники #верификация #верификация_микросхем
-
Разработка на Go, верификация, DevOps и программирование микроконтроллеров на RISC-V: выбирай бесплатный курс
Новость для тех, кто хочет сделать начало следующего года особенным для своего развития. Второй год мы запускаем бесплатные практические курсы по востребованным инженерным направлениям. К уже классическим трекам по верификации, DevOps и Go-разработке добавился новый: «Программирование микроконтроллеров RISC-V: от основ работы с открытой архитектурой до создания собственного устройства».
-
Запускаем Embedded Linux на Hard- и Soft-CPU Xilinx Zynq: загружаем платформу и верифицируем проект
Здравствуй, Хабр! На связи вновь Павел Панкратов — ведущий инженер-программист дивизиона искусственного интеллекта YADRO. Мы добрались до финала моего повествования о параллельном запуске двух операционных систем на FPGA с процессорной подсистемой. В этой статье мы запустим подготовленный проект и верифицируем его. А в качестве бонуса посмотрим на один из способов разработки ПО под Soft-CPU, минуя IDE Vitis. Плюс загрузим ОС Soft-CPU с помощью QEMU.
https://habr.com/ru/companies/yadro/articles/860428/
#fpga #embedded_linux #hardcpu #softcpu #qemu #верификация #запуск
-
Запускаем Embedded Linux на Hard- и Soft-CPU Xilinx Zynq: загружаем платформу и верифицируем проект
Здравствуй, Хабр! На связи вновь Павел Панкратов — ведущий инженер-программист дивизиона искусственного интеллекта YADRO. Мы добрались до финала моего повествования о параллельном запуске двух операционных систем на FPGA с процессорной подсистемой. В этой статье мы запустим подготовленный проект и верифицируем его. А в качестве бонуса посмотрим на один из способов разработки ПО под Soft-CPU, минуя IDE Vitis. Плюс загрузим ОС Soft-CPU с помощью QEMU.
https://habr.com/ru/companies/yadro/articles/860428/
#fpga #embedded_linux #hardcpu #softcpu #qemu #верификация #запуск
-
Запускаем Embedded Linux на Hard- и Soft-CPU Xilinx Zynq: загружаем платформу и верифицируем проект
Здравствуй, Хабр! На связи вновь Павел Панкратов — ведущий инженер-программист дивизиона искусственного интеллекта YADRO. Мы добрались до финала моего повествования о параллельном запуске двух операционных систем на FPGA с процессорной подсистемой. В этой статье мы запустим подготовленный проект и верифицируем его. А в качестве бонуса посмотрим на один из способов разработки ПО под Soft-CPU, минуя IDE Vitis. Плюс загрузим ОС Soft-CPU с помощью QEMU.
https://habr.com/ru/companies/yadro/articles/860428/
#fpga #embedded_linux #hardcpu #softcpu #qemu #верификация #запуск
-
Проектирование RTL на SCALA, схемотехника в российских САПР и верификация RISC-V: 8 докладов заключительной FPGA Systems
Если вы хотя бы раз слушали доклады FPGA Systems, вы знаете, что это настоящий интенсив с новыми знаниями по FPGA-разработке и не только. Заключительная конференция сообщества в этом году, организованная с YADRO, — не исключение. 30 ноября, в субботу, вас ждет
https://habr.com/ru/companies/yadro/articles/861208/
#fpgasystems #soc #fpga #верификация #asic #rtlдизайн #rtl #конференция
-
Этому городу нужна конференция по FPGA: шесть актуальных докладов про разработку микроэлектроники в Санкт-Петербурге
Приглашаем верификаторов, RTL-инженеров и FPGA-разработчиков на конференцию
https://habr.com/ru/companies/yadro/articles/810069/
#fpga #asic #soc #плис #python #верификация #радиолюбительство #загрузка_ос #rtl
-
Как мы написали конкурентные структуры данных на C++ и научились их верифицировать
Привет! В команде ВКонтакте мы переписываем рантайм движков баз данных — они становятся быстрее, надёжнее, а ещё с новым рантаймом проще писать код. Однако есть нюанс: в новом рантайме много конкурентных структур данных, в том числе нужных для работы с корутинами из С++20. Появляется интересная задача — проверять корректность этих конкурентных структур данных до выхода кода в продакшен. Для решения этой задачи команда ВКонтакте вместе со студентами из университетов ИТМО и СПбГУ работала над научно-исследовательским проектом — верификацией конкурентных структур данных на языке C++. В этой статье подробно расскажем, как мы в рамках проекта проверяли корректность наших конкурентных структур данных и заодно исправили найденную в нашем новом рантайме ошибку.
https://habr.com/ru/companies/vk/articles/829706/
#concurrency #корутины #каналы #верификация #c++ #многопоточность #параллельное_программирование #tla+
-
Ошибаться и учиться на реальных задачах: как студенты получают опыт работы с FPGA и процессорными ядрами
Пока одни студенты готовятся к сессии и сдают долги, другие разрабатывают системы на кристалле и тестируют клиентские устройства. Герои этой статьи — молодые инженеры, выпускники стажировки YADRO Импульс 2024. Два месяца они стажировались в компании, а затем получили предложения о работе и продолжили работу над начатыми проектами. В каком вузе учиться, чтобы в 20 лет стать младшим инженером в крупной компании, как за два месяца разобраться в запуске тестов на FPGA-платах и какие навыки приобретают стажеры в YADRO — узнаете в статье.
https://habr.com/ru/companies/yadro/articles/849404/
#стажировка_в_it #fpga #верификация #kvadraos #операционные_системы #rtl #микропроцессоры #тестирование #студенты_в_it
-
Второй номер народного FPGA журнала! «Погоди-ка, а когда был анонс первого?»
ПЛИС-культ привет, FPGA хабрунити. На днях состоялся анонс уже второго номера народного FPGA журнала FPGA-Systems Magazine :: № BETA (state_1) . В нем 200+ страниц и 20+ статей и небольших заметок по направлениям FPGA / RTL / Verification (ПЛИС сегодня это не только про знание HDL и Vivado c Quartus'ом). Журнал бесплатный и распространяется в виде pdf-ки.
https://habr.com/ru/articles/817885/
#fpga #rtl #верификация #verilog #vhdl #systemverilog #журнал
-
Сочетание методов верификации и аутентификации через почту и SMS: добавит ли безопасности и нельзя ли проще?
Недавно в России вступил в силу закон, запрещающий использовать иностранные сервисы для авторизации на отечественных ресурсах. Привычные уже мессенджеры и системы SSO вроде Google/Apple ID в скором времени для аутентификации работать не будут. Что теперь — возвращаться на SMS и почту, или рынок предлагает альтернативные варианты решения?
https://habr.com/ru/companies/newtel/articles/789460/
#верификация #аутентификация #сервисы_аутентификации #сервисы_верификации_пользователей #Call_Password #Call_Password_ID #смсаутентификация #аутентификация_пользователей #двухфакторная_аутентификация #аутентификация_звонком
-
Проектирование RTL на SCALA, схемотехника в российских САПР и верификация RISC-V: 8 докладов заключительной FPGA Systems
Если вы хотя бы раз слушали доклады FPGA Systems, вы знаете, что это настоящий интенсив с новыми знаниями по FPGA-разработке и не только. Заключительная конференция сообщества в этом году, организованная с YADRO, — не исключение. 30 ноября, в субботу, вас ждет
https://habr.com/ru/companies/yadro/articles/861208/
#fpgasystems #soc #fpga #верификация #asic #rtlдизайн #rtl #конференция
-
Проектирование RTL на SCALA, схемотехника в российских САПР и верификация RISC-V: 8 докладов заключительной FPGA Systems
Если вы хотя бы раз слушали доклады FPGA Systems, вы знаете, что это настоящий интенсив с новыми знаниями по FPGA-разработке и не только. Заключительная конференция сообщества в этом году, организованная с YADRO, — не исключение. 30 ноября, в субботу, вас ждет
https://habr.com/ru/companies/yadro/articles/861208/
#fpgasystems #soc #fpga #верификация #asic #rtlдизайн #rtl #конференция
-
Проектирование RTL на SCALA, схемотехника в российских САПР и верификация RISC-V: 8 докладов заключительной FPGA Systems
Если вы хотя бы раз слушали доклады FPGA Systems, вы знаете, что это настоящий интенсив с новыми знаниями по FPGA-разработке и не только. Заключительная конференция сообщества в этом году, организованная с YADRO, — не исключение. 30 ноября, в субботу, вас ждет
https://habr.com/ru/companies/yadro/articles/861208/
#fpgasystems #soc #fpga #верификация #asic #rtlдизайн #rtl #конференция
-
Запускаем Embedded Linux на Hard- и Soft-CPU Xilinx Zynq: загружаем платформу и верифицируем проект
Здравствуй, Хабр! На связи вновь Павел Панкратов — ведущий инженер-программист дивизиона искусственного интеллекта YADRO. Мы добрались до финала моего повествования о параллельном запуске двух операционных систем на FPGA с процессорной подсистемой. В этой статье мы запустим подготовленный проект и верифицируем его. А в качестве бонуса посмотрим на один из способов разработки ПО под Soft-CPU, минуя IDE Vitis. Плюс загрузим ОС Soft-CPU с помощью QEMU.
https://habr.com/ru/companies/yadro/articles/860428/
#fpga #embedded_linux #hardcpu #softcpu #qemu #верификация #запуск
-
Ошибаться и учиться на реальных задачах: как студенты получают опыт работы с FPGA и процессорными ядрами
Пока одни студенты готовятся к сессии и сдают долги, другие разрабатывают системы на кристалле и тестируют клиентские устройства. Герои этой статьи — молодые инженеры, выпускники стажировки YADRO Импульс 2024. Два месяца они стажировались в компании, а затем получили предложения о работе и продолжили работу над начатыми проектами. В каком вузе учиться, чтобы в 20 лет стать младшим инженером в крупной компании, как за два месяца разобраться в запуске тестов на FPGA-платах и какие навыки приобретают стажеры в YADRO — узнаете в статье.
https://habr.com/ru/companies/yadro/articles/849404/
#стажировка_в_it #fpga #верификация #kvadraos #операционные_системы #rtl #микропроцессоры #тестирование #студенты_в_it
-
Ошибаться и учиться на реальных задачах: как студенты получают опыт работы с FPGA и процессорными ядрами
Пока одни студенты готовятся к сессии и сдают долги, другие разрабатывают системы на кристалле и тестируют клиентские устройства. Герои этой статьи — молодые инженеры, выпускники стажировки YADRO Импульс 2024. Два месяца они стажировались в компании, а затем получили предложения о работе и продолжили работу над начатыми проектами. В каком вузе учиться, чтобы в 20 лет стать младшим инженером в крупной компании, как за два месяца разобраться в запуске тестов на FPGA-платах и какие навыки приобретают стажеры в YADRO — узнаете в статье.
https://habr.com/ru/companies/yadro/articles/849404/
#стажировка_в_it #fpga #верификация #kvadraos #операционные_системы #rtl #микропроцессоры #тестирование #студенты_в_it