Введение в Coq: формальные методы и зависимые типы, Часть VIII
⏰ Thu, 17 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Восьмой воркшоп будет посвящён той же теме, что и седьмой: транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на восьмом воркшопе в четверг 17 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
⏰ Thu, 17 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Восьмой воркшоп будет посвящён той же теме, что и седьмой: транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на восьмом воркшопе в четверг 17 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
🤔2🔥1
Forwarded from Татьяна Симанихина
Друзья, мы готовы сообщить радостную новость!
Второй митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже совсем скоро 🔥
Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.
Спикеры на этой встрече:
- Юрий Минаев, архитектор C++ анализатора PVS-Studio. Тема доклада: "Эвалюация в интерпретаторах"
- Владимир Невзоров, Senior backend developer, Servicepipe. Тема доклада: "Взлёт, закат и ренессанс С++"
🗓7 августа в 18:00
📍Москва, офлайн
Все подробности и регистрация доступны по ссылке 🔗
#мероприятия #митап #cpp
Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.
Спикеры на этой встрече:
- Юрий Минаев, архитектор C++ анализатора PVS-Studio. Тема доклада: "Эвалюация в интерпретаторах"
- Владимир Невзоров, Senior backend developer, Servicepipe. Тема доклада: "Взлёт, закат и ренессанс С++"
🗓7 августа в 18:00
📍Москва, офлайн
Все подробности и регистрация доступны по ссылке 🔗
#мероприятия #митап #cpp
👍5
🔥 RIVOX CONF 2025 — то, что нужно знать
Дата: 3 сентября
Время: 11:00-14:30 МСК
Формат: онлайн
Цена: БЕСПЛАТНО
О чем:
— Снижение CAC на 35%
— Масштабирование x3
— AI в оптимизации рекламы
Спикеры-практики:
• Егор Осипов (Vitamin.tools)
• Наталья Седина (Rivox AI)
• Александр Балин (Skyeng)
• И еще 5 экспертов
Что получите:
✅ 8 готовых механик
✅ Чек-листы и шаблоны
✅ Доступ в закрытый клуб
Регистрация
Дата: 3 сентября
Время: 11:00-14:30 МСК
Формат: онлайн
Цена: БЕСПЛАТНО
О чем:
— Снижение CAC на 35%
— Масштабирование x3
— AI в оптимизации рекламы
Спикеры-практики:
• Егор Осипов (Vitamin.tools)
• Наталья Седина (Rivox AI)
• Александр Балин (Skyeng)
• И еще 5 экспертов
Что получите:
✅ 8 готовых механик
✅ Чек-листы и шаблоны
✅ Доступ в закрытый клуб
Регистрация
Forwarded from Татьяна Симанихина
🔥C++ бывает разным!
28 августа в Питере проводим митап "Мир С++".
В программе спикеры из "Леста Игры", PVS-Studio и даже "Савушкин продукт"!
Будет много интересного кода, горячая пицца и нетворкинг. А для самых стойких — афтепати в Failover Bar 🍻
Приходите и приглашайте коллег!
Регистрация тут 🔗
#мероприятия #cpp #митап
28 августа в Питере проводим митап "Мир С++".
В программе спикеры из "Леста Игры", PVS-Studio и даже "Савушкин продукт"!
Будет много интересного кода, горячая пицца и нетворкинг. А для самых стойких — афтепати в Failover Bar 🍻
Приходите и приглашайте коллег!
Регистрация тут 🔗
#мероприятия #cpp #митап
Forwarded from Merge
IT-специалистов приглашают отметить День программиста вместе с топовыми экспертами отрасли со всей России🔥
12-13 сентября в Оренбурге пройдёт Merge + IT Fest Oren — два масштабных IT-события в городе, где Европа встречается с Азией. Участников ждёт нетворкинг под отрытым небом, насыщенная деловая программа Merge и яркая развлекательная программа IT Fest.
10+ направлений, 35+ секций, 150+ докладов. Традиционно Merge объединяет на одной площадки все направления IT. Со спикерами из ведущих компаний поговорим о разработке, управлении командами и проектами, маркетинге, карьере в IT, аналитике и не только. А еще в программе — интерактивные площадки, фуд-корт, выступление музыкальных групп и не только.
Участие в Merge будет полезно для специалистов всех направлений и уровней IT. Присоединяйтесь!
Хотите узнать об особых условиях участия, пишите по всем вопросам — @nadezhda_eventice.
👉🏻Подробнее о Merge + IT Fest
12-13 сентября в Оренбурге пройдёт Merge + IT Fest Oren — два масштабных IT-события в городе, где Европа встречается с Азией. Участников ждёт нетворкинг под отрытым небом, насыщенная деловая программа Merge и яркая развлекательная программа IT Fest.
10+ направлений, 35+ секций, 150+ докладов. Традиционно Merge объединяет на одной площадки все направления IT. Со спикерами из ведущих компаний поговорим о разработке, управлении командами и проектами, маркетинге, карьере в IT, аналитике и не только. А еще в программе — интерактивные площадки, фуд-корт, выступление музыкальных групп и не только.
Участие в Merge будет полезно для специалистов всех направлений и уровней IT. Присоединяйтесь!
Хотите узнать об особых условиях участия, пишите по всем вопросам — @nadezhda_eventice.
👉🏻Подробнее о Merge + IT Fest
Rust митап
📍 Москва
⏰ ср, 27 август 2025, 19:30 (+0300)
В августе собираемся в традиционном уже Freedom Bar на Дмитровской. Тема митапа — язык программирования Rust.
На митапах докладчики рассказывают о глубоких темах, интересных знатокам или каждодневным практикам. При этом остро не хватает докладов для тех, кто не так давно знаком с языком или технологией.
Стас Выщепан решил заполнить этот пробел. Он расскажет, как разработать на Rust несложное веб-приложение — чат. Это будет хорошая возможность узнать язык в действии.
Часто на Rust переписывают готовые продукты, в том числе, потому, что решения на Rust — быстрее и надёжнее. Конечно, переписывание — не простая работа. Тимофей Мягких из компании СБС расскажет о миграции пайплайна speech-to-text ML с Python на Rust, о тех сложностях, которые пришлось решить и о тех результатах, которых удалось достигнуть.
Мы не всегда знаем, чего стоит реализация разных возможностей в языках программирования. Дарья Сухонина приоткроет завесу над реальной сложностью async/await. Существующая реализация в Rust может приводить к нестандартным проблемам. Дарья, в своём докладе о структурной конкурентности и незабываемым типам, расскажет о том, как эти проблемы могут быть решены.
Речь в докладе идёт об экспериментальной реализации, которая не является частью языка и сейчас находится в стадии proof of concept.
#rust #barcode
Подписывайтесь на новые мероприятия в боте @NetworklyBot
📍 Москва
⏰ ср, 27 август 2025, 19:30 (+0300)
В августе собираемся в традиционном уже Freedom Bar на Дмитровской. Тема митапа — язык программирования Rust.
На митапах докладчики рассказывают о глубоких темах, интересных знатокам или каждодневным практикам. При этом остро не хватает докладов для тех, кто не так давно знаком с языком или технологией.
Стас Выщепан решил заполнить этот пробел. Он расскажет, как разработать на Rust несложное веб-приложение — чат. Это будет хорошая возможность узнать язык в действии.
Часто на Rust переписывают готовые продукты, в том числе, потому, что решения на Rust — быстрее и надёжнее. Конечно, переписывание — не простая работа. Тимофей Мягких из компании СБС расскажет о миграции пайплайна speech-to-text ML с Python на Rust, о тех сложностях, которые пришлось решить и о тех результатах, которых удалось достигнуть.
Мы не всегда знаем, чего стоит реализация разных возможностей в языках программирования. Дарья Сухонина приоткроет завесу над реальной сложностью async/await. Существующая реализация в Rust может приводить к нестандартным проблемам. Дарья, в своём докладе о структурной конкурентности и незабываемым типам, расскажет о том, как эти проблемы могут быть решены.
Речь в докладе идёт об экспериментальной реализации, которая не является частью языка и сейчас находится в стадии proof of concept.
#rust #barcode
Подписывайтесь на новые мероприятия в боте @NetworklyBot
🔥5👍1
Всем привет! Собираемся на IT-завтрак в воскресенье 24 августа в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
❤7
Forwarded from Irina Bar$k
Друзья!
9 сентября 2025 в День тестировщика состоится 11-ая ежегодная конференция по нагрузочному тестированию (НТ) https://www.perfconf.ru/ .
Аудитория: инженеры и руководители в области НТ, DevOps, SRE, маркетологи и др.
25+ крутых докладов от именитых спикеров из MTS AI, Ви.Tech, "Перфоманс Лаб", Positive Technologies, X5 tech, Cloud.ru, "Постгрес Про", VK, ecom.tech, Сбер на темы о нагрузочном тестировании, хаос инженеринге, оптимизации производительности и тюнинга, практик DevOps и CI\CD, управления командой и лидирования, практик SRE, использования ИИ для мониторинга пр. Вы увидите как разбирают реальные кейсы, узнаете о последних тренда индустрии и многое другое!
Итого: 3 параллельных потока, круглый стол про инциденты, живой нетворкинг, подарки участникам, афтепати!
Всем подписчикам нашей группы организаторы дарят промокод на скидку10% на билет: tg10
А пока присоединяйтесь к каналу конференции — там много полезного https://t.me/performanceconf
9 сентября 2025 в День тестировщика состоится 11-ая ежегодная конференция по нагрузочному тестированию (НТ) https://www.perfconf.ru/ .
Аудитория: инженеры и руководители в области НТ, DevOps, SRE, маркетологи и др.
25+ крутых докладов от именитых спикеров из MTS AI, Ви.Tech, "Перфоманс Лаб", Positive Technologies, X5 tech, Cloud.ru, "Постгрес Про", VK, ecom.tech, Сбер на темы о нагрузочном тестировании, хаос инженеринге, оптимизации производительности и тюнинга, практик DevOps и CI\CD, управления командой и лидирования, практик SRE, использования ИИ для мониторинга пр. Вы увидите как разбирают реальные кейсы, узнаете о последних тренда индустрии и многое другое!
Итого: 3 параллельных потока, круглый стол про инциденты, живой нетворкинг, подарки участникам, афтепати!
Всем подписчикам нашей группы организаторы дарят промокод на скидку10% на билет: tg10
А пока присоединяйтесь к каналу конференции — там много полезного https://t.me/performanceconf
Forwarded from Перфоманс Конф
Вебинар с Дом.РФ: «Бот — нагрузочник»
📌 28 августа в 18:00 (МСК)
Как превратить запуск регрессионных нагрузочных тестов из рутины в один клик?
Спойлер: с помощью Telegram-бота.
На вебинаре Киров Денис Евгеньевич (Дом.РФ) расскажет:
▪ Почему решили автоматизировать запуск регрессий именно через бота
▪ Как устроен этот помощник: архитектура, логика, сценарии
▪ Какие результаты внедрение уже дало — в цифрах, времени и удобстве
▪ Что учесть, если хотите сделать такое же решение у себя
Формат: онлайн, бесплатно
📎 Зарегистрироваться и получить ссылку.
Если вы автоматизируете перформанс или просто хотите наглядный пример удачного «тестового ИИ» — приходите!
Как превратить запуск регрессионных нагрузочных тестов из рутины в один клик?
Спойлер: с помощью Telegram-бота.
На вебинаре Киров Денис Евгеньевич (Дом.РФ) расскажет:
Формат: онлайн, бесплатно
Если вы автоматизируете перформанс или просто хотите наглядный пример удачного «тестового ИИ» — приходите!
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Перфоманс Конф
Митап 2 сентября: DevOps Governance — когда нужен, а когда нет
Уже в этот вторник в 18:00 (МСК) приглашаем вас на бесплатный онлайн-митап, где Александр Крылов (CPO продукта «Штурвал», Лаборатория Числитель) разложит по полочкам, что из себя представляет подход DevOps Governance — и зачем он вообще нужен.
Обсудим:
▪️ Почему внедрение governance — это не всегда «по учебнику»
▪️ Какие проблемы он реально помогает решать
▪️ Какие, наоборот, только усугубляет
▪️ Когда DevOps Governance может оказаться вредным
📍 Формат: онлайн
📎 Участие бесплатное, по регистрации: perfconf.ru
Если вы отвечаете за процессы, платформенные решения или управленческие практики в ИТ — это must-have.
Уже в этот вторник в 18:00 (МСК) приглашаем вас на бесплатный онлайн-митап, где Александр Крылов (CPO продукта «Штурвал», Лаборатория Числитель) разложит по полочкам, что из себя представляет подход DevOps Governance — и зачем он вообще нужен.
Обсудим:
Если вы отвечаете за процессы, платформенные решения или управленческие практики в ИТ — это must-have.
Please open Telegram to view this post
VIEW IN TELEGRAM
Всем привет! Собираемся на IT-завтрак в воскресенье 7 сентября в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
❤4
Forwarded from Marina Stepanova
🔍 Представьте: вы — совет директоров компании «Ромашка». На дворе 2026 год. Старые процессы не работают, бюджеты урезают, конкуренты наступают. Ваша задача — провести компанию через трансформацию и вывести её в новый мир.
Каждое решение повлияет на три ключевых параметра:
💎 Финансы
⚡️ Скорость
✅ Качество
Количество мест ограничено. Зарегистрируйтесь заранее: ссылка на регистрацию
Вопросы? Напишите организатору: @mvs_mv
Please open Telegram to view this post
VIEW IN TELEGRAM
❤1🔥1
Forwarded from Татьяна Симанихина
Приглашаем на вебинар про оптимизацию в GameDev!
Вместе с экспертами из игровых студий — Forgotten Empires и Playrix— мы обсудим практические советы по улучшению проектов.
Поговорим о тонкостях работы с памятью, кастомных аллокаторах, а также способах ускорить запуск мобильных игр.
📍25 сентября в 16:00
Присоединяйтесь по ссылке 🔗
#вебинар #gamedev
Вместе с экспертами из игровых студий — Forgotten Empires и Playrix— мы обсудим практические советы по улучшению проектов.
Поговорим о тонкостях работы с памятью, кастомных аллокаторах, а также способах ускорить запуск мобильных игр.
📍25 сентября в 16:00
Присоединяйтесь по ссылке 🔗
#вебинар #gamedev
PVS-Studio
Вебинар не проводится
На данный момент вебинары не проводятся. Следите за обновлениями — возможно, в скором времени мы запустим новые мероприятия.Вы можете посмотреть записи прошедших вебинаров по ссылке.
Forwarded from TechMeetup | Java, JVM
TechMeetup #10 👋 Java | JVM x МТС Финтех
Ждем на очередной митап про разнообразный, сложный и интересный мир Java, который состоится 9 октября!
🗒 Собрали несколько интересных докладов для всех, кто занимается разработкой, постарались выбрать интересное
🗓 Когда: 09 октября 2025, с 19:00 до 22:00 GMT+03:00 (онлайн и офлайн)
📍 Где: Москва, м. Технопарк. Проспект Андропова 18, корпус 1. (Здание с вывеской МТС Банк, Медиарум)
👍 Участие: бесплатно
🎉 Нетворкинг: бесценно
Что мы приготовили:
🔗 Подробнее о программе на странице мероприятия
🎁 Бонусы: еда и напитки в перерыве, маленький праздник среди недели. А вместе с нетворкингом - время проведенное с пользой и удовольствием. Приходите!
⭐ Не теряем время и регистрируемся, места на офлайн часть ограничены
Ждем вас!💙
TechMeetup | CFP: Подать доклад | Общалка и вопросы
Ждем на очередной митап про разнообразный, сложный и интересный мир Java, который состоится 9 октября!
Что мы приготовили:
Не упускаем возможность послушать опытных спикеров, обсудить актуальные темы и пообщаться с коллегами.
Ждем вас!
TechMeetup | CFP: Подать доклад | Общалка и вопросы
Please open Telegram to view this post
VIEW IN TELEGRAM
👍2👀1
Forwarded from Татьяна Симанихина
Вы ждали?! Мы сделали! 🔥
Третий митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже скоро!
🗓 А именно 4 октября в Москве
Что вас ждет на этот раз:
1. Доклад "Безопасная работа с массивами? Нет, не слышали".
2. Квиз++, с помощью которого проверим, насколько вы владеете С++
Помимо этого будет крутое общение с экспертами, эксклюзивный мерч и вкусная пицца ❤️ Приходите! Будет круто!
Регистрация и подробности по ссылке 🔗
#мероприятия #митап #cpp
Третий митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже скоро!
🗓 А именно 4 октября в Москве
Что вас ждет на этот раз:
1. Доклад "Безопасная работа с массивами? Нет, не слышали".
2. Квиз++, с помощью которого проверим, насколько вы владеете С++
Помимо этого будет крутое общение с экспертами, эксклюзивный мерч и вкусная пицца ❤️ Приходите! Будет круто!
Регистрация и подробности по ссылке 🔗
#мероприятия #митап #cpp
Forwarded from Galina
Podlodka Teamlead Crew — онлайн‑конференции по актуальным темам для руководителей разработки.
Здесь за одну неделю можно получить прикладную пользу в удобном формате утренних и вечерних сессий.
Новый сезон конференции стартует 6 октября и посвящен Продвинутому тимлидству: компетенциям и навыкам, которые могут привести к росту в профессии и карьере.
Что в программе?
— Как строить процессы без микроменеджмента и бюрократии, а иногда и с ними, расскажет практик и эксперт Теории Ограничений Александра Брызгалова.
— Когда развитие команды реально прокачивает навыки, а когда нет, объяснит организационный психолог Дмитрий Болдырев.
— Как выйти из зоны комфорта и влиять на бизнес с помощью Shadow Work Canvas, разберёт коуч IT‑руководителей Юлия Аравина.
— Зачем нужен внутренний бренд команды, как его развивать и где прочертить границу с личным брендом, поделится Максим Гришутинин, Platform Lead ОККО
Программа Teamlead Crew - это недельная концентрация пользы и практики
Подробности и билеты: https://podlodka.io/tlcrew
Здесь за одну неделю можно получить прикладную пользу в удобном формате утренних и вечерних сессий.
Новый сезон конференции стартует 6 октября и посвящен Продвинутому тимлидству: компетенциям и навыкам, которые могут привести к росту в профессии и карьере.
Что в программе?
— Как строить процессы без микроменеджмента и бюрократии, а иногда и с ними, расскажет практик и эксперт Теории Ограничений Александра Брызгалова.
— Когда развитие команды реально прокачивает навыки, а когда нет, объяснит организационный психолог Дмитрий Болдырев.
— Как выйти из зоны комфорта и влиять на бизнес с помощью Shadow Work Canvas, разберёт коуч IT‑руководителей Юлия Аравина.
— Зачем нужен внутренний бренд команды, как его развивать и где прочертить границу с личным брендом, поделится Максим Гришутинин, Platform Lead ОККО
Программа Teamlead Crew - это недельная концентрация пользы и практики
Подробности и билеты: https://podlodka.io/tlcrew
Всем привет! Собираемся на IT-завтрак в воскресенье 5 октября в 9:30 в Бруснике на Китай-городе.
https://yandex.ru/maps/-/CLBa4QNz
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
https://yandex.ru/maps/-/CLBa4QNz
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
👍5
Forwarded from Татьяна Симанихина
А теперь время хорошей новости! 🔥
Друзья, коллеги, Java-разработчики, приглашаем вас на наш митап — Карты, деньги, JVM!
На митапе обсудим внутренности JVM и компилятора: разберём, как JVM оптимизирует динамические вызовы, чем MethodHandle лучше рефлексии, и как компилятор обрабатывает код — от фронтенда до практического применения.
Вас ждут два интересных доклада от разработчиков PVS-Studio, нетворкинг и вкусная пицца ❤️
🗓 30 октября
📍Санкт-Петербург + онлайн
Подробное расписание и регистрация по ссылке 🔗
#мероприятия #митап #java
Друзья, коллеги, Java-разработчики, приглашаем вас на наш митап — Карты, деньги, JVM!
На митапе обсудим внутренности JVM и компилятора: разберём, как JVM оптимизирует динамические вызовы, чем MethodHandle лучше рефлексии, и как компилятор обрабатывает код — от фронтенда до практического применения.
Вас ждут два интересных доклада от разработчиков PVS-Studio, нетворкинг и вкусная пицца ❤️
🗓 30 октября
📍Санкт-Петербург + онлайн
Подробное расписание и регистрация по ссылке 🔗
#мероприятия #митап #java
Как не сесть в тюрьму и сэкономить миллионы на штрафах по 152-ФЗ и приказу РКН №140?
🕓 Расскажем на вебинаре 23 октября в 11:00 по МСК
Деперсонализация данных — серьезный вызов для бизнеса, ИБ и IT. С сентября этого года за утечки компаниям грозят штрафы до 500 млн рублей и уголовная ответственность до 5 лет лишения свободы. Незнание законов, неправильные методы и хаос в данных = огромный риск.
Приглашаем на вебинар, где подробно разберем:
- требования закона, включая новейшие поправки с 1 сентября;
- типичные ошибки в управлении персональными данными;
- методы деперсонализации, одобренные регуляторами;
- 7 практических шагов для защиты от утечек и ответственности.
Регистрируйтесь по ссылке — после вышлем чек-лист самопроверки. В нем собрали все главные требования к бизнесу и типовые ошибки.
🕓 Расскажем на вебинаре 23 октября в 11:00 по МСК
Деперсонализация данных — серьезный вызов для бизнеса, ИБ и IT. С сентября этого года за утечки компаниям грозят штрафы до 500 млн рублей и уголовная ответственность до 5 лет лишения свободы. Незнание законов, неправильные методы и хаос в данных = огромный риск.
Приглашаем на вебинар, где подробно разберем:
- требования закона, включая новейшие поправки с 1 сентября;
- типичные ошибки в управлении персональными данными;
- методы деперсонализации, одобренные регуляторами;
- 7 практических шагов для защиты от утечек и ответственности.
Регистрируйтесь по ссылке — после вышлем чек-лист самопроверки. В нем собрали все главные требования к бизнесу и типовые ошибки.
🔥1👀1
Forwarded from System Design World (Владимир в IT)
Чтобы понять у кого System Design мозги самые прокаченные 🧠
◾️ Отборочный тур подарил нам 4ку финалистов с разных уголков страны!
Финал первой Своей Игры по System Design в рунете подарит нам призёра!
Куда приходить смотреть?
Ссылка на трансляцию уже есть в сообществе MTS True Tech Arch.
Также появится здесь в день проведения.
Зачем смотреть?
Прокачиваем собственные архитектурные знания! Повышаем насмотренность!
Следим за
А выиграть онлайн что-нибудь можно?
Можно! И даже нужно!
—-> Регистрируемся здесь <—-
После регистрации появится ссылка на чат игры(кто-то там уже есть из подписчиков :) ).
В нём обсуждение в процессе игры и розыгрыш от компаний партнеров!
🔥 - приду смотреть онлайн
⚡️ - поучаствую в розыгрыше
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥3🤔1