Pull to refresh

Telegram начал продвигать официальные каналы о коронавирусе

Instant Messaging *Social networks and communities Health
image

В Telegram сообщили, что в рамках инициативы по борьбе с коронавирусом мессенджер начал в особом порядке проверять и продвигать каналы, которые сообщают официальную информацию о пандемии. За месяц были проверены источники в 17 странах.
Читать дальше →
Total votes 13: ↑10 and ↓3 +7
Views 3.8K
Comments 4

Всех заказчиков рекламы в Google обяжут пройти верификацию

Display advertising *Contextual advertising *IT-companies
image

Google объявил о новых правилах для рекламодателей. Теперь заказчики любой рекламы будут обязаны подтвердить свою личность, а также указать, в какой стране они работают.
Читать дальше →
Total votes 8: ↑8 and ↓0 +8
Views 3.7K
Comments 9

Pornhub удалил весь неподтверждённый контент с сайта

Legislation in IT Social networks and communities IT-companies


14 декабря 2020 года сервис Pornhub сообщил об удалении из поисковой выборки своей платформы всего неподтверждённого контента. С настоящего времени на сайте будет доступен только контент зарегистрированных и проверенных партнеров сервиса, а также участников модельной программы платформы — это также верифицированные аккаунты, владельцы которых продают свой контент через PornHub.
Читать дальше →
Total votes 42: ↑41 and ↓1 +40
Views 75K
Comments 253

Google до конца года потребует от разработчиков приложений включить двухфакторную авторизацию на своих аккаунтах

Information Security *Development of mobile applications *Development for Android *

Разработчикам Google Play потребуется включить двухфакторную аутентификацию и выполнить требования к верификации до конца 2021 года. Google заявляет, что принимает данные меры для повышения уровня безопасности пользователей в приложениях.

Читать далее
Total votes 15: ↑7 and ↓8 -1
Views 3.2K
Comments 5

В Telegram слили базу данных сервиса анонимной СМС-верификации sms-activate.ru

Information Security *Cellular communication

В Telegram начали распространять базу данных клиентов и транзакций сервиса для анонимной верификации sms-activate.ru. Первым архив опубликовал Telegram-канал «Утечки информации». В утекшем файле содержатся имена, адреса электронной почты, IP-адреса, частичные номера платежных карт и суммы платежей.

Читать далее
Total votes 12: ↑12 and ↓0 +12
Views 9.8K
Comments 20

Twitter вновь принимает аккаунты на верификацию

Social networks and communities IT-companies

Социальная сеть Twitter перезапустила систему верификации аккаунтов, приостановленную в августе 2021 года. Об этом сообщается в аккаунте Twitter Verified. 

Читать далее
Total votes 13: ↑12 and ↓1 +11
Views 891
Comments 0

Facebook по ошибке дала синюю галочку фальшивому Илону Маску

Social networks and communities IT-companies

Социальная сеть Facebook случайно верифицировала и признала официальным фанатский аккаунт, посвящённый предпринимателю Илону Маску, хотя в его описании было прямым текстом указано, что самому бизнесмену он не принадлежит, сообщает Verge. 

Читать далее
Total votes 11: ↑11 and ↓0 +11
Views 1.1K
Comments 0

Студенческая смена по математике и компьютерным наукам от факультета МКН СПбГУ в Сириусе

Образовательные проекты JetBrains corporate blog Algorithms *Mathematics *Machine learning *Studying in IT

Проектная студенческая смена по математике и компьютерным наукам от факультета МКН СПбГУ состоится в Университете Сириус в Сочи с 24 марта по 03 апреля!

Приглашаем заинтересованных студентов бакалавриата поработать над фундаментальными и прикладными проектами вместе с преподавателями факультета математики и компьютерных наук СПбГУ. Таких проектов будет шесть:

- Машинное обучение
- Минимальные бивогнутые функции
- Поиск булевых схем
- Верификация
- Теория узлов и кос
- Алгоритмы и структуры данных в операционных системах

Читать далее
Total votes 8: ↑8 and ↓0 +8
Views 597
Comments 0

В MIT разработали прототип первого в мире тензорного языка программирования с формальной верификацией оптимизаций

SkillFactory corporate blog High performance *Programming *Mathematics *Popular science

Широко распространено мнение, что в высокопроизводительных вычислениях неизбежны компромиссы между скоростью и надёжностью. Однако команда исследователей утверждает, что можно получить всё. Подробностями делимся к старту флагманского курса по Data Science.

Читать далее
Total votes 12: ↑11 and ↓1 +10
Views 6.5K
Comments 8

Минцифры: блогеры смогут верифицировать аккаунты на Rutube через Госуслуги

