это уже хороший экспириенс

Кто такой Александр Кошкин?

Аватарка красивая ?

https://habrahabr.ru/company/it_people/blog/303654/

ого, у позитив есть люди в сша?

Ну … Да :)

Только как они говорили разработчиков почти нет ...

Позитив это безопасники?

У меня не открывается Хабр в отпуске :(

это же хорошо

еще бы чаты и почта не открывалась в отпуске

full-scale digital detox

Позитив это безопасники?

инфосек, да

которые по дсл упарываются

А! Читал это интервью. Почерпнул из него пару интересных блогов

У позитива разные проекты, в том числе всякий ад на .NET, но вроде основной - это инфосек.

которые по дсл упарываются

Лсд?

возможно, но я в курсе только про дсл.

дсл мы любим, да

а они лююят нас, гу ты понел

Чёто я туплю что такое DSL

ну domain specific language

а в PT есть конкретный такой domain

И не один)

вот люди из PT подтянулись)

Мы всегда тут, просто не палимся

Кстати если есть вопросы по DSL - задавайте Ивану, он делал клёвые доклады про DSL.

не, нету, та задача заформализовать дсл (о которой я когда-то говорил) ушла в глубокий бэклог =)

не, нету, та задача заформализовать дсл (о которой я когда-то говорил) ушла в глубокий бэклог =)

ну вот(

настолько глубокий, что, похоже, не выберется из него

Правильно, дсл не нужны)

вот оно что значит)

дзен

ну он по факту уже есть и используется, просто не определён толком.

меньше кода = лучше

Вот лсд - другое дело

дмт :)

к чему полумеры

ох)

@tsyganov_ivan а что у тебя за доклад на PyCon Siberia?

Про тесты и как из сделать лучше

про py.test?

Про coverage поговорю, про мутационное тестирование

а hypothesis юзаете?

Местами)

а как решается проблема распознавания эквивалентных мутантов у вас? =)

или это на уровне либы решено

Спойлеры)

мне любопытно, потому что ещё не видел применения этого на практике

а, ну ладно. Тогда потом видео погляжу )

может сделаешь доклад во вторник? :)

Вряд ли)

ещё мне интересно зачем вы в принципе решили это юзать

и принесло ли оно прикольные какие-нить плоды (или больше проблем)

будет круто если доклад на все эти моменты ответит )

Мы не решили это юзать) доклад ответит почему)

=)

по моему небольшому опыту с гипотесис могу сказать, что в более менее сложном случае заставить

эту штуку генерить нормальные входы очень тяжко

типа вот например ты хочешь тестить парсер

нужно создать метаграмматику по которой сгенерится текст, токенизер, все это скормится твоему парсеру

а вот кто будет метаграмматику тестировать и как это сделать?

т.е. мутационка хороша когда алгоритм простой но есть subtle моменты

короче все что выходит за "hello world".encode().decode() == "hello world" уже сложно

Так же, как если бы ты решил пожить в Бразилии, у твоей компании были бы люди в Бразилии...

Чувствую скоро нам прибудет мудрости от тебя в стиле Чистякова...

ERROR: S client not available

аа, так он там временно

я просто не помнил, штатовская ли эта контора. знаю только что они есть в мск и спб (в мск мой товарищ работает)

По ходу телега теряет цитирование при отложенной отправке

я просто не помнил, штатовская ли эта контора. знаю только что они есть в мск и спб (в мск мой товарищ работает)

Они из мск. Достаточно того, что у них на сайте в клиентах ФСБ...

фсб =) прикольно

По ходу телега теряет цитирование при отложенной отправке

Я просто в поезде через псковскую область еду. Тут покрытие, мягко говоря, неполное...

чистяков кстати на питерпае был достаточно серьёзен и внушителен

раз реакт-чату можно, то и нам: с днём знаний всех!

Ну, постарался, молодец

ложись спать, математику проспишь

Линейку)

математику, русский, чтение и изо, конечно

а как же урок мира?

https://www.python.org/dev/peps/pep-0526/

мне вот со временем тоже статической типизации стало не хватать, особенно после хаскелла

хаскелл вообще супер дубер язык (нет)

серьёзно, маркетинг вокруг просто шикарен, идеи чисты и прекрекрасны

но на практике это просто не работает

вот например из маркетинга https://lurkmore.so/images/3/3d/Cmp.jpg

круто да?

только хер там

работать это будет чудовищно медленно, на небольших инпутах будет сжирать овер дофига памяти из - за кучи брошенных thunkов (или как там они зовутся)

и вот ты откахываешься от ленивых вычислений в пользу eager, расставляешь по коду кучу прагм и тд и в итоге оно и выглядит ну так себе и работает медленне си

https://www.python.org/dev/peps/pep-0526/

прикольно, даже есть реализация под 3.6 https://github.com/ilevkivskyi/cpython/tree/pep-526

возвращаясь к земным вопросам... а кто у нас докладик хочет сотворить 13 числа?

Моя не готов...

Вопрос у кого нить есть - http://www.informit.com/store/systems-performance-enterprise-and-the-cloud-9780133390094?ranMID=24808

и вот ты откахываешься от ленивых вычислений в пользу eager, расставляешь по коду кучу прагм и тд и в итоге оно и выглядит ну так себе и работает медленне си

Бггг

хаскелл вообще супер дубер язык (нет)

Так это для души...

=)

>>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) True >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)]) False >>> all([id("abc"*1000) == id("abc"*1000) == id("".join(['abc' for i in range(1000)])) for i in range(100)])

wtf