Однако, завтра наступило - а "интересные терки" не там а здесь 😏 кто же молодцы?
они молодцы
Alexander
Leonid 🦇
Я же не говорю, чтобы сделать митап по хаскелю. Достаточно просто вокруг хаскелевского комьюнити создать общий митап и фильтровать входящих
Это же какой effort, помещения хотя бы найти за бесплатно
Alexander
или опять перешли в анабиоз как были аж с сауны
Leonid 🦇
В Москве вашей хоть касперские дают иногда
Denis
Это же какой effort, помещения хотя бы найти за бесплатно
наверняка с каким-нибудь антикафе можно договориться
Denis
за сумму менее астрономической
Denis
там обычно есть проекторы, чай и печенье
Andrey
О, про фильтры интересно. Объем черепа будете измерять, или как?
Leonid 🦇
наверняка с каким-нибудь антикафе можно договориться
А вот я кстати даже не знаю что это такое. Боюсь зайти и такой "how do you do, fellow kids"
Ю ли я? 🤔
Я могу попробовать организовать у нас в лабе, у нас есть семинарская с проектором
Denis
А вот я кстати даже не знаю что это такое. Боюсь зайти и такой "how do you do, fellow kids"
это такой формат, куда приходят в настолки играть, кинопоказы делать(из-за этого есть проекторы зачастую) и платят за время
Ю ли я? 🤔
Человек 20 точно вместит
Leonid 🦇
Так то может кто в ИТМО аудиторию найти пустую
Denis
надо в них звонить/приходить и говорить что “хочу сделать митап, но не хочу платить за каждую харю, давайте договоримся”
Denis
т.к. там оплата за время за каждое рыло
Евгений
Это же какой effort, помещения хотя бы найти за бесплатно
Я найду, если никого не смущает подвал на лиговке, заваленный коммунистическими агитками
Leonid 🦇
это такой формат, куда приходят в настолки играть, кинопоказы делать(из-за этого есть проекторы зачастую) и платят за время
Эх, а нам приходилось в подвале магазине Саргона играть
Denis
типа 100 рублей в час
Denis
Я найду, если никого не смущает подвал на лиговке, заваленный коммунистическими агитками
меня смущает тем что это питер, а это далеко от москвы
Leonid 🦇
Правда денег у нас не было, все уходили на бустеры мтг и батон с тархуном
Denis
вузы тоже вариант
Ю ли я? 🤔
Да, мы тоже в СПб, если чо. Зато бесплатно!
Leonid 🦇
Для начала докладчики нужны. У нас как раз за полгода три человека созревает
Ю ли я? 🤔
Правда денег у нас не было, все уходили на бустеры мтг и батон с тархуном
Ммм, что тогда было? Invasion, Odyssey?
Leonid 🦇
Я не помню
Denis
Для начала докладчики нужны. У нас как раз за полгода три человека созревает
я в жанре фейл стори могу часто
Denis
хотел сделать X, но типы не натянулись
Denis
и далее хакатон, где все решают мою проблему
Denis
можно так?
Евгений
Для начала докладчики нужны. У нас как раз за полгода три человека созревает
Ну наверняка есть уже старые доклады у кого-то, можно их прогнать. Плюс можно семинары устраивать переодически
Denis
я в питер обычно раз-два в год
Leonid 🦇
Ну наверняка есть уже старые доклады у кого-то, можно их прогнать. Плюс можно семинары устраивать переодически
Семинары это в пивнухе потрепаться?
Denis
семёнары
Ю ли я? 🤔
Видимо, нужно выделять hask_spb и там договариваться
Leonid 🦇
Не надо выделятся никуда
Ю ли я? 🤔
Семинары - это половина нар
Евгений
Семинары это в пивнухе потрепаться?
Семинары это кто-то читает пейперы по заданной теме и готовит доклад
Ю ли я? 🤔
Не кто-то, а семинарист!
Leonid 🦇
Давайте глянем что получится с серокелл для начала
Ю ли я? 🤔
Так что у них планируется-то?!
Евгений
Видимо, нужно выделять hask_spb и там договариваться
Еее, ещё один чат с хаскелистами. У меня уже 4.5
Leonid 🦇
Хаскель и криптота
Ю ли я? 🤔
Там не написано про предполагаемое содержание митапа
Leonid 🦇
Сера и жесть, шестьсот шестьдесят шесть
Ю ли я? 🤔
Серокельцы будут расказывать про криптоту на хаскеле?
Denis
а у них криптография есть или как у всех?
Alexander
А вот я кстати даже не знаю что это такое. Боюсь зайти и такой "how do you do, fellow kids"
места где платят за время провождения, а не то что покупаешь, там обычно чай настолки печеньки бесплатно
Anonymous
@catamorphism, криптографией больше IOHK занимаются, насколько я знаю
Denis
у меня олдфаги в твиттере рейджатся, когда криптой называют индустрию распределенных merkle tree с jsonrpc
Leonid 🦇
Denis
чтобы никто не догадался
Leonid 🦇
Чтобы бесились
Denis
да не, просто в твиттерах полки мамкиных криптоинвесторов
Denis
которые не особо в курсе что такое криптография
Leonid 🦇
Их везде много. Особенно в антикафе.
Alexander
вообще что у нас из форматов, доклады, дискуссии хакатоны?
Leonid 🦇
/me всем навесит ярлыки для типизации
Ю ли я? 🤔
Кодинг-додзё ещё клёвый формат (если без TDD)
Alexander
Type driven development
Ю ли я? 🤔
(ну или с другим _T_DD)
Ю ли я? 🤔
Ой, опередили
Denis
оперделили
Alexander
определили
Ю ли я? 🤔
Идрис-хакафон! Берём типы и натягиваем на ВСЁ.
Alexander
соq
Alexander
Идрис - попса какая-то
Ю ли я? 🤔
Зато он для погромирования, а не прувинга
Denis
я бы поспорил
Alexander
декларативно - да
Ю ли я? 🤔
Не разбивайте моё розовое восхищение идрисом 😢
Alexander
а вот по факту, я не уверее
Ю ли я? 🤔
Если бы я поймал золотую рыбку, моим первым желанием было бы, чтобы идрис и раст стали мейнстримом
Ю ли я? 🤔
Думайте обо мне что хотите
Alexander
но Idris welcome если ято
Alexander
и в общем то и Раст и АСТ и кок