"А самые злые гопники - т.н. русские, то есть греки из СССР, которые так нихуя не выучили греческий, но научили все Фессалоники правильно отвечать на вопрос "есть закурить?"

Собственно, взял перерыв в своих собственных студенческих занятиях и читаю 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 лет назад. Но все равно, если это верно, то гигантской важности результат.

http://en.wikipedia.org/wiki/List_of_act.....er_regions А что же с ДВР?

http://www.linux.org.ru/news/linux-general/4843346 "Кратко о результатах: больше всех памяти съел легковесный браузер uzbl, за ним быстрый Chromium, за ними Rekonq и Opera, далее с большим отрывом leechcraft, midori, firefox. Самым лёгким оказался браузер arora."

"Without slaves, who would pick the cotton? Is doesn't matter, slavery is wrong. Without the state, who would build the roads? Doesn't matter, statism is wrong. Necessary and evil are mutually exclusive." - Jim Object

Вышел очередной Humble Indie Bundle http://www.humblebundle.com/ Я так понимаю, опять говно от Frozenbyte?

http://juick.com/1546578 "вот стоит десять человек на старте. Побежали к карете. Так вот кто сказал, что тот, кто первым добежит, сможет ей лучше всех управлять. Так выглядит практически любая драка за власть."

"BACKEND (CATCHED) ERROR! IMMEDIATELY REPORT THIS SHIT TO MY STUPID AUTHOR!!! Traceback (most recent call last): File "/home/bnw/bnwach/bnw_xmpp/stupid_handler.py", line 52, in idiotic defer.returnValue((yield handlers.parsers[iparser].handle(xmsg))) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/internet/defer.py", line 1018, in _inlineCallbacks result = result.throwExceptionIntoGenerator(g) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/python/failure.py", line 350, in throwExceptionIntoGenerator return g.throw(self.type, self.value, self.tb) File "/home/bnw/bnwach/bnw_xmpp/parser_redeye.py", line 107, in handle result=yield handler(msg,options) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/internet/defer.py", line 1018, in _inlineCallbacks result = result.throwExceptionIntoGenerator(g) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/python/failure.py", line 350, in throwExceptionIntoGenerator return g.throw(self.type, self.value, self.tb) File "/home/bnw/bnwach/bnw_handlers/base.py", line 46, in newfun defer.returnValue((yield fun(request,*args,kwargs))) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/internet/defer.py", line 1018, in _inlineCallbacks result = result.throwExceptionIntoGenerator(g) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/python/failure.py", line 350, in throwExceptionIntoGenerator return g.throw(self.type, self.value, self.tb) File "/home/bnw/bnwach/bnw_handlers/base.py", line 67, in new_fun defer.returnValue((yield fun(request,*args,kwargs))) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/internet/defer.py", line 1018, in _inlineCallbacks result = result.throwExceptionIntoGenerator(g) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/python/failure.py", line 350, in throwExceptionIntoGenerator return g.throw(self.type, self.value, self.tb) File "/home/bnw/bnwach/bnw_handlers/command_post.py", line 104, in cmd_recommend ok,rest = yield bnw_core.post.recommendMessage(request.user,message,comment) File "/home/bnw/virtualenv/lib/python2.6/site-packages/twisted/internet/defer.py", line 1020, in _inlineCallbacks result = g.send(result) File "/home/bnw/bnwach/bnw_core/post.py", line 232, in recommendMessage _ = yield tuser.send_plain('@%s recommended your message #%s, so %d more users received it. %sp/%s' % (user['name'],message_id,recipients,gc('webui_base'),message_id)) NameError: global name 'gc' is not defined Command which caused this exception: r -m FFF3GR"

Странно. Кажется работает. Зарепортьте пазязя сюда страницы и фичи которые отвалились.

Поставил обновляться песью ссанину. Кончилось место на /. Оказывается nilfs_cleanerd не запустился. Гондо~н.

Когда разговариваю, бывает заикаюсь на "р" и звонких шипящих, а когда рассказываю - вообще не заикаюсь. Эм?..

Первый сезон куклобогов окончен. Джу следующего.

"Ты НИЧЕГО не понимаешь в работах СЯФТА. Это тебе не дешёвoe меха - добро аля Гайнакс, это не прописные истины аля Кости или 4с, это не сопли для девчёнок аля Кёани, это не третьесортные истории аля Мэдхаус или Санрайз, это не добренькая детская поебень аля Toei. СЯФТ - это полностью зафейленные произведения полные уныния, КАЧЕСТВА отсутствия сюжета и анимации, это самые убогие идеи в индустрии. Каждое произведение СЯФТ можно номинировать на анимационную Золотую Малину Смотри, сукa, вот так выглядит настоящее Говно." http://lurkmore.ru/Копипаста:Bakemonogatari

На юге Китая (город Луфен, провинция Гуандун) толпа разгромила местное отделение Компартии и полицейский участок. Погромщики протестовали против конфискации земельных участков и продажи их компании-застройщику Country Garden (стоимость сделки составила 156,6 миллиона долларов). http://ru.tsn.ua/svit/na-yuge-kitaya-tol.....artii.html

Кто-нибудь, вызовите уже санитаров Всеволоду Чаплину! Теперь он борется в педофилией в литературе. Его недовольство вызвали "Лолита" Набокова и "Сто лет одиночества" Гарсиа Маркеса. http://rusnovosti.ru/news/165462/

Ничего не понимаю. И это программисты. Говно какое-то. Пидоры, блядь. Блядь, Шейнфинкель с Карри им дали комбинаторы. Комбинируй, комбинируй комбинаторы, блядь, "не хочу! хочу жрать говно!" Что такое? Это программирование? Это программирование? Суки. Мудачьё. Программисты. SCIP прочитали. Говно жрут. Придоры блядь ёбаные.

Сходил к @l29ah. Поставили трещетку. Стащил у него пластиковую хрень. Все очень здорово, осталось совсем немного, чтобы велек поехал. @l29ah поднял хороший вопрос: зачем мне нужен микроблог? Вообще мне нравится эта анархистская тематика и здорово что @matimatic сливает сюда литературу, жаль недостаточно времени чтобы нормально вкуриться.

[14:18:20]<atheros> I can tell why we are using mercurial and not subversion, darcs and git :D [14:19:46]<atheros> erm, waterlaz|work, wasn't it SVC that divided shell? [14:20:31]<atheros> naryl was pissed at l29ah all the time because of commit messages, not following our convention and stuff like that [14:20:35]<atheros> or was it even before? [14:21:46]<atheros> also you wanted darcs, I wanted subversion, naryl wanted mercurial, L29Ah wanted git :D