Забавный сайт http://kernle.org/ Интересно, и ведь кому-то не влом было покупать домен только для того, чтобы написать, мол, вы ошиблись адресом? Странные люди...

Кстати, по ссылке из #UOFBB0 зашёл на ленту.сру и там нашёл, помимо прочего, новость о смерти бывшего юриста ЮКОСа Василия Алексаняна: http://lenta.ru/articles/2011/10/04/alexanyan/ Вообще, интересно, кто-нибудь считал, сколько там уже трупов из фигурантов? Не то что бы я очень инетесовался ЮКОСом per se, но такие расклады вскрывают системную проблему в российском "правосудии". Люди в тюрьмах гибли и до, и после ЮКОСа, но эти богаты и знамениты, о них так просто не забудут.

Обнаружен сайт компании, собирающей навороченые YOBA-компы с прыщами: http://zareason.com/shop/ Halleluyah, I knew this day would come!

Ещё о чудесных воскресениях: http://www.merproject.org/ Похоже, мииго/маемо тоже восстают из пепла.

Посоны, kernel.org воскрес!

Федеральный список экстремистских материалов на сайте российского Минюста: http://www.minjust.ru/ru/activity/nko/fedspisok/ Как-то там в основном нацики и исламисты, а также прочие сектанты. Даже Стомахина почти нет, только один номер Радикальной политики, и то, похоже, не тот, за который его посадили. Алсо, а где анархисты? Аресты и посадки за "экстремизм" у анархистов были, а материалов, выходит, не было? Нихуя не понимаю.

А таки шо, все конечные поля одного порядка изоморфны? Ну нихуя ж себе, вот так сюрприз! О.о

Собственно, в продолжение #CUXZGO Как рекомендовал этот чувак Кроа-Хартман в https://lkml.org/lkml/2011/9/30/425 поставил debsums и проверил свои пакеты. Найдено там у меня куча проблем из-за несуществующих файлов (естественно, по большей части из-за /usr/share/doc*, которые я тупо удолил), но также выяснилось, что дохуя пакетов даже не имеют md5sums вообще. В том числе самые базовые, типа binutils. Вот полный список: http://pastie.org/2625915 Ну и вот нахуй так жить? Ёбаный стыд же.

Палю годноту: http://rutracker.org/forum/viewtopic.php?t=3609864 Technotise - Edit i ja Расовый сербский мультик в жанре типа киберпанка. Действие происходит в Белграде в каком-то неопределённо-далёком техногенном будущем. Омск, кровь и сиськи присутствуют в умеренных количествах. Кстати, в плане рисовки похоже на древнее аниме годов 70-х, да и в плане подачи, я думаю, олдфаги найдут немало общего — моэ там, всякие кавайные робо-зверики...

http://www.kasparov.ru/material.php?id=4E81CE0418D09 В Тайване сняли мультик о россиянах, расстроившихся из-за возвращения Путина. >Тайваньская медиакомпания выложила в Интернет анимационный видеоролик о том, как россияне расстроились из-за выдвижения премьера Владимира Путина на третий срок. Ролик появился в сети 26 сентября на сайте компании NMA. В ролике глазами сотрудников тайваньского телевидения показана краткая история России за последние десять лет: сначала Путин приходит на смену пьяному старому человеку, изображающему Бориса Ельцина, и бьет себя в грудь. После этого показаны бедные россияне на холодных серых улицах, которые неожиданно преображаются: на видео появляется женщина в дорогом пальто и иномарки, проезжающие по городу. На противоположной стороне улицы люди в штатском под руки уводят человека с плакатом "Путин должен уйти". Как объясняет диктор за кадром, это символизирует экономический рост и сворачивание гражданских свобод, случившиеся при Путине. Следующий эпизод связан с приходом президента Дмитрия Медведева. Он изображен в виде робота, которым управляет Путин. Персонаж, изображающий премьер-министра, в серебряной перчатке держится за джойстик, который координирует движения персонажа, отдаленно похожего на Медведева. Согласно сюжету, президент встречается с главой США Бараком Обамой и говорит о гражданских свободах, реформах и главенстве права. Так продолжается до тех пор, пока анимированный Путин не подходит к президентскому столу. После этого персонаж, изображающий Медведева, покорно встает с места и уступает президентское кресло Путину. Ролик заканчивается сценой, в которой опечаленные россияне с недоумением смотрят по телевизору на Путина, бьющего себя в грудь. Напомним, что о своих намерениях баллотироваться в президенты Путин сообщил на съезде "Единой России" 24 сентября. В тот же день Медведев объявил, что не собирается конкурировать с Путиным, и тот предложил нынешнему президенту премьерское кресло. Собственно, ролик здесь: http://www.nma.tv/putin-stint-russias-president/ Он на ютубе, да.

Greg Kroah-Hartman: Помимо взлома Kernel.org были скомпрометированы системы некоторых разработчиков http://www.linux.org.ru/news/security/6818331 https://lkml.org/lkml/2011/9/30/425 Блин, прыщебляди, сколько можно сосать? Заебали, почините.

Вспомнил тут вот про эту игру: http://btanks.sourceforge.net/blog/langswitch_lang/ru/ Давно не обновлялась. А жаль, прикольная игрушка была, нарисована неплохо, да и сайт сделан хорошо и с юмором. Может быть кто-нибудь сможет выйти на авторов и продолжить проект?

Насчёт лекции Чапман в СПбГУ все уже разобрались? http://www.echo.msk.ru/blog/troitsky/816076-echo/ есичо.

