II
А запись или трансляция будет?
Будет запись
Size: a a a
2019 September 12
MK
Будет запись
👍
AK
ID:
Всем привет!👋
В этот раз у нас будет супер доклад, который, мы уверены, вызовет отклик в сердцах у многих участников сообщества.
Также пишите любому из администраторов сообщества, если у вас есть идеи для Lightning докладов! Администраторов можно найти у нас в уютном чатике (https://t.me/spbpython)
О докладе: Как перестать писать end-to-end тесты и начать синтезировать их.
Докладчик: Артем Страхов
Property-based тестирование давно и успешно применяется для генерации юнит тестов (см. hypothesis, например). Но использовать его в высокоуровневых тестах не так просто. Во-первых, нужно определиться с инвариантами. Во-вторых, понять как эффективно генерировать данные (shrinking не подходит). Я покажу как используя зависимые типы можно построить модель системы, на основе которой решить вышеперечисленные проблемы.
Место встречи: офис EPAM, Заставская ул., 22 корп. 2.
Meetup.com: https://www.meetup.com/ru-RU/spbpython/events/qvcrgryzmbwb/
Для прохода в офис необходимо указать ФИО в форме https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgc
В этот раз у нас будет супер доклад, который, мы уверены, вызовет отклик в сердцах у многих участников сообщества.
Также пишите любому из администраторов сообщества, если у вас есть идеи для Lightning докладов! Администраторов можно найти у нас в уютном чатике (https://t.me/spbpython)
О докладе: Как перестать писать end-to-end тесты и начать синтезировать их.
Докладчик: Артем Страхов
Property-based тестирование давно и успешно применяется для генерации юнит тестов (см. hypothesis, например). Но использовать его в высокоуровневых тестах не так просто. Во-первых, нужно определиться с инвариантами. Во-вторых, понять как эффективно генерировать данные (shrinking не подходит). Я покажу как используя зависимые типы можно построить модель системы, на основе которой решить вышеперечисленные проблемы.
Место встречи: офис EPAM, Заставская ул., 22 корп. 2.
Meetup.com: https://www.meetup.com/ru-RU/spbpython/events/qvcrgryzmbwb/
Для прохода в офис необходимо указать ФИО в форме https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgc
Хммм, че нить типа идрис эмитит z3 код, из которого можно построить страты для гипотезис?)
AK
Придётся идти
D
Привет)
Подскажите, пожалуйста, хорошую обучающую площадку по питону, где много практики. И в идеале, чтобы эта практика все нарастала и нарастала, до уровня реалистичных проектов. Совсем круто, чтобы ещё и геймификация была :)
Базовую теорию уже знаю (как минимум, на уровне курса степика https://stepik.org/course/Программирование-на-Python-67), хочется изучать глубже и именно на практике, но пока чувствую потребность делать это на площадке, с гайдом (в идеале, с ментором :), а не самостоятельно.
Знаю про hyperskill, идея огонь, но там пока с питоном все плохо (самые самые основы языка, и проектов можно сказать что и нет).
Область применения: больше всего интересует анализ данных (дорасти до уровня, когда могу взять реальную задачу и решить её), но попробовать веб тоже интересно было бы.
Ещё как вариант рассматриваю опцию с программированием под какие-то железки, но тут пока очень слабо представляю и область, и применим ли там питон.
Подскажите, пожалуйста, хорошую обучающую площадку по питону, где много практики. И в идеале, чтобы эта практика все нарастала и нарастала, до уровня реалистичных проектов. Совсем круто, чтобы ещё и геймификация была :)
Базовую теорию уже знаю (как минимум, на уровне курса степика https://stepik.org/course/Программирование-на-Python-67), хочется изучать глубже и именно на практике, но пока чувствую потребность делать это на площадке, с гайдом (в идеале, с ментором :), а не самостоятельно.
Знаю про hyperskill, идея огонь, но там пока с питоном все плохо (самые самые основы языка, и проектов можно сказать что и нет).
Область применения: больше всего интересует анализ данных (дорасти до уровня, когда могу взять реальную задачу и решить её), но попробовать веб тоже интересно было бы.
Ещё как вариант рассматриваю опцию с программированием под какие-то железки, но тут пока очень слабо представляю и область, и применим ли там питон.
D
Еще нашла и пробую сейчас datacamp.com
Вроде по описанию очень похоже на то, что я ищу, но пока не понимаю, как оно на деле. Вроде бы там бесплатно только введение в Питон, а остальное доступно по платной подписке.
Есть ли у кого-то опыт обучения там?
Буду рада любым отзывам и комментариям по этой площадке.
Вроде по описанию очень похоже на то, что я ищу, но пока не понимаю, как оно на деле. Вроде бы там бесплатно только введение в Питон, а остальное доступно по платной подписке.
Есть ли у кого-то опыт обучения там?
Буду рада любым отзывам и комментариям по этой площадке.
SK
Еще нашла и пробую сейчас datacamp.com
Вроде по описанию очень похоже на то, что я ищу, но пока не понимаю, как оно на деле. Вроде бы там бесплатно только введение в Питон, а остальное доступно по платной подписке.
Есть ли у кого-то опыт обучения там?
Буду рада любым отзывам и комментариям по этой площадке.
Вроде по описанию очень похоже на то, что я ищу, но пока не понимаю, как оно на деле. Вроде бы там бесплатно только введение в Питон, а остальное доступно по платной подписке.
Есть ли у кого-то опыт обучения там?
Буду рада любым отзывам и комментариям по этой площадке.
На hackerrank есть пайтон трэк
SK
Бесплатно разумеется
AD
на степике второй курс ещё есть. и там же курс web технологии. он по джанге
D
На hackerrank есть пайтон трэк
Спасибо, не слышала про них, посмотрю!
D
на степике второй курс ещё есть. и там же курс web технологии. он по джанге
Второй, наверно, тоже буду брать. Но там, кмк, мало практики. А вот про веб не видела, поищу, спасибо
AD
там теория, что тоже немаловажно) во втором, например, хорошо дают ООП, чего в первом нет совсем. а в веб технологиях как раз нужно небольшой проект написать
D
там теория, что тоже немаловажно) во втором, например, хорошо дают ООП, чего в первом нет совсем. а в веб технологиях как раз нужно небольшой проект написать
Теорию ООП я вроде и так хорошо знаю, но согласна, это важный аспект! Вообще, у меня сложилось впечатление, что во втором курсе больше всяких тонкостей, что круто, но есть ощущение, что нужно сначала побольше практики, и потом уже добавлять тонкости. Я просто вначале случайно как раз его начала проходить, но перешла на первый)
Про проект в вебе интересно, посмотрю)
Про проект в вебе интересно, посмотрю)
2019 September 13
h
Всех с праздничком!!!
DA
DA
DA
Обана вчера прилетел новый PEP от Юры Селиванова — про иммутабильные мапы
https://www.python.org/dev/peps/pep-0603/
https://www.python.org/dev/peps/pep-0603/
DA
Построены на основе HAMT — которая уже есть в CPython (с 3.7 вроде) и использовалась вместо словарей для хранения контекста!
DA
Btw в hamt.c я делал небольшой коммит 😊
DI
Btw в hamt.c я делал небольшой коммит 😊
А чего правил?