В хаскель чате никто не интересуется криптой, в хаскель-чате её пишут

Суровые хаскелисты пишут крипту прямо в чате!

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

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

Таск в жиру. А, черт, привычка :(

sorry was on the meeting

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

/me присоединяется к реквесту

Откуда этот дядька? Что он такое смотрел?

Откуда этот дядька? Что он такое смотрел?

ведущий какого рестлингового шоу

Откуда этот дядька? Что он такое смотрел?

смотрел зажигательный танец

скукота

не то что Fixpoint

Фикспоинт я делал неделю (вечерами) и еле осилил. Ката конечно крутая, как бутылку Клейна наизнанку выворачиваешь. На корутины потратил 2 вечера, с наскока не осилил и не стал продолжать.

Фикспоинт я делал неделю (вечерами) и еле осилил. Ката конечно крутая, как бутылку Клейна наизнанку выворачиваешь. На корутины потратил 2 вечера, с наскока не осилил и не стал продолжать.

ну фикспоинт крут) я люблю рекурсивные схемы)

сделал за несколько часов

Если вариться во всех этих ТК, Ламбеках/Йонедах и прочих инициальных/терминальных алгебрах, тогда конечно. А если окунаться в это неподготовленному, только для решения каты, тогда несколько часов маловато будет )

Если вариться во всех этих ТК, Ламбеках/Йонедах и прочих инициальных/терминальных алгебрах, тогда конечно. А если окунаться в это неподготовленному, только для решения каты, тогда несколько часов маловато будет )

ну на тот момент я особо не много знал

Если вариться во всех этих ТК, Ламбеках/Йонедах и прочих инициальных/терминальных алгебрах, тогда конечно. А если окунаться в это неподготовленному, только для решения каты, тогда несколько часов маловато будет )

работу потом не найдешь, оверквалифайд станешь

тебе такого надо？

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

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

Йонеды? не, не слышал

А из моих 5 кат там народ 3 распробовал а 2 ниасилил похоже

Но из них только одна Хаскель-релэйтед, остальные просто алгоритмические

https://github.com/composewell/streamly

@bravit111 а биокад лекция/доклад открытые?

в biocad

@bravit111 а биокад лекция/доклад открытые?

Кажется, закрытый, но они там собирались записывать вроде бы или даже транслировать.

ну так не интересно : (

я ещё ICFP не просмотрел

я ещё ICFP не просмотрел

Шо там смотреть, HS до сих пор не выложили :'(

я ещё ICFP не просмотрел

Аниме прикольнее, я понимаю

Шо там смотреть, HS до сих пор не выложили :'(

Там и с многих прошлых лет накопилось

Аниме прикольнее, я понимаю

На самом деле когда я смотрел аниме я не знал про ICFP

Аниме лист так устарел?

пара тайтлов наверное появилось там

или меньше

аниме про icfp еще не сделали?

мне кажется что не сделали

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

тру

а аниме можно посмотреть даже если мозг уже не работает

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

а аниме можно посмотреть даже если мозг уже не работает

А можешь посоветовать новичку что-нибудь? Я ничего не смотрел.

Вот не понимаю вас. Взрослые дядьки, какое аниме? 😐

Почему именно аниме, а не, скажем, что-то иное.

А можешь посоветовать новичку что-нибудь? Я ничего не смотрел.

*прикинулся qnikst'ом* все, где есть слово "миядзаки". Howl's Moving Castle; Laputa: Castle in the Sky итп

И потом все, где есть слова "макото синкай"

Вот не понимаю вас. Взрослые дядьки, какое аниме? 😐

мы еще и кде под фрибсд умеем

Ghost in a Shell

мы еще и кде под фрибсд умеем

И кому это надо? 😂

20 лет назад патчил офис под фри

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

просто волею обстоятельств эта часть Вас не получала должного развития

Тоже так думаю

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

а потом получают силу Луны

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

А нельзя европейский "сериал" снять? :)

Что вот в этом аниме? С детства не могу понять этого 😕

Что вот в этом аниме? С детства не могу понять этого 😕

Просто жанр. Но, как и в любом жанре, в нем есть произведения, которые больше жанра и относятся к мировой культуре. С ними стоит познакомиться.

Просто жанр. Но, как и в любом жанре, в нем есть произведения, которые больше жанра и относятся к мировой культуре. С ними стоит познакомиться.

Так, хорошо. Это те, что ты упоминал выше?

Так, хорошо. Это те, что ты упоминал выше?

Все ли из них - вопрос дискуссионный, у Миядзаки все же много всего. Но приличная часть - да.

> Просто жанр. Не жанр уж, а вид анимации, обособленный не жанром, но местом производства.

да, так вернее

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

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

animated series?

Всё очень похоже на индийское кино - многие люди, знакомые с сабжем поверхностно, считают, что индийское кино, это "я твой отец - злой раджа, сейчас мы будем плясать и петь, а потом громко чистить друг другу рожи". При этом индийский кинематографс старается покрыть потребности максимально широкой аудитории внутри страны, поэтому и жанры представлены самые разные, но люди извне и не в курсе :)

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

А нельзя европейский "сериал" снять? :)

А можешь посоветовать новичку что-нибудь? Я ничего не смотрел.

А можешь посоветовать новичку что-нибудь? Я ничего не смотрел.

Ну, не знаю, "Игра Престолов"😊

это не европейский же

Европейский, это "Лютер", например. Или тот же "Доктор Кто"

"Тьма" немецкая из недавнего

Много всякого. Прежде чем советовать, неплохо бы определиться с жанровыми предпочтениями :)

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

"с белыми людьми" Джанго освобожденный.

Расизм в чатике

Расизм в чатике

Не нагнетай. Никакого расизма.

Небелых людей в европах довольно давно немало :)

И они - коренные европейцы в нескольких поколениях.

Это я так, к слову :)