Криптонит. Разработка, наука, шифрование
Media is too big
VIEW IN TELEGRAM
📌«Уникальность этой книги в том, что она появилась. До 1703 года не было настолько фундаментальных, основательных учебников по арифметике и математике».
Это цитата Ивана Чижова, заместителя руководителя нашей лаборатории криптографии, про раритетное издание книги «Леонтий Филиппович Магницкий и его арифметика» в редакции Дмитрия Дмитриевича Галанина от 1914 года.
Мы попросили его рассказать, чем же так уникальна эта книга и отличаются ли прошлые подходы к изучению математики от современных? Спойлер:нет, но важен баланс подходов и учитель, который сможет заинтересовать.
📍Напоминаем, что это перевыпущенное нами раритетное издание вы можете купить в магазине сувениров Музея криптографии!
Это цитата Ивана Чижова, заместителя руководителя нашей лаборатории криптографии, про раритетное издание книги «Леонтий Филиппович Магницкий и его арифметика» в редакции Дмитрия Дмитриевича Галанина от 1914 года.
Мы попросили его рассказать, чем же так уникальна эта книга и отличаются ли прошлые подходы к изучению математики от современных? Спойлер:
📍Напоминаем, что это перевыпущенное нами раритетное издание вы можете купить в магазине сувениров Музея криптографии!
❤6👍5
Новая вакансия: специалист-исследователь в области обработки речи👨💻🕵️♀️
Наша лаборатория больших данных и статистики в поиске специалиста, который будет заниматься развитием и поддержкой решений, связанных с обработкой речи.
Задачи:
— исследование новых Speech-технологий, проведение экспериментов, реализация прототипов и доведение их до разработки;
— поддержка и расширение набора NLP-технологий;
— мониторинг свежих свежих статей и SOTA по Speech/NLP-технологиям;
— сбор и подготовка данных для задач проекта.
📍Полное описание вакансии можно найти по ссылке.
Другие вакансии «Криптонита» ищите на нашей карьерной странице.
#вакансии_Криптонит
Наша лаборатория больших данных и статистики в поиске специалиста, который будет заниматься развитием и поддержкой решений, связанных с обработкой речи.
Задачи:
— исследование новых Speech-технологий, проведение экспериментов, реализация прототипов и доведение их до разработки;
— поддержка и расширение набора NLP-технологий;
— мониторинг свежих свежих статей и SOTA по Speech/NLP-технологиям;
— сбор и подготовка данных для задач проекта.
📍Полное описание вакансии можно найти по ссылке.
Другие вакансии «Криптонита» ищите на нашей карьерной странице.
#вакансии_Криптонит
🔥6👍1
В зависимости от контекста данный термин может употребляться в разных значениях. С точки зрения разработчика инференс — это третий этап жизненного цикла искусственной нейронной сети (после её обучения и развёртывания).
Часто инференсом называют процесс работы уже обученной нейросети на конечном устройстве, или её
логический вывод (конечный результат обработки данных).
С понятием «инференс» тесно связаны две следующие характеристики нейросетей.
▪️Скорость инференса — важная метрика для сравнения производительности решений на базе ИИ. Она оценивается для разных нейросетей на одинаковом оборудовании, либо наоборот: для одной и той же нейросети на разном железе (например, на ядрах архитектур x86-64 и ARM, с ускорением на ГП и без него).
▪️Точность инференса — количественная оценка, обычно выражаемая в процентах. Она показывает, насколько результат работы нейросети соответствует истине. Например, сколько слов нейросеть правильно распознала в аудиозаписи, или сколько дорожных знаков интерпретировала верно.
При разработке нейросетей одновременно стараются повысить как скорость, так и точность инференса. Именно по этим характеристикам их оценивает конечный потребитель. #нейрословарь
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥7👍2
#Rust Наш системный программист Михаил Михайлов написал на Tproger статью для Rust-разработчиков.
В ней он рассказывает, как автоматизировать процесс сборки конфигурации приложения из различных источников и упростить код с помощью собственного решения — крейта config-manager.
Михаил приводит проблемы существующих решений для настройки приложений на Rust, демонстрирует стандартное применение разработанного инструмента и перечисляет достоинства реализации крейта.
📌В конце статьи вы найдёте ссылки на библиотеки, наш репозиторий с cookbook и наглядными примерами.
Полный текст читайте по ссылке.
В ней он рассказывает, как автоматизировать процесс сборки конфигурации приложения из различных источников и упростить код с помощью собственного решения — крейта config-manager.
Михаил приводит проблемы существующих решений для настройки приложений на Rust, демонстрирует стандартное применение разработанного инструмента и перечисляет достоинства реализации крейта.
📌В конце статьи вы найдёте ссылки на библиотеки, наш репозиторий с cookbook и наглядными примерами.
Полный текст читайте по ссылке.
👍7
Media is too big
VIEW IN TELEGRAM
Алексей Фёдоров, руководитель научной группы Российского квантового центра и лаборатории МИСиС, профессор МФТИ и PhD по теоретической физике Университета Парижа-Юг, рассказал нам, что думает по поводу современного математического образования.
📌«Очень разные есть студенты. Один студент, когда ты ему даёшь задачу, он даёт тебе ответ. И кажется, что это то, чего мы ожидаем. А самый лучший студент начинает в этой задаче "копаться", её немножко менять, формулировать, пытаться решить её шире, чем она была сформулирована. Мне кажется, что надо стимулировать вот этот второй подход».
А ещё Алексей рассказал, чем важна книга «Леонтий Филиппович Магницкий и его арифметика» в редакции Дмитрия Дмитриевича Галанина от 1914 года. Смотрите видео.
Мы напоминаем, что это перевыпущенное нами издание вы можете купить в магазине сувениров Музея криптографии!
Please open Telegram to view this post
VIEW IN TELEGRAM
👍9🔥3
Forwarded from Музей криптографии
Шифры ХХ века: мастер-класс для школьников в Музее криптографии
18 марта / 16:00-17:00
Уже в эту субботу все желающие узнают о шифрах «Одноразовый блокнот» и Rasterschlüssel 44, которыми пользовались разведчики в прошлом веке, разберутся, чем шифры замены отличаются от шифров перестановки, а также научатся с их помощью зашифровывать и расшифровывать секретные послания.
Где?
Музей криптографии, 2 этаж, аудитория 1.
Кто ведет?
Мастер-класс проведет один из экскурсоводов музея.
Как попасть?
Купить билет по ссылке.
Внимание! Для посещения экспозиции необходимо приобрести отдельный входной билет.
18 марта / 16:00-17:00
Уже в эту субботу все желающие узнают о шифрах «Одноразовый блокнот» и Rasterschlüssel 44, которыми пользовались разведчики в прошлом веке, разберутся, чем шифры замены отличаются от шифров перестановки, а также научатся с их помощью зашифровывать и расшифровывать секретные послания.
Где?
Музей криптографии, 2 этаж, аудитория 1.
Кто ведет?
Мастер-класс проведет один из экскурсоводов музея.
Как попасть?
Купить билет по ссылке.
Внимание! Для посещения экспозиции необходимо приобрести отдельный входной билет.
👍4
Продолжаем серию постов про #языки_программирования. Вот такие плюсы и минусы #Scala выделяют наши разработчики.
Scala играет на одной площадке с Java, поэтому легче всего перечислить плюсы и минусы относительно него.
Преимущества
• Scala можно использовать вместо Java, например, если в legacy project библиотека написана на Java.
• Легче разобраться в сложном коде, написанном на Scala, чем на Java. Элементы функционального программирования позволяют писать модульные программы, которые легко компонуются друг с другом. Можно писать программу по кусочкам и избегать определённого класса ошибок.
• Scala community призывает изучать эффективные практики для разработки программного продукта. Достаточно прочитать несколько статей, чтобы узнать, как тот или иной функционал делается проще, современнее и полезнее.
• На Scala, в силу возраста, меньшее количество legacy projects. Например, на Java есть проекты, которые давно работают в продуктовых системах. Но разработка для них уже не ведётся, осуществляется только поддержка: оптимизация и поиск багов. На Scala же сейчас активно развиваются новые проекты.
Недостатки
• На данный моменты на Scala в основном пишут программы, если собираются запускать их на JVM, а доля Scala.js и Scala Native очень невелика. В результате возникает ограничение: Scala можно использовать только там, где можно использовать Java.
• Многие не спешат переходить с Java на Scala. Первый предполагает стабильность. На Java уже написано столько legacy software, что работы по его поддержке хватит на десятилетия. Переход же на Scala подразумевает некоторый риск, который не всем нравится, — опасение, что язык не будет так популярен лет через 10. Поэтому у всех Scala-разработчиков есть дух авантюризма😊
Scala играет на одной площадке с Java, поэтому легче всего перечислить плюсы и минусы относительно него.
Преимущества
• Scala можно использовать вместо Java, например, если в legacy project библиотека написана на Java.
• Легче разобраться в сложном коде, написанном на Scala, чем на Java. Элементы функционального программирования позволяют писать модульные программы, которые легко компонуются друг с другом. Можно писать программу по кусочкам и избегать определённого класса ошибок.
• Scala community призывает изучать эффективные практики для разработки программного продукта. Достаточно прочитать несколько статей, чтобы узнать, как тот или иной функционал делается проще, современнее и полезнее.
• На Scala, в силу возраста, меньшее количество legacy projects. Например, на Java есть проекты, которые давно работают в продуктовых системах. Но разработка для них уже не ведётся, осуществляется только поддержка: оптимизация и поиск багов. На Scala же сейчас активно развиваются новые проекты.
Недостатки
• На данный моменты на Scala в основном пишут программы, если собираются запускать их на JVM, а доля Scala.js и Scala Native очень невелика. В результате возникает ограничение: Scala можно использовать только там, где можно использовать Java.
• Многие не спешат переходить с Java на Scala. Первый предполагает стабильность. На Java уже написано столько legacy software, что работы по его поддержке хватит на десятилетия. Переход же на Scala подразумевает некоторый риск, который не всем нравится, — опасение, что язык не будет так популярен лет через 10. Поэтому у всех Scala-разработчиков есть дух авантюризма😊
👍4🔥4
Чем отличается роботизация от автоматизации предприятия? Какие направления промышленной робототехники будут самыми востребованными в ближайшие десять лет? Почему люди хотят очеловечить роботов? Об этом и не только мы поговорили с Олегом Зобовым, главным инженером по робототехнике компании «Криптонит». Полная версия интервью ждёт в нашем научном блоге, а ниже — несколько сочных цитат.
📍«Самостоятельное принятие решений в нештатной ситуации — это вообще предмет развития научной робототехники. Задачи такого плана сейчас эффективно решаются через reinforcement learning (обучение с подкреплением). В любом случае для решения каких-то проблем и с автоматизированной линией, и с роботами на любом предприятии есть люди. Это инженеры, операторы-наладчики, которые следят за происходящим».
📍«Если на предприятии часто перенастраивают линии производства, то коботы [коллаборативные роботы] для заказчика могут оказаться более выгодными. Вообще последствия внедрения коботов в длительной перспективе ещё должным образом не исследованы. Если заказчик сочтёт, что ему непременно нужны коботы, мы готовы и их интегрировать».
📍«Робототехника не столько забирает вакансии у людей, сколько замещает их новыми. Возможно, в итоге она создаёт даже больше рабочих мест. Ведь до появления роботов никому были не нужны инженеры-робототехники, операторы-наладчики роботов… Одни профессии устаревают, на смену им приходит множество других, но есть и преемственность».
📍«...сервисные и справочные роботы, особенно предназначенные для детских учреждений, им желательно иметь антропоморфную форму, человекоподобное лицо, или хотя бы смайлики показывать. На самом деле тут назревает философский вопрос о том, почему все так хотят сделать роботов похожими на людей. Возможно, это такой путь создания «сильного» искусственного интеллекта, или нашего самопознания через создание ИИ в человеческом обличии». #интервью
📍«Самостоятельное принятие решений в нештатной ситуации — это вообще предмет развития научной робототехники. Задачи такого плана сейчас эффективно решаются через reinforcement learning (обучение с подкреплением). В любом случае для решения каких-то проблем и с автоматизированной линией, и с роботами на любом предприятии есть люди. Это инженеры, операторы-наладчики, которые следят за происходящим».
📍«Если на предприятии часто перенастраивают линии производства, то коботы [коллаборативные роботы] для заказчика могут оказаться более выгодными. Вообще последствия внедрения коботов в длительной перспективе ещё должным образом не исследованы. Если заказчик сочтёт, что ему непременно нужны коботы, мы готовы и их интегрировать».
📍«Робототехника не столько забирает вакансии у людей, сколько замещает их новыми. Возможно, в итоге она создаёт даже больше рабочих мест. Ведь до появления роботов никому были не нужны инженеры-робототехники, операторы-наладчики роботов… Одни профессии устаревают, на смену им приходит множество других, но есть и преемственность».
📍«...сервисные и справочные роботы, особенно предназначенные для детских учреждений, им желательно иметь антропоморфную форму, человекоподобное лицо, или хотя бы смайлики показывать. На самом деле тут назревает философский вопрос о том, почему все так хотят сделать роботов похожими на людей. Возможно, это такой путь создания «сильного» искусственного интеллекта, или нашего самопознания через создание ИИ в человеческом обличии». #интервью
👍6🔥4❤2
В Музее криптографии 25 и 26 марта пройдет конференция Screenshot_2023! 🥳 Она посвящена вебу, цифровой среде и интернет-культуре.
На мероприятии соберутся криптографы, эксперты гуманитарных и технических наук, веб-разработчики, программисты, культурологи, исследователи, художники, визионеры и инфлюенсеры, чтобы поговорить об эволюции интернета, цифровом обществе, кибербезопасности и NFT-культуре.
📍Посмотреть программу конференции и зарегистрироваться можно на сайте мероприятия.
На мероприятии соберутся криптографы, эксперты гуманитарных и технических наук, веб-разработчики, программисты, культурологи, исследователи, художники, визионеры и инфлюенсеры, чтобы поговорить об эволюции интернета, цифровом обществе, кибербезопасности и NFT-культуре.
📍Посмотреть программу конференции и зарегистрироваться можно на сайте мероприятия.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤7
Современные подходы к оценке криптографической стойкости требуют переосмысления из-за растущей вероятности применения квантового компьютера для атак на классические алгоритмы шифрования и электронной подписи.
На конференции РусКрипто'2023 наш старший специалист лаборатории криптографии Кирилл Царегородцев рассказал о том, как именно развивается парадигма «доказуемой стойкости» в приложении к изучению постквантовых алгоритмов: каковы особенности моделирования возможностей нарушителя с доступом к квантовому вычислителю? почему модель вычислений может влиять на уже существующие оценки стойкости? каким образом доказательства теорем можно «перенести» в постквантовую эру?
📌В качестве примера он использовал отечественную схему ЭП «Шиповник», подробнее о которой можно прочитать в нашем научном блоге.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤11🔥5👍2
В частности внимание уделялось постквантовым вариантам, которые призваны повысить надёжность ассиметричных криптографических схем после возможного появления достаточно мощных и универсальных квантовых компьютеров. На основе сравнения KEM, построенных на криптосистемах на основе кодов, исправляющих ошибки, был предложен разработанный в «Криптоните» вариант KEM для дальнейшей стандартизации в РФ. #РусКрипто
Please open Telegram to view this post
VIEW IN TELEGRAM
❤15👍4🔥4
На конференции РусКрипто'2023 специалист-исследователь лаборатории криптографии компании «Криптонит» Анастасия Чичаева рассказала об атаках пересылки на системы радиочастотной идентификации (RFID). Для надёжной аутентификации в таких системах требуется доказать не только подлинность RFID-метки, но и легитимность её местоположения (близкое размещение к считывателю).
Стандартные протоколы аутентификации не предназначены для доказательства местоположения, поэтому от атак пересылки нельзя защититься, используя только криптографические методы. Защищаться от таких атак можно при помощи разных технических решений, но наиболее эффективным способом представляется комбинирование криптографических методов с оценкой расстояния по времени отклика.
📍В своём докладе Анастасия Чичаева проанализировала существующие протоколы оценки расстояния, предложила протокол DB-RFID и рассмотрела варианты его реализации с использованием российских криптографических механизмов. #РусКрипто
Стандартные протоколы аутентификации не предназначены для доказательства местоположения, поэтому от атак пересылки нельзя защититься, используя только криптографические методы. Защищаться от таких атак можно при помощи разных технических решений, но наиболее эффективным способом представляется комбинирование криптографических методов с оценкой расстояния по времени отклика.
📍В своём докладе Анастасия Чичаева проанализировала существующие протоколы оценки расстояния, предложила протокол DB-RFID и рассмотрела варианты его реализации с использованием российских криптографических механизмов. #РусКрипто
❤20🔥6
У «Криптонита» день рождения — нам исполнилось пять лет! 🥳
На правах именинников в карточках рассказали о себе:
▪️какие основные продукты и услуги есть в «Криптоните»;
▪️какой стек технологий мы используем;
▪️почему у нас прикольно работать🙃
А в комментариях принимаем поздравления!
На правах именинников в карточках рассказали о себе:
▪️какие основные продукты и услуги есть в «Криптоните»;
▪️какой стек технологий мы используем;
▪️почему у нас прикольно работать🙃
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤28👏3🐳1
Как перейти с Java на Scala? Наши разработчики совместно с @tproger_official составили подробный роадмап на эту тему: он подойдёт Java-разработчикам, которые хотят освоить связанные технологии.
В этом гайде вы найдёте:
▪️преимущества языка;
▪️задачи, над которыми могут работать Scala-разработчики;
▪️общие инструменты и подборки библиотек и фреймворков;
▪️материалы для изучения Scala;
▪️кейсы перехода с одного языка на другой и многое другое.
Например, там есть ответ на вопрос:
В этом гайде вы найдёте:
▪️преимущества языка;
▪️задачи, над которыми могут работать Scala-разработчики;
▪️общие инструменты и подборки библиотек и фреймворков;
▪️материалы для изучения Scala;
▪️кейсы перехода с одного языка на другой и многое другое.
Например, там есть ответ на вопрос:
«Зачем переходить на Scala, если писать на нём сложнее?». Если коротко: Scala — это преемник Java. Он более объектно-ориентирован, а также обладает возможностями функционального языка. А подробнее — в статье.😁5👍4🔥3
📍Explaining Away — эффект редукции причины как упрощённая схема рассуждений. В машинном обучении она применяется для настройки весов нейросети. Встречаются и другие варианты перевода: «объяснение-отступление» и «эффект оправдания». По смыслу они эквивалентны.
Суть эффекта редукции сводится к тому, что из множества причин, способных вызвать наблюдаемое явление, выделяется какая-то одна. В дальнейшем предполагается, что выбранная причина преимущественно объясняет следствие, в то время как значимость других возможных причин снижается. При этом необходимость проверки других (альтернативных) причин не исключается полностью.
Например, в системах автопилота ИИ одновременно сравнивает показания разных датчиков. На близком расстоянии приоритет отдаётся показаниям ультразвуковых сенсоров. Если они сигнализируют о сближении с препятствием, а камеры показывают, что «всё чисто», то данные с камер игнорируются.
Здесь в качестве причины срабатывания датчика выбрано событие «опасное сближение», хотя реальной причиной может быть налипание снега или попадание брызг на УЗ-сенсоры. Просто в целях безопасности ИИ прекращает анализ возможных причин, выбирая угрозу столкновения как наиболее вероятную.
Please open Telegram to view this post
VIEW IN TELEGRAM
👍9❤2🔥1👏1