Max

но зато побережье хорватии изъездил, там круто

Max

но тоже если ты турист, а не живёшь там

Vasiliy

туристом везде хорошо

Vasiliy

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

Max

вот поэтому пока в режиме туристов и кочуем

Max

с питера тоже надо ехать куда-нибудь потеплее

Max

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

Зигохистоморфный

https://www.eurekalert.org/pub_releases/2017-06/uosa-spe061217.php

Alexander

ну это лето весьма выдающееся

Konstantin

сейчас везде с погодой хреново...

не знаю как везде, а в сибири +30

Aragaer

мне норм. Не особо жарко, но в целом норм

Anonymous

не знаю как везде, а в сибири +30

Сдаётся мне, что мы из одной Сибири.

Konstantin

ну сейчас жара от омска до иркутска :)

Max

не знаю как везде, а в сибири +30

вы там зажрались, жируете, пока все остальные москвичи и питерцы мёрзнут

Max

И не только они. Провинция тоже негодуэ.

Max

сибиряки климатическое оружие против москвичей испытывают

Max

Не, это все китайцы и велосипедисты.

Roman

Это лето холодное, ибо МВД проводит спецоперацию "Лавочка", что бы не бухали на лавочках и не жарили мангал в парках. А в пуховиках под дождём страдали

Dmitry

все равно бухают и жарят

Max

Такие мелочи никогда не останавливали.

Alexander

если зимой бухают и жарят

Alexander

то щас то в чем проблема

Влод

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

а что не так? мне вот например не нравится когда постоянно солнце и духота. сегодня так отличный день: поеду на ладожский пляжик, сегодня-завтра солнце, всю ночь будет светло.

Max

сегодня норм

Max

в прошлом всё лето такое было

Евгений

Середина июня, а я до сих пор под ветровкой свитер ношу. И вовсе не потому, что я админ >…>

Влод

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

Евгений

Тут море рядом, оттуда и песок :)

Max

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

поэтому такую защиту придумали?

Влод

поэтому такую защиту придумали?

скорей всего тебя не понял. наверное шутка про то что дождь защищает спб от жары

Max

да

Евгений

Шутки про питер за 300 в моём хаскеляче :(

Max

хоть шутками жизнь скрасить

Anonymous

Привет

Anonymous

[points 32] Things that Idris improves things over Haskell

Max

https://www.lektorium.tv/course/22797

Max

Это новичкам надо отдавать.

Max

Чтобы сразу крышу отрывало.

Anonymous

https://www.lektorium.tv/course/22797

Просмотрел 40 минут первой лекции и выключил. Возможно, из этих лекций и можно что-то уяснить, но сняты они пиздец как отвратитьльно. Качество видео вполне приемлемо, но когда он что-то объясняет, не видать экран с формулами\термами. И вот комметнарии с youtube: xxx: Лектор - конечно интересный тип, но экран с иллюстрациями интереснее ! yyy: пдф на оригинальном ресурсе все хорошо показывает

Max

Ну, тут я не доктор. Обычно да, проще открыть презенташку рядом и смотреть в нее. На Степике на порядок лучше.

Anonymous

смотрю в восьмой лекцекции они уже зашарии — экран видно.

Зигохистоморфный

http://www.mathnet.ru/conf664

Зигохистоморфный

у кого-то есть такая книга в pdf? https://www.amazon.com/books/dp/013507245X

Anonymous

на либгене djvu есть. а гдето есть конвертер из djvu в pdf

Зигохистоморфный

кинь ссыль хоть на djvu