Prog.Msk • Channel – Telegram
Prog.Msk • Channel
537 subscribers
263 photos
3 videos
296 links
Воркшопы, доклады, статьи — всё о программировании, онлайн и офлайн.

https://www.youtube.com/@progmsk
https://vk.com/progmsk
https://prog.msk.ru
https://news.1rj.ru/str/progmsk
Download Telegram
Город 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

До встречи в Томске!
Forwarded from Merge
Присоединяйтесь к профессиональной конференция Merge в самом сердце России

Merge — конференция для всех представителей сферы IT, концентрация уникальных знаний и обмен опытом с экспертами со всей России.

Вместе с топовыми спикерами разберём реальные кейсы и актуальные темы. Никакой лишней теории, общеизвестных фактов и воды.

Конференция будет полезна для профессионалов всех уровней и направлений IT, собственников компаний и начинающих специалистов.

👉🏻
Купить билеты EARLY BIRDS по минимальной цене, а также подать заявку на участие в качестве спикера можно на сайте события: https://clck.ru/3Mt7Zk

По промокоду MERGE73 скидка 10%.
🔥1
DevRel-завтрак путешествует
Две новых точки на карте мероприятий сообщества: Самара и Оренбург!

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
🤔2🔥1
Друзья, мы готовы сообщить радостную новость!

Второй митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже совсем скоро 🔥

Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.

Спикеры на этой встрече:

- Юрий Минаев, архитектор 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 готовых механик
Чек-листы и шаблоны
Доступ в закрытый клуб

Регистрация
🔥C++ бывает разным!

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
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
🔥5👍1
Всем привет! Собираемся на IT-завтрак в воскресенье 24 августа в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.

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://news.1rj.ru/str/performanceconf
Вебинар с Дом.РФ: «Бот — нагрузочник»

📌28 августа в 18:00 (МСК)

Как превратить запуск регрессионных нагрузочных тестов из рутины в один клик?

Спойлер: с помощью Telegram-бота.

На вебинаре Киров Денис Евгеньевич (Дом.РФ) расскажет:

Почему решили автоматизировать запуск регрессий именно через бота
Как устроен этот помощник: архитектура, логика, сценарии
Какие результаты внедрение уже дало — в цифрах, времени и удобстве
Что учесть, если хотите сделать такое же решение у себя

Формат: онлайн, бесплатно

📎 Зарегистрироваться и получить ссылку.

Если вы автоматизируете перформанс или просто хотите наглядный пример удачного «тестового ИИ» — приходите!
Please open Telegram to view this post
VIEW IN TELEGRAM
Митап 2 сентября: DevOps Governance — когда нужен, а когда нет

Уже в этот вторник в 18:00 (МСК) приглашаем вас на бесплатный онлайн-митап, где Александр Крылов (CPO продукта «Штурвал», Лаборатория Числитель) разложит по полочкам, что из себя представляет подход DevOps Governance — и зачем он вообще нужен.

Обсудим:

▪️Почему внедрение governance — это не всегда «по учебнику»
▪️Какие проблемы он реально помогает решать
▪️Какие, наоборот, только усугубляет
▪️Когда DevOps Governance может оказаться вредным

📍Формат: онлайн
📎Участие бесплатное, по регистрации: perfconf.ru

Если вы отвечаете за процессы, платформенные решения или управленческие практики в ИТ — это must-have.
Please open Telegram to view this post
VIEW IN TELEGRAM
Всем привет! Собираемся на IT-завтрак в воскресенье 7 сентября в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.

https://yandex.com/maps/-/CDXzzRk8

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
4
Forwarded from Marina Stepanova
🚀 Воркшоп «Игра в трансформацию»
📅 Дата: 23 сентября, вторник
🕒 Время: 19:00 – 21:00
📍 Место: ГНИВЦ, Москва, Кузнецкий мост, д. 19, стр. 1

