Случайно читал вики про морских выдр, дальше касатки -> дельфины -> турбулентность -> уравнения Навье-Стокса

Коротко и для идиотов про монады http://ivan-gandhi.livejournal.com/1874069.html

Сборник различных бесплатно-скачиваемабельных книг по математике http://www.mth.kcl.ac.uk/MAO/ContentsPage.html

Все (псевдо-)матанщики, давайте собираться #ru-math на freenode.net ! Рецоммеенд плиз!

Навелосипедил зависимые типы в Shen и написал в "бложек": http://4da.livejournal.com/10464.html#cutid1 Теперь система типов может таскать размер с массивом, помимо его типа. Интерес, конечно, скорее теоретический, нежели практический.

> Some people see a problem and think "I know, I'll use Haskell!" Now they have a monoid in the category of problems.

Кто (возможно) будет на *17th Estonian Winter School in Computer Science (EWSCS)* ? http://cs.ioc.ee/ewscs/2012/

У кого есть *Coxeter H.S.M. - Introduction to geometry* хорошего качества в pdf-ке?

Кому интересно - pdf книжки *Lebesgue Measure and Integration in R*. Сам переводил в pdf из djvu для своего гудридера. http://ifolder.ru/26046234

Олсо, чятик мне предстоит функциональный анализ в магистратуре в моем быдловузе и я хотел спросить, какие разделы матана нужно поднять? Анализ? Топология? Алгебра? Заниматься думаю пересечением теории игр с мат оптимизацией. Сейчас упарываюсь "В. Рудин Анализ", сложная книга, но видно годная.