кстати, мне бы очень помогли сигнатуры у комбинаторов, ты там потом их объяснил, но мне не очевидно сначала было

Недоработал, исправлюсь

Недоработал, исправлюсь

BackT это бектрекинг?

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

BackT это бектрекинг?

Ну видимо да. Но это неточно

Ну видимо да. Но это неточно

ну так ListT и LogicT похожее делают

Я, кстати, не полностью уверен, что он не монада. Ссылался на чувака, сам не проверял

LogicT правильный с тз монадности

но он не совсем как бэкт работает (вроде)

LogicT правильный с тз монадности

ну он как раз умеет разруливать зацикливающиеся графы

Я, кстати, не полностью уверен, что он не монада. Ссылался на чувака, сам не проверял

а чего у тебя свой Exists (походу порт с пурсы) а не идея с forall?

там пурса и есть

Именно порт с пурс

(частично)

а ну ок

Изначально граф был для ПьюрСкрипта, да

Для доклада я его на Хаскель портировал "как есть"

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

т.е. что сейчас и почему

Угу

Главное, Рыжиков остался доволен. А прожженных хаскеллистов мне нечем было особо удивить

Внезапно https://ghc.haskell.org/trac/ghc/blog/ghc-8.4.2-released

8.4 можно в прод?

багфикс релиз

По родмапу они его вроде позже должны были выкатить, на недельку

https://www.fpcomplete.com/blog/why-haskell-is-hot-for-cryptocurrencies ELITE COMMUNITY

тут я здорово просчитался (предсказывал, что до 8.6 не успеют его выпустить)

Всюду наши

РКН уже и Гиттер сломал

у меня похоже провайдер сломался и перестал выполнять требования РКН

без vpn работает почти все

гиттер он сломал несколько дней назад у меня

http://newartisans.com/2018/04/win-for-recursion-schemes/ Ученые обнаружили как использовать рекурсивные схемы.

кстати, а есть какие-нить не публично известные сервисы где можно себе VPS-ку получить?

а то чего-то у меня подозрение есть что VPN долго не проживет на DO

do начали блочить вчера

у ДО 8 датацентров с разными IP блоками

scaleway, linode

как грязи

scaleway вроде сегодня или вчера вечером

do начали блочить вчера

Позавчера начали

я вообще думаю что как только гугол с эплом уберут телегу из русских магазов так сразу РКН объявит победу

+

я вообще думаю что как только гугол с эплом уберут телегу из русских магазов так сразу РКН объявит победу

Естественно

такие крутые новости пошли > Использовавшие «Telegram» для связи с вербовщиком террористической организации задержаны на 48 часов в порядке ст. 91 УПК РФ.

у меня есть подозрение что tier 10 известных под раздачу попадет

надо похоже у китайцев узнавать что у них делают

у них же VPN как таковой аж блочат

У китайцев тор работает

Ну и у нас будет работать, благо мелких провайдеров много

scaleway, linode

scaleway забанили вчера =(

суки

у меня похоже провайдер сломался и перестал выполнять требования РКН

говорят РКН-овские устройства, которые проверяют что заблокировано на новом черном списке не работают просто, так что провайдеры сейчас могут не блокировать и штрафы не получить

Не, ревизорам прошивки обновили и они нормально ща работают

А так падали, дня два назад

но на линкедын все не зайти

https://www.rbc.ru/technology_and_media/20/04/2018/5ad8c53a9a7947ec8d8c1ed5?from=main кстати читали спекуляции от РБК?

это сраный вброс

РБК уже давно как НТВ

Как НТВ в конце 90'ых?

на НТВ сейчас

или россия 1

НТВ сейчас это же сериальчики про ментов, нет?

И менты с камерами

Ну в любом случае РБК это либеральный рассадник, а Россия 1 это оплот коричневых, так что странная аналогия

эх

Ну сорян за оффтоп. Всё равно чат обречён

интернет обречен

кстати, а есть какие-нить не публично известные сервисы где можно себе VPS-ку получить?

Я на versio купил

Ну сорян за оффтоп. Всё равно чат обречён

Не хочется в это верить...

интернет обречен

Ну это не факт, тенденции есть такие, но им могут помешать независимые события

Ну в любом случае РБК это либеральный рассадник, а Россия 1 это оплот коричневых, так что странная аналогия

Коричневых разве что в смысле Пахома. Нет у них взглядов, одни темники

А блокировка телеграма это дело недели. За неделю ничего не произойдёт

Коричневых разве что в смысле Пахома. Нет у них взглядов, одни темники

Когда я говорю "коричневые" я имею ввиду идеологические группы, отстаивающие в мифилогизированном виде интересы китайского капитала. Вон Грудинин чуть ли ни открыто заявлял, что откроет дверь китайскому бизнесу и товарам. Взгляды всегда вторичны от экономических интересов

Если что, люди не так давно жили и росли не только без интернета, но и без (любых) телефонов. Будем надеяться, что это - непродолжительный экскурс в прошлое. Такой паровозик в тематическом парке развлечений.

это курс на поиск дна

тренд в этом направлении по крайней мере

Дна нет

Дна нет

Дно это уничтожение всего человечества, ну

Да, похоже на ситуацию, когда обледенел датчик, и приняли неверное решение. Может, ситуация повернётся так, что немного откроются глаза.