Forwarded from Антиконференция Summer Merge
Предложение для всех, кто влюблен в IT и загородный отдых
14 февраля при покупке одного билета на самую летнюю IT-тусовку Summer Merge вы получаете от нас второй билет в подарок 🎁
Предложение ограничено и действует только 1 день.
📍Важно: обязательно укажите корректную почту, и мы вышлем на неё второй билет в течение недели.
Только вам решать, с кем провести незабываемый летний уикенд!
Антиконференция Summer Merge — это три дня продуктивного нетворкинга в окружении красивейших видов волжского залива.
Встречаемся 20-22 июня в эко-парке Русский Берег ❤️🔥
👉 Купить билет и узнать подробности
14 февраля при покупке одного билета на самую летнюю IT-тусовку Summer Merge вы получаете от нас второй билет в подарок 🎁
Предложение ограничено и действует только 1 день.
📍Важно: обязательно укажите корректную почту, и мы вышлем на неё второй билет в течение недели.
Только вам решать, с кем провести незабываемый летний уикенд!
Антиконференция Summer Merge — это три дня продуктивного нетворкинга в окружении красивейших видов волжского залива.
Встречаемся 20-22 июня в эко-парке Русский Берег ❤️🔥
👉 Купить билет и узнать подробности
🔥1
Поддержка команды, стресс-менеджмент, эффективность в кризис — ключевые задачи тимлида в эпоху турбулентности.
Как с этим справляться? Разбираемся на онлайн-конференции Podlodka Teamlead Crew (10-14 марта)🔥
Что ждать в программе:
📢 Как повысить эффективность команды, когда её требуют повысить - Астислав Божевольнов (Cardooworld) на примере реального кейса расскажет, как можно принять сложное решение, не сломаться под давлением и найти точки роста.
⚖ Как найти опору для себя, когда ты опора для команды - Дарья Шалагина (Точка) поделится проверенным методом самоподдержки для тимлидов в условиях высоких требований и перегрузок.
🚀Как поддерживать команду в тяжёлый момент - эксперты из Точки, Selectel, Туту и Инфосистемы Джет на примерах разберут, как помочь команде справляться с кризисами.
🎰 Рулетка кейсов: Когда тимлиду пора сваливать - Евгений Кот и Артём Малышев помогут разобраться в кризисных ситуациях. Анонимно делимся ситуацией, получаем честный разбор и совет — бежать или оставаться.
И многое другое! Билеты уже в продаже: https://podlodka.io/tlcrew
Как с этим справляться? Разбираемся на онлайн-конференции Podlodka Teamlead Crew (10-14 марта)🔥
Что ждать в программе:
📢 Как повысить эффективность команды, когда её требуют повысить - Астислав Божевольнов (Cardooworld) на примере реального кейса расскажет, как можно принять сложное решение, не сломаться под давлением и найти точки роста.
⚖ Как найти опору для себя, когда ты опора для команды - Дарья Шалагина (Точка) поделится проверенным методом самоподдержки для тимлидов в условиях высоких требований и перегрузок.
🚀Как поддерживать команду в тяжёлый момент - эксперты из Точки, Selectel, Туту и Инфосистемы Джет на примерах разберут, как помочь команде справляться с кризисами.
🎰 Рулетка кейсов: Когда тимлиду пора сваливать - Евгений Кот и Артём Малышев помогут разобраться в кризисных ситуациях. Анонимно делимся ситуацией, получаем честный разбор и совет — бежать или оставаться.
И многое другое! Билеты уже в продаже: https://podlodka.io/tlcrew
Регистрация
Узнаем об опасных местах и областях применения пакета unsafe. Обеспечим высокопроизводительную конкурентность в Go. А в рамках дискуссии узнаем, что нового появилось в Go 1.24 и как это повлияет разработку.
Офлайн-участников будет ждать демозона с «железом» для ЦОД и телеком-операторов, которое создают инженеры YADRO, технические интерактивы и подарки от компании.
● От мьютексов к lock-free: как обеспечить высокопроизводительную конкурентность в Go
На первый взгляд мьютексы кажутся простыми, но это не так. В своем докладе я предлагаю заглянуть «под капот» и разобраться, как они работают, почему не так легковесны, как кажется, и в каких случаях могут стать узким местом. Также рассмотрим альтернативу мьютексам — lock-free структуры — и обсудим, когда их использование может повысить производительность вашего приложения.
Доклад будет полезен тем, кто хочет глубже погрузиться в конкурентность в Go, разобраться в работе мьютексов и изучить доступные альтернативы.
Илья Уваркин, инженер-программист в департаменте разработки унифицированной системы хранения данных, YADRO
● Погружение в мир без правил с пакетом unsafe
Многие считают, что unsafe-код — это сложно или что он ведет к ошибкам. Так ли это?
Я расскажу о пакете unsafe, опасных местах и областях применения. На конкретных примерах мы увидим, как оптимизировать структуры, получать доступ к скрытым полям и преобразовывать данные для работы с промышленными протоколами. Рассмотрим основные компоненты пакета unsafe, затронем вопросы адресной арифметики и преобразования типов.
Нина Пакшина, Go-разработчик
● Go 1.24: Куда движется язык?
Что нового появилось в стандарте языка и как это повлияет разработку? Мы обсудим важнейшие изменения: от механизма отслеживания зависимостей до слабых указателей (weak pointers) в стандартной библиотеке. Разберемся, как новые возможности, такие как флаг -json, улучшенные финализаторы, пакет crypto/mlkem и многое другое могут изменить подход к разработке.
Даниил Подольский, эксперт по разработке ПО и один из лидеров внутреннего Go-сообщества, YADRO
Александр Иванов, старший инженер-программист, YADRO
Павел Агалецкий, ведущий инженер в платформе, AvitoTech
Игорь Панасюк, Go-разработчик, Yandex. Преподаватель, ИТМО
Узнаем об опасных местах и областях применения пакета unsafe. Обеспечим высокопроизводительную конкурентность в Go. А в рамках дискуссии узнаем, что нового появилось в Go 1.24 и как это повлияет разработку.
Офлайн-участников будет ждать демозона с «железом» для ЦОД и телеком-операторов, которое создают инженеры YADRO, технические интерактивы и подарки от компании.
● От мьютексов к lock-free: как обеспечить высокопроизводительную конкурентность в Go
На первый взгляд мьютексы кажутся простыми, но это не так. В своем докладе я предлагаю заглянуть «под капот» и разобраться, как они работают, почему не так легковесны, как кажется, и в каких случаях могут стать узким местом. Также рассмотрим альтернативу мьютексам — lock-free структуры — и обсудим, когда их использование может повысить производительность вашего приложения.
Доклад будет полезен тем, кто хочет глубже погрузиться в конкурентность в Go, разобраться в работе мьютексов и изучить доступные альтернативы.
Илья Уваркин, инженер-программист в департаменте разработки унифицированной системы хранения данных, YADRO
● Погружение в мир без правил с пакетом unsafe
Многие считают, что unsafe-код — это сложно или что он ведет к ошибкам. Так ли это?
Я расскажу о пакете unsafe, опасных местах и областях применения. На конкретных примерах мы увидим, как оптимизировать структуры, получать доступ к скрытым полям и преобразовывать данные для работы с промышленными протоколами. Рассмотрим основные компоненты пакета unsafe, затронем вопросы адресной арифметики и преобразования типов.
Нина Пакшина, Go-разработчик
● Go 1.24: Куда движется язык?
Что нового появилось в стандарте языка и как это повлияет разработку? Мы обсудим важнейшие изменения: от механизма отслеживания зависимостей до слабых указателей (weak pointers) в стандартной библиотеке. Разберемся, как новые возможности, такие как флаг -json, улучшенные финализаторы, пакет crypto/mlkem и многое другое могут изменить подход к разработке.
Даниил Подольский, эксперт по разработке ПО и один из лидеров внутреннего Go-сообщества, YADRO
Александр Иванов, старший инженер-программист, YADRO
Павел Агалецкий, ведущий инженер в платформе, AvitoTech
Игорь Панасюк, Go-разработчик, Yandex. Преподаватель, ИТМО
🔥3👍2
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://www.tgoop.com/performanceconf (если знаете таких специалистов — пересылайте им это сообщение).
Темы этого года:
▪️Нагрузочное тестирование
▪️Хаос инженеринг
▪️Оптимизация производительности и тюнинг
▪️Практики DevOps и CI\CD
▪️Управление командой и лидирование
▪️Практики SRE, мониторинга, обеспечение надежности систем, SLO
▪️Разбор реальных кейсов
▪️Тренды индустрии
▪️Использование ИИ для мониторинга, прогнозирования и анализа результатов тестирования
Ждем вас!
Подготовка к ежегодной 11-й конференции по нагрузочному тестированию (НТ) www.perfconf.ru набирает обороты.
Если вы — инженер или руководитель в области НТ и не просто хотите стать участником, а выступить с докладом и зарекомендовать себя как эксперта, поделиться своим опытом и повлиять на развитие отрасли, то ждем вас — пишите Ирине и вступайте в группу мероприятия https://www.tgoop.com/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-инженер — это тот, кто берёт на себя ответственность за качество.
Это профессия для взрослых. Для внимательных. Для тех, кто умеет задавать вопросы, первым замечать детали и не боится быть тем, кто «не соглашается с первым ответом».
Через 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