Интересно, когда-нибудь запилят нормальный пакет для sage в репозитории? Чтобы нормально интегрировался с другими программами итп. Пока что на их сайте только сборочки для федоры и убунту: http://echidna.maths.usyd.edu.au/sage/li.....index.html Это какая-то мокрописька, пакет на 400 с хуем метров, притом он включает в себя максиму, гап, октаву итп. Нахуй, скажем, мне ещё одна максима, если она у меня уже стоит? Короче, нерикомендую такой подход, отдаёт спермоблядством каким-то.

Бнвач, а что там с попытками доказательства равенства/неравенства классов P и NP? С 2010 года тишина...

На ленте есть статья про Семереди и его теорему, за которую он получил Абелевску премию http://www.lenta.ru/articles/2012/03/22/semeredi/

Однажды, когда Сассмен был ещё стажёром, к нему зашёл Минский и застал его в момент отладки очередной программы для PDP-6. — Что ты делаешь? — спросил Минский. — Обучаю случайно связанную нейросеть играть в крестики-нолики, — ответил Сассмен. — А почему случайно связанную? — спросил Минский. — Не хочу, чтобы у неё было заложенное заранее мнение о том, как играть, — сказал Сассмен. Минский закрыл глаза. — Зачем ты закрыл глаза? — спросил Сассмен учителя. — Чтобы комната стала пустой. Тут Сассмен стал просветлённым.

Очень крутая презентация про модели представления гиперболических поверхностей. http://bulatov.org/math/1001/#(1)

Вчера в доме книге не удержался и купил книжку винберга по алгебре.

Кстати, всю ночь снилась вчерашняя лекция по вариационному исчислению. Отличные лекции!

Алгебраисты, у меня вопрос. Если S_n — группа пермутаций n элементов, как доказать, что для любого n>2 S_n=<(1,2),(1,2,…,n)>?

Оказывается, однозначно определить форму мембраны барабана по звуку невозможно. http://en.wikipedia.org/wiki/Hearing_the....._of_a_drum

Выглядит и ведёт себя как алгебраический геометр. http://ivan-gandhi.livejournal.com/18784.....#t21684617

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

Коротко и для идиотов про монады 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.