🔍 Представьте: вы — совет директоров компании «Ромашка». На дворе 2026 год. Старые процессы не работают, бюджеты урезают, конкуренты наступают. Ваша задача — провести компанию через трансформацию и вывести её в новый мир.

🎯 Что вас ждёт:

⚫️ Реальные управленческие дилеммы: какой фреймворк выбрать, как выстроить QA, где урезать расходы, а где наоборот стоит инвестировать.
⚫️ Неожиданные вызовы: кризисы, внешние события и ограничения, которые проверят вашу стратегию на прочность.
⚫️ Командная работа и обсуждения: каждое решение влияет на финансы, скорость и качество компании.

Каждое решение повлияет на три ключевых параметра:
💎 Финансы
⚡️ Скорость
Качество


Количество мест ограничено. Зарегистрируйтесь заранее: ссылка на регистрацию
Вопросы? Напишите организатору: @mvs_mv
Please open Telegram to view this post
VIEW IN TELEGRAM
1🔥1
Приглашаем на вебинар про оптимизацию в GameDev!

Вместе с экспертами из игровых студий — Forgotten Empires и Playrix— мы обсудим практические советы по улучшению проектов.

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

📍25 сентября в 16:00

Присоединяйтесь по ссылке 🔗

#вебинар #gamedev
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: Подать доклад | Общалка и вопросы
Please open Telegram to view this post
VIEW IN TELEGRAM
👍2👀1
Вы ждали?! Мы сделали! 🔥

Третий митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже скоро!

🗓 А именно 4 октября в Москве

Что вас ждет на этот раз:
1. Доклад "Безопасная работа с массивами? Нет, не слышали".
2. Квиз++, с помощью которого проверим, насколько вы владеете С++

Помимо этого будет крутое общение с экспертами, эксклюзивный мерч и вкусная пицца ❤️ Приходите! Будет круто!

Регистрация и подробности по ссылке 🔗

#мероприятия #митап #cpp
Forwarded from Galina
Podlodka Teamlead Crew — онлайн‑конференции по актуальным темам для руководителей разработки.

Здесь за одну неделю можно получить прикладную пользу в удобном формате утренних и вечерних сессий.

Новый сезон конференции стартует 6 октября и посвящен Продвинутому тимлидству: компетенциям и навыкам, которые могут привести к росту в профессии и карьере.

Что в программе?

Как строить процессы без микроменеджмента и бюрократии, а иногда и с ними, расскажет практик и эксперт Теории Ограничений Александра Брызгалова.

— Когда развитие команды реально прокачивает навыки, а когда нет, объяснит организационный психолог Дмитрий Болдырев.

— Как выйти из зоны комфорта и влиять на бизнес с помощью Shadow Work Canvas, разберёт коуч IT‑руководителей Юлия Аравина.

— Зачем нужен внутренний бренд команды, как его развивать и где прочертить границу с личным брендом, поделится Максим Гришутинин, Platform Lead ОККО

Программа Teamlead Crew - это недельная концентрация пользы и практики

Подробности и билеты: https://podlodka.io/tlcrew
Всем привет! Собираемся на IT-завтрак в воскресенье 5 октября в 9:30 в Бруснике на Китай-городе.

https://yandex.ru/maps/-/CLBa4QNz

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
👍5
А теперь время хорошей новости! 🔥

Друзья, коллеги, Java-разработчики, приглашаем вас на наш митап — Карты, деньги, JVM!

На митапе обсудим внутренности JVM и компилятора: разберём, как JVM оптимизирует динамические вызовы, чем MethodHandle лучше рефлексии, и как компилятор обрабатывает код — от фронтенда до практического применения.

Вас ждут два интересных доклада от разработчиков PVS-Studio, нетворкинг и вкусная пицца ❤️

🗓 30 октября
📍Санкт-Петербург + онлайн

Подробное расписание и регистрация по ссылке 🔗

#мероприятия #митап #java