can anybody explain...

how come an implementation of free monad, F = 1+TF, looks so similar to a stream?

можно поздравлять

Только что закончил finals по криптографии на курсере: https://class.coursera.org/crypto-015/wiki/LectureSlidesPublicCourse

Получил 11.75 из 13 (ну да, кто не ошибается)

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

Ура!

[:|||||||:] не могу не перепостить

(10x lubimets_bogov)

Конечно, боян вещий, но показывает характерные стереотипы - эчаровки привыкли, что кандидаты им жопу лижут (как будто от них что зависит), а тут подход такой нестандартный.

дыбр

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

Потом что, сделал файналзы еще раз. Нормально, 11.5 из 13. Да, кое-где ошибся. Ну что ж. Хватит для меня.

Занялся переносом электричества на месте будущей sliding door; собственно, вот и весь день.

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

Ждали 35 минут - луна не взошла. Зато закат был красивый. Ушли. Луны так и не было. Из-за засухи, может быть, и не взошла.

Посмотрели одну серию Больших Ожиданий. Такое подозрение, что артисты мужского пола почти все геи. Переигрывают. А женщин набрали каких попало, вообще не артистки, а куклы какие-то.

Потом позвонил Фред, сказал, что видит луну, она прячется. Пошел посмотрел - да куда прячется... просто Фред же человек искусства, ему трудно сообразить, в какую сторону луна на небе движется по своей эклиптике, и т.д.

Ладно, остался еще заход французский сделать, и все, спать.

free monad for regex

Say, we have a regex, right? This is a regular language; so there must be a free monad with a pretty simple structure. May be related to State monad, I guess.

online dating

http://www.dailymail.co.uk/news/article-3244135/Online-dating-tough-time-meet-new-end-jail-Meet-10-year-old-comedian-taking-America-storm-entirely-inappropriate-act.html

Online dating is tough. Every time I meet someone new they end up in jail': Meet the 10-year-old comedian taking America by storm with her entirely inappropriate act

the type I need

AtomicString

It is a string, but it does not have all those stupid methods like substring(i,j), or toLowerCase, etc. You know there are problems with substring in modern Java, but that's not the point.

The point is, my name is a string that does not have substrings; our company's domain name does not have a substring, and it is case-insensitive anyway; even "War and Peace" does not have a substring. It has chapters. (Ok, so it's not even a string).

Do I need to go into details?