SAST как Quality Gate
13 марта 14:00
Использование SAST в качестве Quality Gate — это не просто тренд, а необходимость для современных разработчиков, стремящихся создавать надежные и безопасные приложения. Узнайте, как внедрение этих практик может значительно повысить уровень вашего проекта.
Регистрация
13 марта 14:00
Использование SAST в качестве Quality Gate — это не просто тренд, а необходимость для современных разработчиков, стремящихся создавать надежные и безопасные приложения. Узнайте, как внедрение этих практик может значительно повысить уровень вашего проекта.
Регистрация
🤔1
13 марта, 19:00
Самара, Сигнал Ивент Холл (ул. Лесная, 23. корпус 2)
Применение JMeter для проведения нагрузочного тестирования — Василий Науменко, руководитель группы по тестированию Т1
О том, как мы применяли инструмент JMeter для нагрузочного тестирования одного из наших клиентов, трудностях в процессе и положительных итогах. А также — об оценке производительности системы по методикое Apdex.
Вредные советы: как правильно внедрить Quality Gate — Антон Васильев, менеджер проектов Т1
Антон расскажет, что такое Quality Gate, как правильно внедрить его в проекты, какие метрики использовать и как именно он защитит вас от пятничных вечерних релизов.
Когда токены летают по сети: автоматизация сценариев без физических ограничений — Алексей Глебов, программист в InfoTeCS
Узнаем о личном опыте Алексея по реализации тестов с токенами, об использованных инструментах (pkcs11-tool, Python/bash и других), а ещё — об особенностях и ограничениях такого формата.
Внедрение автоматизации тестирования в проект с нуля — Игорь Сидоров, руководитель группы по автоматизированному тестированию Т1
Для каких задач понадобится автоматизированное тестирование, как создать и настроить для него окружение и интегрировать в процесс разработки? Разберёмся с докладом Игоря Сидорова на примерах реальных кейсов.
Всех QA, и не только, ждём в Самаре! До встречи
#апдейтТ1@t1career
Please open Telegram to view this post
VIEW IN TELEGRAM
👍1🔥1
Всем привет! Собираемся на IT-завтрак в воскресенье 16 марта в 9:30 в Бруснике на Чистых прудах.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе обсудим IT-новости Москвы.
По желанию потом можно переместиться в Lion's Head Pub (https://lhpub.ru/).
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе обсудим IT-новости Москвы.
По желанию потом можно переместиться в Lion's Head Pub (https://lhpub.ru/).
👍7
TechMeetup #8 👋 Java | JVM x T1 ЛАМПА
День уже длинный, тепло, на улице греет солнышко, природа просыпается, вот и мы тоже решили вылезти из зимней спячки и провести весенний день 17 апреля не только с удовольствием, но и с пользой. Очередной TechMeetup #8 по Java и JVM стеку!
➡️ Если у вас есть идея для доклада и вы готовы выступить — сейчас самое время. Если нужен знак судьбы, то подойдет любой из символов этого сообщения, включая пробелы!
📎 Обращайтесь к @anna_savinovskikh или @SayPoj, если хотите поделиться интересной темой.
💡 Даже если у есть только идея, или вы столкнулись с интересными фактами, но не можете оформить их в доклад, не стесняйтесь писать.
Мы поможем превратить задумку в полноценный доклад и поддержим на всех этапах: от идеи до выступления.
Вот некоторые детали о грядущем митапе:
🗓 Когда: 17 апреля, 19:00
📍 Где: Нижний Новгород
💻 Онлайн: не будет, но будет запись
⭐️ Программа всё ещё формируется, и список докладов будет пополняться. Ждем ваши отклики!
Следите за будущими анонсами, чтобы не пропустить регистрацию.
---
👥 Тоже ждете или у вас возникли вопросы? Присоединяйтесь к нашей уютной группе TechCommon/Java | JVM 👈
Следи за будущими анонсами на основном канале @tech_meetup или тут в @tech_meetup_jv если интересен только JVM стек❤
День уже длинный, тепло, на улице греет солнышко, природа просыпается, вот и мы тоже решили вылезти из зимней спячки и провести весенний день 17 апреля не только с удовольствием, но и с пользой. Очередной TechMeetup #8 по Java и JVM стеку!
Мы поможем превратить задумку в полноценный доклад и поддержим на всех этапах: от идеи до выступления.
Вот некоторые детали о грядущем митапе:
Следите за будущими анонсами, чтобы не пропустить регистрацию.
---
Следи за будущими анонсами на основном канале @tech_meetup или тут в @tech_meetup_jv если интересен только JVM стек
Please open Telegram to view this post
VIEW IN TELEGRAM
👍3
XIII IT-конференция «Стачка»
18-19 апреля в Ульяновске соберутся 2500+ IT-специалистов со всей страны: разработчики, маркетологи, дизайнеры, топ-менеджеры и предприниматели.
По промокоду progmsk действует скидка 15% на билет.
250+ докладов по 4 ключевым направлениям в 45 секциях:
• Разработка
• Управление
• Дизайн и контент
• Digital-маркетинг
Выступят спикеры из ведущих компаний, таких как Сбер, Яндекс, Ozon, VK, Альфа-Банк, X5 Digital, МТС Digital, Tilda и др.
Вот некоторые спикеры, которые выступят на «Стачке»:
→ Семён Левенсон, руководитель в Яндекс Маркет. Доклад: «Как я старый сайт на современные рельсы переносил»
→ Александр Туник, руководитель продуктового направления в Рейтинге Рунета. Дебаты на тему: «– Мы можем разработать проект любой сложности для любого заказчика! – Нет, не можете».
→ Митя Осадчук, директор по UX/UI в Сбере. Доклад: «Как объединить ДНК бренда и цифрового продукта».
→ Анна Бочканова, Product owner в Яндекс Метрика. Доклад: «Coming soon: как Яндекс Тег Менеджер упростит разметку событий для рекламы».
Что ещё вас ждет?
→ Нетворкинг-события;
→ Мастермайнды;
→ 2-х часовые мастер-классы от экспертов по направлениям конференции;
→ Экспертная зона — возможность встретиться с профессионалом «один на один».
→ Зажигательное афтепати, чтобы отдохнуть от продуктивного образовательного дня и неформально пообщаться с коллегами.
🚀Специальный гость «Стачки» – Антон Шкаплеров, космонавт-испытатель, четырежды побывавший в космосе.
Антон Шкаплеров – российский космонавт-испытатель отряда ФГБУ «НИИ ЦПК имени Ю. А. Гагарина», Герой Российской Федерации, кандидат технических наук, полковник ВКС России.
Программа, информация о спикерах и билеты доступны на сайте.
НетВоркинг - все на «Стачку»!
18-19 апреля в Ульяновске соберутся 2500+ IT-специалистов со всей страны: разработчики, маркетологи, дизайнеры, топ-менеджеры и предприниматели.
По промокоду progmsk действует скидка 15% на билет.
250+ докладов по 4 ключевым направлениям в 45 секциях:
• Разработка
• Управление
• Дизайн и контент
• Digital-маркетинг
Выступят спикеры из ведущих компаний, таких как Сбер, Яндекс, Ozon, VK, Альфа-Банк, X5 Digital, МТС Digital, Tilda и др.
Вот некоторые спикеры, которые выступят на «Стачке»:
→ Семён Левенсон, руководитель в Яндекс Маркет. Доклад: «Как я старый сайт на современные рельсы переносил»
→ Александр Туник, руководитель продуктового направления в Рейтинге Рунета. Дебаты на тему: «– Мы можем разработать проект любой сложности для любого заказчика! – Нет, не можете».
→ Митя Осадчук, директор по UX/UI в Сбере. Доклад: «Как объединить ДНК бренда и цифрового продукта».
→ Анна Бочканова, Product owner в Яндекс Метрика. Доклад: «Coming soon: как Яндекс Тег Менеджер упростит разметку событий для рекламы».
Что ещё вас ждет?
→ Нетворкинг-события;
→ Мастермайнды;
→ 2-х часовые мастер-классы от экспертов по направлениям конференции;
→ Экспертная зона — возможность встретиться с профессионалом «один на один».
→ Зажигательное афтепати, чтобы отдохнуть от продуктивного образовательного дня и неформально пообщаться с коллегами.
🚀Специальный гость «Стачки» – Антон Шкаплеров, космонавт-испытатель, четырежды побывавший в космосе.
Антон Шкаплеров – российский космонавт-испытатель отряда ФГБУ «НИИ ЦПК имени Ю. А. Гагарина», Герой Российской Федерации, кандидат технических наук, полковник ВКС России.
Программа, информация о спикерах и билеты доступны на сайте.
НетВоркинг - все на «Стачку»!
Введение в Coq: формальные методы и зависимые типы
9 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Первый воркшоп будет посвящён основам программирования на языке Coq.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер
✔️либо воспользуйтесь онлайн-IDE
Материалы к воркшопам можно найти в репозитории.
Ждём вас на первом воркшопе в среду 9 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
9 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Первый воркшоп будет посвящён основам программирования на языке Coq.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер
✔️либо воспользуйтесь онлайн-IDE
Материалы к воркшопам можно найти в репозитории.
Ждём вас на первом воркшопе в среду 9 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
🔥6👍3
Forwarded from TechMeetup | Java, JVM
Обратный отсчет до TechMeetup #8 👋 Java | JVM x T1 ЛАМПА начался 🎉
🗓 Когда: 23 апреля 2025, с 18:00 до 22:00 (офлайн).
💻 Онлайн: не будет, но будет запись (yb: @tech_common)
📍 Где: Нижний Новгород, ул. Зеленский съезд, д.4 (пространство Forself).
📌 Регистрация доступна по этой ссылке.
Участиебесценное бесплатное, но количество мест ограничено. Мероприятие будет только офлайн!
В форме регистрации выбирай кнопку "Очное+Онлайн"
🔊 В программе мероприятия:
🔘 Анна Савиновских, java-разработчик в Т1, расскажет о боли и ошибках переезда с одной базы на другую;
🔘 С Олегом Зайцевым, архитектором платформенных решений в Т1, разберем, когда стоит выбрать Spring MVC, а когда — WebFlux ;
🔘 Аниса Мордвинов, QA в Альфа-Банке, расскажет о том, как писать поменьше сделать unit-тесты более осмысленными и менее формальными;
🔘 А с Константином Волоховским, руководителем java-направления в PVS Studio, разберем графовые структуры, оптимизации и алгоритмы;
🔗 Подробнее о докладах, как обычно, в будущих постах или на странице мероприятия.
🎉 Полезные доклады, актуальные тренды и технологии и афтепати с живым общением с коллегами по цеху!
TechMeetup | Общалка и вопросы | Записи
Нижний, техмитап, т1.
Участие
TechMeetup | Общалка и вопросы | Записи
Please open Telegram to view this post
VIEW IN TELEGRAM
Всем привет! Собираемся на IT-завтрак в воскресенье 13 апреля в 9:30 в Бруснике на Чистых прудах.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе обсудим IT-новости Москвы.
По желанию потом можно переместиться в Lion's Head Pub (https://lhpub.ru/).
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе обсудим IT-новости Москвы.
По желанию потом можно переместиться в Lion's Head Pub (https://lhpub.ru/).
👍4🔥2🤣1
Друзья,
Подготовка к ежегодной 11-й конференции по нагрузочному тестированию (НТ) www.perfconf.ru набирает обороты.
Если вы — инженер или руководитель в области НТ и не просто хотите стать участником, а выступить с докладом и зарекомендовать себя как эксперта, поделиться своим опытом и повлиять на развитие отрасли, то ждем вас — пишите Ирине и вступайте в группу мероприятия https://news.1rj.ru/str/performanceconf (если знаете таких специалистов — пересылайте им это сообщение).
Темы этого года:
▪️Нагрузочное тестирование
▪️Хаос инженеринг
▪️Оптимизация производительности и тюнинг
▪️Практики DevOps и CI\CD
▪️Управление командой и лидирование
▪️Практики SRE, мониторинга, обеспечение надежности систем, SLO
▪️Разбор реальных кейсов
▪️Тренды индустрии
▪️Использование ИИ для мониторинга, прогнозирования и анализа результатов тестирования
Ждем вас!
Подготовка к ежегодной 11-й конференции по нагрузочному тестированию (НТ) www.perfconf.ru набирает обороты.
Если вы — инженер или руководитель в области НТ и не просто хотите стать участником, а выступить с докладом и зарекомендовать себя как эксперта, поделиться своим опытом и повлиять на развитие отрасли, то ждем вас — пишите Ирине и вступайте в группу мероприятия https://news.1rj.ru/str/performanceconf (если знаете таких специалистов — пересылайте им это сообщение).
Темы этого года:
▪️Нагрузочное тестирование
▪️Хаос инженеринг
▪️Оптимизация производительности и тюнинг
▪️Практики DevOps и CI\CD
▪️Управление командой и лидирование
▪️Практики SRE, мониторинга, обеспечение надежности систем, SLO
▪️Разбор реальных кейсов
▪️Тренды индустрии
▪️Использование ИИ для мониторинга, прогнозирования и анализа результатов тестирования
Ждем вас!
Введение в Coq: формальные методы и зависимые типы
15 апреля (Вт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Второй воркшоп посвящён простым индуктивным типам.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на первом воркшопе во вторник 15 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
15 апреля (Вт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Второй воркшоп посвящён простым индуктивным типам.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на первом воркшопе во вторник 15 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
🔥2
Введение в Coq: формальные методы и зависимые типы
23 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Третий воркшоп углябит наше понимание индуктивных типов и связанных с ними доказательств.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на третьем воркшопе в среду 23 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
23 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Третий воркшоп углябит наше понимание индуктивных типов и связанных с ними доказательств.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на третьем воркшопе в среду 23 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Forwarded from Команда T1
23 апреля встречаемся в Нижнем Новгороде и уютной компанией java-разработчиков и QA-инженеров слушаем доклады:
Анна Савиновских, java-разработчик в Т1
Олег Зайцев, архитектор платформенных решений в Т1
Аниса Мордвинова, QA в Альфа-Банке
Константин Волоховский, руководитель java-направления в PVS Studio
🕐 23 апреля, 19:00📌 Нижний Новгород, Зеленский съезд, д. 4 (пространство Forself)
Регистрируйтесь по ссылке на офлайн-мероприятие, отметив кнопку «Очное+Онлайн» в заявке!
#регионыТ1@t1career
Please open Telegram to view this post
VIEW IN TELEGRAM
Введение в Coq: формальные методы и зависимые типы
30 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Четвёртый воркшоп посвятим спискам, деревьям и математической индукции.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на четвёртом воркшопе в среду 30 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
30 апреля (Ср), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Четвёртый воркшоп посвятим спискам, деревьям и математической индукции.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на четвёртом воркшопе в среду 30 апреля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Всем привет! Собираемся на IT-завтрак в воскресенье 4 мая в 9:30 в Бруснике на Чистых прудах. Для веранды всё ещё холодно, поэтому пока сидим внутри.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
🔥4
Forwarded from BlackBoxSchool | QA & IT обучение
Я хочу, чтобы про профессию QA-инженера знали так же, как про бухгалтера, врача или учителя.
Чтобы её знали, понимали и ценили — не только в айтишных кругах, но и в обычных семьях.
Чтобы на вопрос: «Кем ты работаешь?» можно было с гордостью ответить:
— и не добавлять никаких пояснений.
Это отдельная, важная и нужная роль в IT, без которой ни один продукт не выходит в люди. QA-инженер — это тот, кто берёт на себя ответственность за качество.
Это профессия для взрослых. Для внимательных. Для тех, кто умеет задавать вопросы, первым замечать детали и не боится быть тем, кто «не соглашается с первым ответом».
Через 2 дня — я проведу вебинар, который готовила долго.
Собрала туда всё: и боль новичков, и честные ответы, и пошаговый план.
7 мая в 18:00 (по МСК)
Бесплатный вебинар:
«QA-инженер с нуля: как за 3 месяца освоить IT-профессию и выйти на доход от 80 000 ₽»
Если вы хоть раз чувствовали, что хотите перемен, но не знаете, с чего начать — приходите.
📩 Ссылка на регистрацию — > https://bbschool.ru/vebinar
Расскажите кому-то, кому это может быть важно. Потому что для кого-то — это не просто профессия. Это — шанс.
Чтобы её знали, понимали и ценили — не только в айтишных кругах, но и в обычных семьях.
Чтобы на вопрос: «Кем ты работаешь?» можно было с гордостью ответить:
«Я QA-инженер»
— и не добавлять никаких пояснений.
Это отдельная, важная и нужная роль в IT, без которой ни один продукт не выходит в люди. QA-инженер — это тот, кто берёт на себя ответственность за качество.
Это профессия для взрослых. Для внимательных. Для тех, кто умеет задавать вопросы, первым замечать детали и не боится быть тем, кто «не соглашается с первым ответом».
Через 2 дня — я проведу вебинар, который готовила долго.
Собрала туда всё: и боль новичков, и честные ответы, и пошаговый план.
7 мая в 18:00 (по МСК)
Бесплатный вебинар:
«QA-инженер с нуля: как за 3 месяца освоить IT-профессию и выйти на доход от 80 000 ₽»
Если вы хоть раз чувствовали, что хотите перемен, но не знаете, с чего начать — приходите.
📩 Ссылка на регистрацию — > https://bbschool.ru/vebinar
Расскажите кому-то, кому это может быть важно. Потому что для кого-то — это не просто профессия. Это — шанс.
👍3
После ухода JetBrains и Microsoft из России, у нас не осталось мощных IDE для разработки, так что многие программисты стали искать альтернативу.
В то же время многие годы существуют полюбившиеся программистам текстовые редакторы — в первую очередь vim и emacs. Могут ли они заменить IDE? Попробуем разобраться.
✔️ Про редактор vim расскажет Дмитрий Дзюба. Дмитрий фронтендер, пишет на JS и использует vim уже много лет. Из его доклада мы узнаем об истории vim и познакомимся с современной версией редактора — neovim.
✔️ Илья Коновалов, системный программист, пишущий на C, но предпочитающий помогать писать другим, познакомит нас с редактором emacs и покажет несколько нетривиальных примеров ввода и обработки текста.
✔️ Про самый поздний в представленном ряду, но один из самых популярных VS Code, расскажет Станислав Ляхнович, программист на C++ и Python. Мы увидим, что VS Code вполне заменяет собой IDE, обеспечивая такие возможности, как подсказки, автодополнение и отладка.
Место встречи — второй этаж Freedom Bar, который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 14 мая с 19:30 и до упора.
➡️Зарегистрироваться на митап
В то же время многие годы существуют полюбившиеся программистам текстовые редакторы — в первую очередь vim и emacs. Могут ли они заменить IDE? Попробуем разобраться.
Место встречи — второй этаж Freedom Bar, который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 14 мая с 19:30 и до упора.
➡️Зарегистрироваться на митап
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥7🤡1
Meetup MskVue.js #13
📍 Москва
⏰ чт, 29 май 2025, 19:00 (+0300)
📺 Трансляция
В 13-ый раз команда сообщества соберет единомышленников и на этот раз в стенах Lamoda Tech!
Вас ждут 3 доклада от опытных спикеров, розыгрыш мерча и просто тонна общения с крутыми разрабами 🙂
Совсем скоро мы представим спикеров в своем сообществе MSK Vue js в ТГ, поэтому самое время вступить, чтобы не пропустить новости митапа 🙂
А еще самое время зарегистрироваться на митап и забить место в своих календариках, чтобы не пропустить этот движ, ведь количество мест ограничено.
#vue
Подписывайтесь на новые мероприятия в боте @NetworklyBot
📍 Москва
⏰ чт, 29 май 2025, 19:00 (+0300)
📺 Трансляция
В 13-ый раз команда сообщества соберет единомышленников и на этот раз в стенах Lamoda Tech!
Вас ждут 3 доклада от опытных спикеров, розыгрыш мерча и просто тонна общения с крутыми разрабами 🙂
Совсем скоро мы представим спикеров в своем сообществе MSK Vue js в ТГ, поэтому самое время вступить, чтобы не пропустить новости митапа 🙂
А еще самое время зарегистрироваться на митап и забить место в своих календариках, чтобы не пропустить этот движ, ведь количество мест ограничено.
#vue
Подписывайтесь на новые мероприятия в боте @NetworklyBot
Введение в Coq: формальные методы и зависимые типы
12 мая преля (Пн), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Пятый воркшоп посвятим бинарным деревьям и разберём нетривиальный пример доказательства.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на пятом воркшопе в понедельник 12 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
12 мая преля (Пн), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Пятый воркшоп посвятим бинарным деревьям и разберём нетривиальный пример доказательства.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на пятом воркшопе в понедельник 12 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
🦄2
Forwarded from Merge
Антиконференция "Summer Merge"
SUMMER MERGE 2025 — та самая летняя айти-тусовка, которую вы ждали. Это место, где соберутся айтишники, чтобы вырваться из рутины и отдохнуть в кругу единомышленников.
Живое общение, свежий воздух, берег Волги, палатка в лесу и никаких клиентов и правок— что ещё нужно, чтобы максимально погрузиться в digital-детокс?
Если вы тоже ужасно устали от офиса или удаленки и мечтаете отвлечься хотя бы на пару дней, тогда встречаемся в эко-парке «Русский берег». Лучше места для чилла на природе просто не найти!
👉 Купить билет со скидкой 10% по промокоду MERGE73
SUMMER MERGE 2025 — та самая летняя айти-тусовка, которую вы ждали. Это место, где соберутся айтишники, чтобы вырваться из рутины и отдохнуть в кругу единомышленников.
Живое общение, свежий воздух, берег Волги, палатка в лесу и никаких клиентов и правок— что ещё нужно, чтобы максимально погрузиться в digital-детокс?
Если вы тоже ужасно устали от офиса или удаленки и мечтаете отвлечься хотя бы на пару дней, тогда встречаемся в эко-парке «Русский берег». Лучше места для чилла на природе просто не найти!
👉 Купить билет со скидкой 10% по промокоду MERGE73
❤3
Введение в Coq: формальные методы и зависимые типы
29 мая (Чт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Шестой воркшоп посвятим индуктивным пропозициям.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на шестом воркшопе в четверг 29 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
29 мая (Чт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Шестой воркшоп посвятим индуктивным пропозициям.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на шестом воркшопе в четверг 29 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
🤔1
Для бегунов
- Новый парк и новые трассы. В Мещерском парке много деревьев, а значит и много тени — бежать дистанцию будет проще.
- Каждый бегун получит классную футболку от бренда GRI — нашего спортивного партнера.
- Мы обновили дизайн медалей — ваша коллекция может пополниться еще одной, непохожей на остальные.
Для гостей фестиваля
- Живой концерт известных групп: на сцене выступят Найк Борзов, «Отпетые мошенники», «Пропаганда», и «Краски».
- Спортивные площадки: волейбол, бадминтон, йога, фитнес, зумба и т. д.
- Активности от партнеров: игры, мастер-классы, розыгрыши призов и т. д.
- Фудкорт: еда и освежающие напитки будут весь день.
Билеты можно купить на сайте как физическому, так и юридическому лицу: https://runit.digital
- Новый парк и новые трассы. В Мещерском парке много деревьев, а значит и много тени — бежать дистанцию будет проще.
- Каждый бегун получит классную футболку от бренда GRI — нашего спортивного партнера.
- Мы обновили дизайн медалей — ваша коллекция может пополниться еще одной, непохожей на остальные.
Для гостей фестиваля
- Живой концерт известных групп: на сцене выступят Найк Борзов, «Отпетые мошенники», «Пропаганда», и «Краски».
- Спортивные площадки: волейбол, бадминтон, йога, фитнес, зумба и т. д.
- Активности от партнеров: игры, мастер-классы, розыгрыши призов и т. д.
- Фудкорт: еда и освежающие напитки будут весь день.
Билеты можно купить на сайте как физическому, так и юридическому лицу: https://runit.digital
🔥2