IT-companies


23 марта 2022 года Минцифры сообщило, что скоро блогеры смогут верифицировать свои аккаунты на видеохостинге Rutube через портал «Госуслуг».
Читать дальше →
Total votes 10: ↑9 and ↓1 +8
Views 7.2K
Comments 23

Google добавила значки верификации для расширений Chrome

Browser extensions Browsers

Google представила значки верификации для расширений Chrome. Обновление уже доступно в магазине расширений. Компания считает, что инициатива поможет пользователям устанавливать только проверенные и безопасные дополнения.

Читать далее
Total votes 3: ↑3 and ↓0 +3
Views 708
Comments 1

Google введёт двухшаговую верификацию для всех пользователей

IT-companies
Как было объявлено в сентябре клиентам Google Apps, для повышения безопасности Google разработала двухшаговую верификацию. Теперь пришло время предложить эту функцию всем пользователям Google.

Двухшаговая верификация требует двух независимых факторов для аутентификации: пароль и код, полученный с помощью телефона. В течение следующих нескольких дней вы сможете увидеть новую ссылку на странице настройки учётной записи:


Читать дальше →
Total votes 77: ↑64 and ↓13 +51
Views 1.5K
Comments 95

Летняя школа по программной инженерии и верификации

Self Promo


Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения. В числе спонсоров и партнеров Школы — компании Intel, Google, Лаборатория Касперского, а также IEEE Computer Society.

Директором Школы является сэр Тони Хоар (Tony Hoare) — ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать широко известные ученые и другие профессора из ведущих университетов США и Европы.

К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.

Если Вы заинтересованы, то спешите зарегистрироваться: Вы можете подать официальную заявку и документы до 1 мая включительно.

Подробности — под катом, в нашей группе и на официальном сайте.

Читать дальше →
Total votes 29: ↑24 and ↓5 +19
Views 606
Comments 11

Основы биометрии

Information Security *
Эта статья в какой-то мере является продолжением прошлой, а в какой-то её приквэлом. Здесь я расскажу про основы построения любой биометрической системы и про то, что осталось за кадром прошлой статьи, но обсуждалось в комментариях. Акцент сделан не на сами биометрические системы, а на их принципах и области действия.
Тем, кто не читал статью, или уже забыл — советую просмотреть что такое FAR и FRR, так как эти понятия будут использоваться и здесь.
Читать дальше →
Total votes 36: ↑33 and ↓3 +30
Views 21K
Comments 15

Управлять правами на сайт в инструментах для веб-мастеров Google стало проще

Google Developers corporate blog Website development *
Translation
Уровень подготовки веб-мастера: любой

В Инструментах Google для веб-мастеров появились новые функции, благодаря которым работать с подтвержденными владельцами сайтов стало проще:

Просмотр сведений о подтверждении. Теперь вы можете узнать, каким способом владелец сайта подтвердил свое право собственности. Перейдите на страницу «Управление владельцами сайта», и вы увидите раздел «Информация о подтверждении». На скриншоте ниже показан пример таких сведений для пользователя, который прошел проверку, добавив метатег.

Информация о подтверждении

Если это применимо, на странице сведений будут отображаться ссылки на соответствующие подтверждения, и вы сможете без труда их найти.
Другие новые функции
Total votes 11: ↑4 and ↓7 -3
Views 2.7K
Comments 10

Как оценить инструменты для тестирования встроенного ПО

Website development *IT systems testing *

Введение от автора поста


Имея опыт разработки ПО для ответственных систем более чем 8 лет, хочу познакомить сообщество с некоторыми материалами, связанными с разработкой и верификацией ПО для ответственных систем (аэрокосмическая область, медицина, транспорт и промышленность). Получив согласие на перевод и адаптирование ряда интересных статей у зарубежных коллег решил воспользоваться данным ресурсом. Буду рад, если статья заинтересует наше сообщество. В статье использованы материалы фирмы Vector Software, Inc.
На вопросы отвечу в комментариях или в личку

Какой Вы используете инструмент тестирования?


За последние несколько лет рынок инструментов автоматизированного тестирования был заполнен средствами, претендующими на выполнение одной и той же функции – автоматизированного тестирования. Википедия перечисляет 38 инструментов оценки среды тестирования только для языков программирования С/С++. К сожалению, потенциальные пользователи, изучая описание данных продуктов, а также их упрощенные демонстрационные версии, могут сделать вывод, что большинство инструментов практически одинаковы.

Целью данного документа является предоставление инженерам информации, которую необходимо принимать во внимание при оценке автоматизированных инструментов тестирования ПО, особенно в части автоматизированных инструментов динамического тестирования.

