Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Yuriy Syrovetskiy
    @cblp
    я каждый раз раз страдаю от бестолковой траты времени
    Denis Shevchenko
    @denisshevchenko
    Ну да, шоб совсем без очередей - так не получится.
    Aleksey Pirogov
    @astynax
    Я бы тоже поездом поехал, но самолёт вышел в те же деньги. И в последнее время я разучился высыпаться в поездах :(
    Yuriy Syrovetskiy
    @cblp
    ещё зачем-то везде пишут время вылета, хотя в нём нет смысла. а самое важное — дедлайн посадки даже на талоне не всегда пишут
    Denis Shevchenko
    @denisshevchenko
    дедлайн посадки - за 20 минут до времени вылета
    Alexander Vershilov
    @qnikst
    кстати, а где вы там остаетесь
    а то в этот раз таки придётся отель брать похоже
    (/me не купил ещё обратные билеты)
    Denis Shevchenko
    @denisshevchenko
    Aleksey Pirogov
    @astynax
    У меня в письме от ТуТу было "желательно за 40 минут" или что-то такое. Так что уведомляют
    Alexander Vershilov
    @qnikst
    @denisshevchenko им письмо надо сначала слать про скидку? или оно того не стоит?
    Denis Shevchenko
    @denisshevchenko
    А вот не знаю, честно сказать.
    Alexander Vershilov
    @qnikst
    мне чот такое огранизаторы писали
    Denis Shevchenko
    @denisshevchenko
    нам прислали орг-письмо, и там всё было
    Aleksey Pirogov
    @astynax
    На всякий случай спрошу: загранник всё ещё не нужен же?
    Denis Shevchenko
    @denisshevchenko
    как это не нужен?
    Разве туда можно по российскому паспорту лететь?
    Aleksey Pirogov
    @astynax
    Два раза на fbyby был. Раньше не брал ни разу.
    Denis Shevchenko
    @denisshevchenko
    мне билеты брали на загранник
    я на всякий случай ОБА паспорта положил. :-D
    Aleksey Pirogov
    @astynax
    Я вот тоже думаю на всяки случай взять. Но билеты на российский брал, как в прошлые годы
    Alexander Vershilov
    @qnikst
    а на поезде таможни нету вообще (во всяком случае в предыдущие годы)
    Aleksey Pirogov
    @astynax
    Вот да, тоже не помню таможенников в поездах на Минск
    Denis Shevchenko
    @denisshevchenko
    ну вот, удалил
    весёлая песенка
    :-D
    Alexander Vershilov
    @qnikst
    да, но все же оффтоп тут, если получше не переформулировать
    на работе скинули, про то что ну вот не сказать что I have a friend in Minsk
    Yuriy Syrovetskiy
    @cblp
    перенёс в ../forall
    Denis Shevchenko
    @denisshevchenko

    funcby удалась!

    Yuriy Syrovetskiy
    @cblp
    наверное, ты хотел \#
    Alexander Vershilov
    @qnikst
    так тоже нормально
    Denis Shevchenko
    @denisshevchenko
    Yuriy Syrovetskiy
    @cblp
    Серока:
    Привет! 17 марта в Санкт-Петербурге по адресу Переулок Талалихина 7 в офисе Serokell в 19:00 будет митап в виде домашних посиделок. В программе: разговорчики о функциональном программировании и Haskell в частности, формальных доказательствах, алгебре, крипте, выч. геометрии, философии, будущем и обо всем, в принципе, о чем только можно :)
    Вход бесплатный, но будет классно, если вы принесете с собой еды/напитки/настолки/что сами пожелаете.
    Будем рады встрече и знакомству!
    Yuriy Syrovetskiy
    @cblp

    Наша очередная встреча пройдет на общей площадке с другими ИТ-сообществами в рамках IT Global Meetup #12.

    Секция FProg будет представлена двумя докладами:

    • Обзор методов программирования для Web на языке OCaml
      Дмитрий Косарев, сотрудник Лаборатории языковых инструментов (СПбГУ / JetBrains Research), расскажет о том, как создавать Web-приложения на языке OCaml с помощью фреймворка Ocsigen, а также упомянет два способа заменить JavaScript с помощью OCaml.

    • Прагматичные зависимые типы для прагматичных программистов
      Вячеслав Шебанов, разработчик сервиса сообщений в VK, адепт строгой типизации, рассмотрит в своем докладе применение зависимых типов не столько для верификации, сколько для решения прикладных проблем программирования, в частности с использованием языка Idris.

    А на сладкое мы оставили дебаты за типизацию совместно с PiterJS Так ли нужна статическая типизация?

    Встречаемся 17 марта 2018 г. с 11:00 до 18:00 по адресу пр. Медиков д.3, к.1, КДЦ «Club House».

    Вход на мероприятие бесплатный, регистрация по ссылке
    https://piter-united.timepad.ru/event/672983/

    Промокод: FProg

    Denis Shevchenko
    @denisshevchenko

    Так ли нужна статическая типизация?

    :-)

    Alexander Vershilov
    @qnikst
    если бы вы не первые 2 доклада, которые анонисированы сначала не были, то вообще не было смысла ехать
    а там там интересные доклады в других группах есть
    Ghost
    @ghost~5379e70c048862e761fa1e5e
    Где в λ-кубе линейные типы?
    (могли бы быть)
    Yuriy Syrovetskiy
    @cblp
    если ты в этом канале спрашиваешь, то, наверное, про λ-клуб?
    Ghost
    @ghost~5379e70c048862e761fa1e5e
    Вступайте в λ-клуб им. Барендрехта!
    Alexander Vershilov
    @qnikst
    линейные кубы - вне
    тут нужно линейный гиперкуб
    Michael Pankov
    @mkpankov
    друзья, а кто-то будет на HighLoad++?
    Yuriy Syrovetskiy
    @cblp
    я постараюсь