в музее юрского периода

 http://sandro-iz-che.livejournal.com/449660.html

Notions of Computation as Monoids

 arxiv.org/pdf/1406.4823v1.pdf

nice wp site to follow

 https://qchu.wordpress.com/

list via codensity

List a = Codensity Endo a = forall r. (a -> r -> r) -> r -> r

    nil :: List a
    nil = \f z -> z

    cons :: a -> List a -> List a
    cons x xs = \f z -> f x (xs f z)

    append :: List a -> List a -> List a
    append xs ys = \f z -> xs f (ys f z)

    foldr :: (a -> r -> r) -> r -> List a -> r
    foldr f z xs = xs f z

Basically, it's like lambda.

Src: https://golem.ph.utexas.edu/category/2012/09/where_do_monads_come_from.html#c042100

дыбр

Ливень, штормяга. Но тепло. Так что тот факт, что обогрев сломан, не бацает уже.

По ящику в новостях один дождик показывают, и лужи на дорогах. Смотрите, лужа!

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

Выволокли все из кухни. Особенно драматично было холодильник тащить; он тяжелый, я еле вообще поднимал.

Посмотрели аж три серии Дирка Джентли. Ну так, ничо. Бегают много, и дерутся. И логика, как обычно, проседает на циклах. Ну это знамо дело, вопрос "когда это было" при зацикленном времени не имеет смысла (теорема есть).

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

Под конец кино у меня вдруг бац, рухнул сахар. Что это было, я ж не делал ничего. Любопытное явление. Если б насобачиться поддерживать вот так на 100, было бы классно.

Все, еще урок послушаю. Пока что там элементарные вещи, фильтры картинок (Sobel filter), все это лет 40 уже известно.