Вы не сможете оценить инструмент тестирования, прочитав его спецификацию


Все спецификации выглядят достаточно однотипно. Ключевые слова одни и те же: «лидер отрасли», «уникальная технология», «автоматизированное тестирование», «передовые методы». Скриншоты похожи друг на друга: гистограммы, структурные схемы, HTML-отчеты и процентные показатели. Все это навевает скуку.

Подробнее
Total votes 19: ↑17 and ↓2 +15
Views 19K
Comments 5

Использование автоматизированных верификационных средств для тестирования ПО в соответствии со стандартами DO-178B/C (КТ-178В), EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304

Website development *IT systems testing *

Введение от автора поста



Имея опыт разработки ПО для ответственных систем более чем 8 лет, хочу познакомить сообщество с некоторыми материалами, связанными с разработкой и верификацией ПО для ответственных систем (аэрокосмическая область, медицина, транспорт и промышленность). Получив согласие на перевод и адаптирование ряда интересных статей у зарубежных коллег решил воспользоваться данным ресурсом. Буду рад, если статья заинтересует наше сообщество. В статье использованы материалы фирмы Vector Software, Inc. и рассматривается пример использования автоматизированного верификационного инструментария VectorCAST.
В статье мы акцентируем внимание на стандартах DO-178B/C (КТ-178В), но данная статья актуальна и для применения в соответствии со стандартами: EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304.
На вопросы отвечу в комментариях или в личку.

Введение


В этой статье, мы рассмотрим каким образом платформа тестирования встроенного программного обеспечения (ПО) VectorCAST может быть использована для достижения целей процесса верификации ПО, определенного в разделе 6.0 стандартов DO-178B и DO-178C (КТ-178В) «Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники». В документе также освещаются различия между двумя стандартами в части раздела 12 «Процесс квалификации инструментального ПО».

Подробнее
Total votes 12: ↑8 and ↓4 +4
Views 22K
Comments 9

Голосовые отпечатки: скорее всего, вы уже успели «наследить»

КРОК corporate blog Information Security *Development of communication systems *


Если в колл-центрах, куда вы иногда звоните, есть система создания голосовых отпечатков, вас могут легко опознать. Если такой системы ещё нет, ваши отпечатки можно создать в один клик по ранее сделанным записям.

Работает это так: каждый раз, когда вы звоните, например, в банк, где есть система определения клиента по голосу, ваш разговор записывается. Скажем, 1-2 минут вашей беседы с оператором достаточно для того, чтобы создать достаточно точный профиль вашего голоса. В дальнейшем вас будут определять по первой фразе.

Процесс создания голосового отпечатка и его проверки несимметричный. Для создания используется больше данных (больше времени разговора), для проверки – меньше примерно на порядок. Максимум, который я видел в условиях сильно зашумлённой линии – 15 секунд на проверку.
Читать дальше →
Total votes 109: ↑98 and ↓11 +87
Views 63K
Comments 93

Речевые технологии. Голосовая биометрия для чайников на примере работы в контактном центре

Центр речевых технологий (ЦРТ) corporate blog Development of communication systems *
Tutorial
image

Всем привет.
Недавно я написал вот такую статью про распознавание слитной речи, а сейчас хотел бы написать про голосовую биометрию, т.е. подтверждение личности человека по голосу и узнавание человека по голосу.
Читать дальше →
Total votes 8: ↑6 and ↓2 +4
Views 24K
Comments 7

Валидация и верификация требований к системе

IT systems testing *
Очень часто путают два понятия валидация и верификация. Кроме того, часто путают валидацию требований к системе с валидацией самой системы. Я предлагаю разобраться в этом вопросе.

В статье «Моделирование объекта как целого и как композиции» я рассмотрел два подхода к моделированию объекта: как целого и как конструкции. В текущей статье нам это деление понадобится.

Пусть у нас есть проектируемый функциональный объект. Пусть этот объект рассматривается нами как часть конструкции другого функционального Объекта. Пусть есть описание конструкции Объекта, такое, что в нем присутствует описание объекта. В таком описании объект имеет описание как целого, то есть, описаны его интерфейсы взаимодействия с другими объектами в рамках конструкции Объекта. Пусть дано описание объекта как конструкции. Пусть есть информационный объект, содержащий требования к оформлению описания объекта как конструкции. Пусть есть свод знаний, который содержит правила вывода, на основании которых из описания объекта как целого получается описание объекта как конструкции. Свод знаний – это то, чему учат конструкторов в институтах – много, очень много знаний. Они позволяют на основе знанию об объекте спроектировать его конструкцию.
Читать дальше →
Total votes 2: ↑2 and ↓0 +2
Views 43K
Comments 1