тут ещё тир на раёне есть, туда ходим

стрелять научился

из чего?

полезно

из лука?

из пневматики

/me пострелял из лука, пребывает в восторге

дабы вернуть беседу в онтопик - а что там с программированием роботов на х-е?

программишь на dsl-е

компилишь во что-нибудь и запуливаешь в робата

программишь на dsl-е

типичное программирование на х-е

ну с роботами это ок

Ну vhdl/verilog есть

Макс, а чего свалил с Черногории?

ну там село

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

А что там с климатом?

летом пекло адское, зимой холодно и сыро

Понятно

нормально жить только апрель-май и сентябрь-октябрь

летом до захода солнца особо не выходили из дома

на выходных под конец уже в хорватию сваливали

там хоть какая-то цивилизация

образования нет, медицины нет

там в старости разве только жить можно

так-то там прикольно пожить, кроме всего этого

по горам вдоволь находился

море прикольное

ну вообще хорошо там

хорошо, но недолго? :D

ну да

если недолго, то хорошо

Т.е. в принципе хорошо, а в нюансах бесит?

да, как-то так

первый год вообще неплохо было

по кайфу всё

А жить дорого?

да не, как в питере примерно

Ну, сколько на человека примерно?

в питере вот только с погодой хреново

да я не считал

смотря как тратить ещё

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

там даже в нормальный магазин надо было в хорватию ехать

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ERROR: S client not available

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

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

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

сегодня норм

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

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

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

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

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

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

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

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

да

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

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

Привет

[points 32] Things that Idris improves things over Haskell

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

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

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

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

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

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

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

http://www.mathnet.ru/conf664

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

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

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

http://libgen.io/book/index.php?md5=D7A1A20278136E835445CF98614B28F5

не знать про либген большая ошибка.

https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/

Чо-то я не довяряю языку, у которого релиз 1.0 сделан первого апреля

А вообще было много языков, у которых хаскель отсасывает на уровне features. Но довести компилятор до ума безумно сложно

Меня с дисциплинки тащило, например, а вот, загнулась. Хотя идрис, конечно, перспективнее всех

А что, C++ уже не хватает?

А что, C++ уже не хватает?

Зашёл проверить миф про господ с моноклями