Вот, кстати, #O36YY8 мне напомнил. Я вот уже много раз слышал, что на Кубе типа очень охуенное здравоохранение, чуть ли не лучшая медицина в мире. Я лично не представляю, как? Хороших врачей-специалистов там, как я понимаю, нет — хорошие врачи, в силу своей гнилой мелкобуржуазной сущности, предпочитают-таки работать за деньги, а не за госпаёк. Хорошее медицинское оборудование и медикаменты тоже денег стоят, да и вряд ли его туда можно ввезти, всё-таки экономическая блокада, все дела. Так как там может быть хорошая медицина? Есть, конечно, вариант "подготовить своих медиков, а потом их держать за железным занавесом и не выпускать из страны", но это тоже тяжело — для создания школы нужно изначально как-то ввезти хороших специалистов и педагогов, а они, как я понимаю, не горят желанием ехать в какую-то тоталитарную бананию учить там студентов за паёк с подписью фиделя, когда можно работать в нормальном университете и получать приличные средства. Опять же, любая научная, медицинская или инженерная школа за пару десятилетий скатится в говно и загниёт без контакта с иностранными коллегами и доступа к новейшим разработкам, а я как-то не замечаю засилия кубинцев на медицинских конференциях в странах первого мира (если уж на то пошло, там больше всего индусов и корейцев). В общем, нет там никаких оснований, чтобы там была хорошая медицина и, судя по всему, её там и нет: http://en.wikipedia.org/wiki/Cuban_healthcare Тогда откуда корни этого мифа о кубинском здравоохранении? То есть, я понимаю, что комунистическая пропаганда и всё такое, но я про это слышал и от людей, которые не особо симпатизируют левым идеям вообще и кубинском режиму в частности. То есть, должны же быть какие-то свидетельства в поддержку мифа?

Собственно, пока я опять не погрузился в свои студенческие дела, можно подумать о чём-нибудь отвлечённом. Например, вот недавно я заметил, что самые элементарные арифметические действия с floating point порождают странную погрешность во многих языках программирования. Как, я думаю, все здесь знают (и ниразу не спасибо тем, кто мне это нихуя не объяснил), это получается от того, что далеко не все рациональные числа можно записать в виде конечного флоата. Например, в десятичной системе так можно записать только числа вида n/(2^p*5^q) для целого n и неотрицательных целых p и q. Если число не имеет такую форму, то получится бесконечная (периодическая) десятичная дробь. В двоичной системе дело обстоит ещё хуже, потому что там конечным количеством цифр после запятой можно записать только n/2^p. В общем случае, в n-арной системе счисления можно записать только числа с таким делителем d, который не содержит простых множителей, которых нет в n. Так вот, у меня возник вопрос: какая система лучше всего в том смысле, что вероятность, что рандомное рациональное число можно будет записать в виде флоата без сокращений будет максимальной, и при этом не возникнет новых проблем? С одной стороны как бы понятно, что нужно взять n=2*3*...p_r произведение первых r простых чисел и чем больше r тем лучше, но если n будет слишком большим, то не возникнет ли новых проблем с вычислениями? Может есть какой-нибудь оптимум, скажем, 6?

Короче, ниасилил я этого принстонского чувака. Какое-то там всё ехал модель через модель, не люблю такое. Да и некогда особо разбираться. Алсо, всем похуй на мои потуги, ага.

Собственно, взял перерыв в своих собственных студенческих занятиях и читаю outline доказательства этого чувака. Красиво пишет, зараза. >Bellantoni, Cook, and Leivant have revealed a profound difference between polyno- mial-time recursions and all other recursions. The recursions constructed by the BCL schema enjoy a different ontological status from recursions in general. In the former, recursions are performed only on objects that have already been constructed. In the latter, for example in a superexponential recursion, one counts chickens before they are hatched (and the chicks that they produce as well).

http://avva.livejournal.com/2369857.html Эдвард Нельсон, профессор Принстонского университета, объявил, что он доказал противоречивость арифметики Пеано (PA) Он выложил эскиз своего доказательства; полное и строгое доказательство он все еще пишет, и собирается выкладывать его по частям вместе с формальной проверкой с помощью программы, которую он сам написал. Нельсон - не сумасброд, а настоящий математик. Его доказательство в принципе несложно, и опирается не недавно найденное новое доказательство второй теоремы Геделя о неполноте (той, которая утверждает, что достаточно сложная система аксиом не может доказать свою непротиворечивость, если она непротиворечива). Я достаточно помню в этой области, чтобы понять его основные идеи, но недостаточно, чтобы строго их проверить. Мне кажется очень вероятным, что где-то у него есть ошибка. Думаю, в ближайшие пару дней это станет ясно. P.S. Можно помечтать о том, что будет, если ошибки нет. Конечно, это тогда автоматически самый знаменитый и важный результат в логике за последние сто лет, и немедленный кризис в основаниях математики. Если PA противоречива, то и *теория множеств*, на которую опирается вся современная математика, тоже *противоречива*. Будет кризис в основаниях математики, похожий на тот, что случился с открытием парадокса Расселла. Нужно будет заменить теорию множеств на такую, которая все еще достаточно мощна, чтобы поддерживать современную математику, но не доказывает полную неограниченную индукцию в арифметике. Не факт, что это будет просто сделать. "Обычные" математики, не связанные с логикой, конечно, особенно волноваться не будут, как не волновались они и 100 лет назад. Но все равно, если это верно, то гигантской важности результат.