да он вообще неплохо работает))

а гиттер кстати у меня сейчас сломался

полчаса назад

Вообще даже IRC через квассель рабоатет

А вот там где часто нет сети уже не так

Кстати надеюсь скоро постик про inline-r и reflection таки зопилим и про отладку distributed-process

Правда последнее наверное никому не интересно, его используют 4.5 человека и они это и так знают

А свое мне все не собраться написать, основной проект в ужасном случной фазе, никакого research уже и сверх интересных идей : (

я бы почитал про distributed :)

Там надо cookbook писать

И удалить нахрен всю документацию с сайта

А где время на этой найти - не понятно

http://prntscr.com/e0nlsl

отлично

А какая разница стек или платформа или гхц из пакета?

Вот то что там 7.8 жалко

ну для контента курса думаю разница между 7.8 и 8 не то чтоб существенная

List мономоофный

хорошо что будет вторая часть

а кто-то на фпрог есть?

/me

а кто-то на фпрог есть?

^^

CEP и RETE такие штуки называются и уже 20 лет как есть :/

И Кметт рассказывал про это интересные штуки

Советую кикнуть, это почти наверняка бот. Этот пользователь сейчас одновременно присоединился ко всем IT чатикам, в которых я сижу.

Советую кикнуть, это почти наверняка бот. Этот пользователь сейчас одновременно присоединился ко всем IT чатикам, в которых я сижу.

Есть подозрение , что так все делают

Советую кикнуть, это почти наверняка бот. Этот пользователь сейчас одновременно присоединился ко всем IT чатикам, в которых я сижу.

Идешь по ссылкам в списке и клацаешь интересные

Сомнительная аргументация

даже сакаши не забанили, хотя это фейкобот, не мешает и ладно

помешает - забаним

сорри за оффтоп вопрос, а как при наличии retraction и неважности порядка правил в datalog гарантируется завершимость?

или retraction недопустим в head ?

да судя по документации в clauses не может быть, только в statement

Так, я в фп еще даже не джун, по этому мне позволительно В чатике постоянно Ккмета какого-то упоминают. Не забрасывайте помидорами, кто это?

https://cokmett.github.io/cokmett/ click it

человек который генерирует много библиотек и классных идей

хахаха

прикольная картинка

мне её в первый раз показал Митек на zurihack на фоне кметта задвигавшего про Yoneda lemma

смотрелось отлично

забаньте уже этот ежедневный агрегатор )

нажал кнопочку remove, надеюсь не промазал

нажал кнопочку remove, надеюсь не промазал

Промазал

не того удалил?

Сомнительная аргументация

А теперь достаточно пруфов :3 ?

А теперь достаточно пруфов :3 ?

Yap

не того удалил?

Всё, удалилось, видимо телеграм не успел синхронизовать

сообщение я позже удалил

сначала человека. потом результаты жизнедеятельности

Вообще на самом деле по моим наблюдениям, отсутствие юзернейма - это веский признак бота, как и одновременный заход в десяток чатов

ну про чаты хз

раньше так народ набегал на каком-нибудь хабре постят список “самые модные чаты в телеграме”

и народ прям по списку идет)

бот боту рознь

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

трафик ребята продают

причем боты умеют вычислять ботов конкурентов

а этот - то такое, бабушка или мамма чья-то, прочла в одноклассниках "Как сделать бота за 1,5 минуты"

а этот - то такое, бабушка или мамма чья-то, прочла в одноклассниках "Как сделать бота за 1,5 минуты"

Эт сложнее :) библиотек то вменяемых нет для телеги

что такое ghcid и есть ли от него какой-то профит?

Запускалка ghci или скрипта пересоьирающая все при изменении файлов

Можно в соседнем терминале запустить и очень быстро видеть ошибки компиляции или результаты теста

а со стеком она умеет?

в смысле запустить мне её удалось

но она молчит

ERROR: S client not available

Хз, как-то уметь должна

Я не использую уже, чуть-чуть погонял и забил

но народ пишет что у них от IDE +25% продуктивности

может я что-то теряю

от их отсутствия.

Я без ide меня наверное слушать не надо

Я у себя замечаю моменты когда бы мне ide (которое не факт что есть) помогло примерно в 1% случаев

Причем половина этих случаев покрывается чуть более высоким vim-foo

чем это не ide? разница лишь в том что собрано самостоятельно, а не коробочное решение

да у меня вообще ощущение, что если вам помогает ide, значит вы пишете код руками, а не головой

ну т.е вот надо разложить сейчас структуру в памяти для эффективного последующего доступа к ней

ide никак не помогает решить эту проблему почему-то

впрочем, надо бы настроить в виме авто=переход к ошибкам компиляции, это полезно пожалуй

ide для работы с кодом, а не с задачами приложения

какой, например, работы?

как вы работаете с кодом?

самый банальный и распространенный пример - переименование

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

но как часто это надо?

раз в неделю? раз в месяц?

не так часто, но с иде, которая это позволяет, этот процесс быстр и незаметен по времени

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

и процедура растаскивания да, занимает, особенно когда структура проекта неясна

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

т.е ведь забивая голову тем, как этим пользоваться в ide ты теряешь место для чего-то полезного

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

да ни разу

а менее удобные, но более простые и универсальные инструменты sed и mv - один раз научился, всегда используешь

да, довольно гемороно, но нужно редко

переименование седом в большом проекте... ммм... delicious

норм