
J
06.10.2017
06:24:33
> Pavel Gilyov:
вообще очень сложно говорить о том, настоящий ли человек, наверное
Да, часто целая повесть нужна.
> ? animufag ?:да скорей всего можно сделать, но набирать сложно
Зачем? Есть JuiceSSH. Я так иногда запускаю компиляцию например, или быстро в транспорте что-нибудь подхачиваю.

Ilya
06.10.2017
06:26:45
вот такое нашёл

Google

Ilya
06.10.2017
06:27:01
мы можем сказать, что два некоторых стрима равны экстенсионально, если для них будут равны функции take n и прочее?
как раз то, что ты говоришь - про WHNF
ладно, пойду дальше читать учебник:)

Yuriy
06.10.2017
06:49:47
это вообще про равенство функций. хотя функции тоже тип
если я правильно понимаю
про то, что функции (succ . pred) и (pred . succ) не равны интенсионально, но равны экстенсионально

Ilya
06.10.2017
06:56:29
ну вообще они не равны экстенсионально (т.к. minBound), но я понял, что ты имел в виду =)
а вот тут недавно спрашивали, равны ли [1..] и [1..] ++ [2]
разве тут не применима та же терминология? про экстенсиональное и интесиональное равенство?
хотя тут снова фунции, ок

illiatshurotshka❄️
06.10.2017
07:08:30
inf + 1 = inf

Ilya
06.10.2017
07:23:38

Google

Ilya
06.10.2017
07:23:57
Это равенство бессмысленно без уточнения inf и +
а вот 1 + inf = inf скорее всего будет верно в любом случае ?

Pig
06.10.2017
11:01:24

Aleksey
06.10.2017
11:10:46
Нет, [1,2,3,...]
[1,1..] - список единиц

Alexander
06.10.2017
12:32:40
я что-то интересное пропустил?

Yuriy
06.10.2017
12:34:41
народ интересуется, что есть значение в Хаскелле и что есть равенство значений

Leonid
06.10.2017
13:20:13
ну чё, ребзя, с 9го обратно на гиттер?

Dmitry
06.10.2017
13:20:31
прокси!
тор!

Leonid
06.10.2017
13:23:23
за тор, кстати, Богатову продлили домашний арест. Он кстатаи за хаскель в дебианах отвечал

Arseniy
06.10.2017
13:24:12

Anatolii
06.10.2017
13:25:45

Denis
06.10.2017
13:28:24

Alex
06.10.2017
13:31:10
в россии вроде собрались телеграм блочить

Aleksey
06.10.2017
13:31:22
опять?

Dmitry
06.10.2017
13:31:47
технически грамотное население не пострадает, в основном
т.е этот чатик можно просто оставить как есть

Евгений
06.10.2017
13:33:06

Google

illiatshurotshka❄️
06.10.2017
13:33:11

Dmitry
06.10.2017
13:33:38
на основании того, что дебилы

illiatshurotshka❄️
06.10.2017
13:33:39
там в видео про телеграм

Dmitry
06.10.2017
13:33:46
и потому, что могут

Alex
06.10.2017
13:33:55

Евгений
06.10.2017
13:34:05
Удобно
на основании того, что дебилы
Да глупости какие, буржуазное государство работает не так. Наше государство пока не засветилось в нарушении собственных законов. Законы, конечно, весёлые, но они везде весёлые. Если они решились заблочить, то нашли лазейку в законах, вот интересно чо за лазейка

Dmitry
06.10.2017
13:35:55
телега не предоставила ФСБ какие-то там ключи для расшифровки трафика

Leonid
06.10.2017
13:36:40
фейсбук с гуглом банить ссут. линкедин забанили

Евгений
06.10.2017
13:37:07
Фейсбук с гуглом сотрудничают с российской властью
Гугл даже с Китайцами сотрудничает, чо уж там

Leonid
06.10.2017
13:38:14
данные хранят на територии рф? подписывают для центра Э бумажки "да, юзер сам лайкнул свастон, можно впилить штраф"?
РФ до Китая как сколково до кремниевой долины.

Евгений
06.10.2017
13:39:48
Россия же с китая пример и берёт

Leonid
06.10.2017
13:41:08
у китая и денег больше, и свой гугл с твиттером

Dmitry
06.10.2017
13:41:47
большая ошибка, конечно, недоучёт ментальных особенностей народа

Leonid
06.10.2017
13:43:14
гугл кстати не знает про свой дата-центр в москве

Евгений
06.10.2017
13:43:44

Google

Ilya
06.10.2017
13:45:11

Dmitry
06.10.2017
13:45:18
большевики в своё время обошлись без твиторов, и их тоже было немного

Ilya
06.10.2017
13:45:21
тем паче что конфиги они суть функциональные
никакой вам императивщины
так что справимся

Dmitry
06.10.2017
13:45:53
тор тормоз и уязвим

Евгений
06.10.2017
13:45:53

Leonid
06.10.2017
13:46:49
почему '?'

Евгений
06.10.2017
13:47:03

Pig
06.10.2017
13:47:17
это аrхиважно!

Ilya
06.10.2017
13:48:35

Евгений
06.10.2017
13:51:24
С учебником по юриспруденции. Хитрость всех законов в континууме их трактовок. Правящий класс пишет законы, чтобы максимально лишить возможности "позитивного" использования законодательства, но при этом оставить себе простор для безудержной свободы.
Например взять президенсткую власть в России — в 93'ем году конституция была написана так, чтобы президент фактически обладал полнотой исполнительной, законодательной и судебной власти

Arseniy
06.10.2017
14:17:22
Это канал про #haskell. Обсудите политику в другом месте, пожалуйста.

Alexander
06.10.2017
15:04:30

Yuriy
06.10.2017
15:05:14
я не уверен, что правильно воспроизведу, так что см. выше

Alexander
06.10.2017
15:08:19
да политоту не стоит тут

Dmitry
06.10.2017
15:11:39
посмотрим, как он после девятого будет
хотя мы уже через прокси

Alexander
06.10.2017
15:14:13
я не через проксю

Google

Alexander
06.10.2017
15:14:27
если на компе есть время то так нет
или про какое-то гос прокси?

Dmitry
06.10.2017
15:14:48
мы подняли свою проксю в нормальной стране

Alexander
06.10.2017
15:14:52
а вижу

Dmitry
06.10.2017
15:14:54
что бы телеграм через неё кочегарить
видишь?

Alexander
06.10.2017
15:15:03
да

Dmitry
06.10.2017
15:15:10
как?
где?
ip видно, что ли?

Alexander
06.10.2017
15:15:41
нет, я ж ньюсы ваши вижу

Dmitry
06.10.2017
15:15:54
ааа ))

Alexander
06.10.2017
15:17:17
есть задача
нужно в CI отлавливать использование error и громко ругаться
есть варианты как?
как сделать так чтобы использование trace падало я знаю, хоть это и сложно
с учетом того, что человек может это заимпортировать из base в обход custom prelude

Leonid
06.10.2017
15:24:11
grep не предлагать?

Yuriy
06.10.2017
15:28:35
weeder что-то такое может

Kirill
06.10.2017
15:28:45
@q