Forwarded from Roman Agrenin
В поисках спикеров для ИТ-конференции «Импульс Т1» 2025?🔥
Коллеги, мы начали подготовку к одной из крупнейших ИТ-конференций страны — «Импульс Т1».
Здесь собираются эксперты, лидеры отрасли и энтузиасты, чтобы обсудить тренды, обменяться опытом и зарядиться новым импульсом идей.
В прошлом году конференция объединила сотни ИТ-специалистов и вдохновила на десятки новых проектов — посмотрите, как это было: сайт прошлогодней конференции.
Если есть ребята, готовые поделиться опытом, новыми решениями и свежим взглядом — велком к нам в качестве спикера!
Что нужно сделать:
1️⃣ Определиться с темой доклада и подайть заявку на выступление по ссылке
2️⃣ Получить фидбек от организаторов — мы расскажем о дальнейших шагах и поможем подготовиться к выступлению.
3️⃣ С чувством предвкушения готовить материал — и заряжаться энергией будущей встречи с нашей аудиторией!
#ИмпульсТ1 — место, где встречаются идеи, экспертиза и вдохновение. Не упустите шанс стать частью этого события!🚀
Коллеги, мы начали подготовку к одной из крупнейших ИТ-конференций страны — «Импульс Т1».
Здесь собираются эксперты, лидеры отрасли и энтузиасты, чтобы обсудить тренды, обменяться опытом и зарядиться новым импульсом идей.
В прошлом году конференция объединила сотни ИТ-специалистов и вдохновила на десятки новых проектов — посмотрите, как это было: сайт прошлогодней конференции.
Если есть ребята, готовые поделиться опытом, новыми решениями и свежим взглядом — велком к нам в качестве спикера!
Что нужно сделать:
#ИмпульсТ1 — место, где встречаются идеи, экспертиза и вдохновение. Не упустите шанс стать частью этого события!
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥3
Введение в Coq: формальные методы и зависимые типы, Часть VII
⏰ Tue, 01 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Седьмой воркшоп посвятим транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на седьмом воркшопе во вторник 1 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
⏰ Tue, 01 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Седьмой воркшоп посвятим транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на седьмом воркшопе во вторник 1 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
❤3👍2🔥1
Работа над ошибками
📍 Moscow
⏰ Wed, 16 July 2025, 19:30 (+0300)
Друзья, приглашаем вас на офлайн-митап "Работа над ошибками"!
Ошибки в коде — неизбежная часть работы программиста. Но можно научиться допускать их реже, находить быстрее и извлекать из них пользу. Именно об этом мы и поговорим на нашей встрече. Вас ждут три доклада от опытных спикеров, живое общение и уютная атмосфера бара.
В программе:
- Андрей Карпов: Типовые паттерны опечаток и как их избежать.
- Марк Шевченко: Верификация программ и доказательство корректности .NET-кода.
- Роман Гапонов: Все о Code Review: лучшие практики и анти-паттерны.
📅 16 июля 2025 (среда)
⏰ 19:30
📍 Москва, Большая Новодмитровская ул., 36 стр. 6
Freedombar (Территория Дизайн-Завода "Флакон")
Subscribe to new events in the bot @NetworklyBot
📍 Moscow
⏰ Wed, 16 July 2025, 19:30 (+0300)
Друзья, приглашаем вас на офлайн-митап "Работа над ошибками"!
Ошибки в коде — неизбежная часть работы программиста. Но можно научиться допускать их реже, находить быстрее и извлекать из них пользу. Именно об этом мы и поговорим на нашей встрече. Вас ждут три доклада от опытных спикеров, живое общение и уютная атмосфера бара.
В программе:
- Андрей Карпов: Типовые паттерны опечаток и как их избежать.
- Марк Шевченко: Верификация программ и доказательство корректности .NET-кода.
- Роман Гапонов: Все о Code Review: лучшие практики и анти-паттерны.
📅 16 июля 2025 (среда)
⏰ 19:30
📍 Москва, Большая Новодмитровская ул., 36 стр. 6
Freedombar (Территория Дизайн-Завода "Флакон")
Subscribe to new events in the bot @NetworklyBot
Город IT 2025
📅 5–6 сентября 2025 года
📍 Томск, БКЗ (пл. Ленина, 12А)
Приглашаем вас принять участие в ежегодной конференции «Город IT».
На протяжении 15 лет конференция объединяет специалистов IT-отрасли, создавая эффективную площадку для обмена опытом, обсуждения актуальных трендов и установления деловых контактов.
Ключевые факты о конференции:
- Более 2 300 участников ежегодно
- Более 140 спикеров — экспертов-практиков из России и других стран
- Поддержка более 50 ведущих компаний отрасли
В 2025 году программа охватывает следующие направления:
- ML/Data Science/AI
- Backend (включая High Load)
- Frontend
- Тестирование
- Мобильная разработка
- Информационная безопасность
- Системная аналитика
- DevOps
- IT в медицине
- IT в электронике
- Менеджмент
- Teamlead
- HR в IT
- UX/UI-дизайн
Участников ждут интересные темы и спикеры, расширенные возможности для нетворкинга и развития партнёрских связей, а также насыщенная программа.
Присоединяйтесь к нам и станьте частью сибирского IT-сообщества.
Подробности и билеты — на сайте: https://gorod.it
До встречи в Томске!
📅 5–6 сентября 2025 года
📍 Томск, БКЗ (пл. Ленина, 12А)
Приглашаем вас принять участие в ежегодной конференции «Город IT».
На протяжении 15 лет конференция объединяет специалистов IT-отрасли, создавая эффективную площадку для обмена опытом, обсуждения актуальных трендов и установления деловых контактов.
Ключевые факты о конференции:
- Более 2 300 участников ежегодно
- Более 140 спикеров — экспертов-практиков из России и других стран
- Поддержка более 50 ведущих компаний отрасли
В 2025 году программа охватывает следующие направления:
- ML/Data Science/AI
- Backend (включая High Load)
- Frontend
- Тестирование
- Мобильная разработка
- Информационная безопасность
- Системная аналитика
- DevOps
- IT в медицине
- IT в электронике
- Менеджмент
- Teamlead
- HR в IT
- UX/UI-дизайн
Участников ждут интересные темы и спикеры, расширенные возможности для нетворкинга и развития партнёрских связей, а также насыщенная программа.
Присоединяйтесь к нам и станьте частью сибирского IT-сообщества.
Подробности и билеты — на сайте: https://gorod.it
До встречи в Томске!
Forwarded from Надежда Александровна
Присоединяйтесь к профессиональной конференция Merge в самом сердце России
Merge — конференция для всех представителей сферы IT, концентрация уникальных знаний и обмен опытом с экспертами со всей России.
Вместе с топовыми спикерами разберём реальные кейсы и актуальные темы. Никакой лишней теории, общеизвестных фактов и воды.
Конференция будет полезна для профессионалов всех уровней и направлений IT, собственников компаний и начинающих специалистов.
👉🏻Купить билеты EARLY BIRDS по минимальной цене, а также подать заявку на участие в качестве спикера можно на сайте события: https://clck.ru/3Mt7Zk
По промокоду MERGE73 скидка 10%.
Merge — конференция для всех представителей сферы IT, концентрация уникальных знаний и обмен опытом с экспертами со всей России.
Вместе с топовыми спикерами разберём реальные кейсы и актуальные темы. Никакой лишней теории, общеизвестных фактов и воды.
Конференция будет полезна для профессионалов всех уровней и направлений IT, собственников компаний и начинающих специалистов.
👉🏻Купить билеты EARLY BIRDS по минимальной цене, а также подать заявку на участие в качестве спикера можно на сайте события: https://clck.ru/3Mt7Zk
По промокоду MERGE73 скидка 10%.
🔥1
Forwarded from DevRel skladно говорит
DevRel-завтрак путешествует
Две новых точки на карте мероприятий сообщества: Самара и Оренбург!
24 июля собираемся с коллегами на завтрак в Самаре поболтать за едой про DevRel, HR-бренд и сообщества. Тут случилась стихийная самоорганизация из разговоров в Нижнем Новгороде, а я как раз в отпуске заеду в Самару, чтобы посмотреть местную архитектуру Модерна и музей.
25 июля Марк Шевченко, распорядитель* московских встреч, проводит ужин в Оренбурге в рамках Pre Party IT Fest Oren 2025. Нужно обязательно зарегистрироваться.
И на завтраке, и на ужине будем знакомиться, общаться, искать точки соприкосновения интересов и ресурсов для общих проектов, ну и просто планируем хорошо провести время.
Лично мне кажется очень важным знать тех, кто работает с теми же задачами, что и ты, калиброваться об других профессионалов, узнавать про чужие велосипеды, чтобы принимать взвешенные решения делать ли свой или все-таки пойти через “лучшие практики”, ну и просто понимать, чем живут компании и отрасль. Наша работа, как бы она ни называлась, достаточно расплывчата, а ресурсы обычно ограничены. Вместе мы можем шире посмотреть на свое профессиональное развитие и сделать больше. Поэтому, если вы хотите встречатьсяесть и сплетничать в своем городе, начать это делать точно стоит. Легче ли это будет начать с каким-то фреймворком по встречам? Напишите, если вас останавливает только его отсутствие.
*мы когда-то долго обсуждали, как можно перевести термин event host, и решили, что нам идеально подходит “распорядитель” в понимании XIX века.
Две новых точки на карте мероприятий сообщества: Самара и Оренбург!
24 июля собираемся с коллегами на завтрак в Самаре поболтать за едой про DevRel, HR-бренд и сообщества. Тут случилась стихийная самоорганизация из разговоров в Нижнем Новгороде, а я как раз в отпуске заеду в Самару, чтобы посмотреть местную архитектуру Модерна и музей.
25 июля Марк Шевченко, распорядитель* московских встреч, проводит ужин в Оренбурге в рамках Pre Party IT Fest Oren 2025. Нужно обязательно зарегистрироваться.
И на завтраке, и на ужине будем знакомиться, общаться, искать точки соприкосновения интересов и ресурсов для общих проектов, ну и просто планируем хорошо провести время.
Лично мне кажется очень важным знать тех, кто работает с теми же задачами, что и ты, калиброваться об других профессионалов, узнавать про чужие велосипеды, чтобы принимать взвешенные решения делать ли свой или все-таки пойти через “лучшие практики”, ну и просто понимать, чем живут компании и отрасль. Наша работа, как бы она ни называлась, достаточно расплывчата, а ресурсы обычно ограничены. Вместе мы можем шире посмотреть на свое профессиональное развитие и сделать больше. Поэтому, если вы хотите встречаться
*мы когда-то долго обсуждали, как можно перевести термин event host, и решили, что нам идеально подходит “распорядитель” в понимании XIX века.
❤2
Введение в 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
🔥1🤔1