Из интервью с Леннартом Поттерингом: /So, get yourself a copy of The Linux Programming Interface, ignore everything it says about POSIX compatibility and hack away your amazing Linux software. It's quite relieving!/ http://archive.fosdem.org/2011/interview.....poettering Поубывав бы.

В нашей конторе не проводятся всякие быдлокорпоративы. Это ВИН, ящитаю

Чят, тут такое дело. Один товарищ обнаружил на улице двух почти только что вылупишвихся котят. Одного хочет взять себе, второй вероятно замерзнет, когда холода нагрянут. Кто взять готов?

Годное расставление точек над i с ЛОРа. Поддерживаю. *1. примитивные системы типов (навроде как в хаскеле) могут отловить лишь примитивные ошибки, логика все равно тестируется. 2. тесты на логику падают на примитивных ошибках в том числе, то есть в итоге эти ошибки один хер не пропускаются и профит от системы типов в области гарантий становится де-факто сильно преувеличен. 3. Не примитивные системы типов чрезвычайно сложны в использовании, перспективы использования ЯП с подобными системами типов в качестве ЯП общего назначения - весьма смутны. Хотя, естественно, существует определенный класс задач, где этот инструмент весьма эффективен. 4. Из-за типодрочесртва CS последние десятилетия не развивается вообще никак - вместо поиска и развития альтернативных подходов легче написать диссер про никому не нужное расширение лямбда-хуямбда-омега-стрелки зигохистоморфическими препроморфизмами. Вообще, сложилось мнение, будто CS = исследования в области систем типов и больше исследовать нечего. Тупик, как есть. То есть, понятно, системы типов исследовать тупо _удобно_, но хотя бы в некоторой мере наука должна идти и от требований практики в том числе, потому что, блять, оно так всегда - полезные для практики задачи обычно неудобны. Хотя бы потому что помимо гарантии корректности у системы типов есть еще и конструктивистская функция. Но для адептов динамики это просто не понятно. Это для адептов статики непонятно, что есть и альтернативные ебле с типами подходы к разработке программ, потому что за узким статическим мирком для этих адептов жизни нет. И ты, кстати, ни о какой "конструктивистской функции" не упоминаешь - а прыгаешь по тредам, как еблан, и срешь везде на тему "но без типов даже факториала не напишешь".*

Решив тряхнуть стариной и засесть за просмотр какого-нить тайтла... Авотхуй - такое чувство, что в последние пять лет аниму снимают исключительно под ЦА битардов-педофилов: какое описание не читай, везде лоли, панцу, сисьге, задроты и комплексы... Где свежерисованные ПАФОС ДРАМА ЕБЛЯ И КРОВИЩА под БРУТАЛЬНЫЙ МУЗОН а-ля Berserk или Bastard, Хидеаки Анно вас побери??? И не говорите мне про Хигурашей

Узнал, что олимпиаду по математике и криптографии, в которой я занял второе место, проводит академия ФСБ. Дилемма.

Ну никак не могу застваить себя работать при ярком солнечном свете. Даже более-менее приличную запись в блог написать не могу. WHYYY!?

Только что осознал, что сегодня... ДВАДЦАТЬ ЧЕТВЕРТОЕ ОКТЯБРЯ! Честное слово, думал что сейчас где-то число шестнадцатое, или семнадцатое, а тут внезапно ДВАДЦАТЬ ЧЕТВЕРТОЕ!!!

Два года назад лечился у стоматолога. Сейчас снова те же зубы чернеют. Чищу ежедневно, минимум дважды, периодически полоскаю полость рта. Wtf!?

На истории напрямую говорят, какая анархия плохая, ведь никто ничего полезного не делает, все только спят, грабят и убивают. У меня РОТТЕРДАМ. Наверное, это из-за возраста.

Самая большая проблема в знаниях по безопасности: растущая паранойя изучающего.

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

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

Меня начали презирать за то, что меня привлекает фашистская эстетика (именно эстетика, а не идеи). Зигу кинуть, что ли?...

Вот снова я стараюсь не материться и практиковать литературно-имиджбордовый стиль общения. Нихуя же, блять, не получается! Т_Т

Внезапно утро на работе в субботу лучше, чем могло быть дома.

Купил молоко и кашу, хотел сделать себе кашки. Начал кипятить молоко - оно стало выделять воду и превращаться в какую-то хрень. Глянул - купил топленую. Думаю, ничего, так выпью. Начал пить - кислятина. FAIL. Кипячу воду чо.

Поставил свежую xubuntu, обновился, стал настраивать. Обрадовался, потому что это гуано даже подцепило d-link'овскую DWA-525. Правда, через ndiswrapper, но всё равно подцепило же. Завелась Audigy Live, я на ней послушал Битлов, круто, тёплый ламповый звук. Стал настраивать miredo и пр. финтифлюшки. И тут, блджад, оно всё повисло и упало, убив при этом иксы и NFS. То есть, упало так, что проще поставить что-то заново, чем пытаться вытянуть это за уши из говна. Зарекался же править руками конфиги убунты, но нет, блджад, снова несколько часов, выкинутых из жизни.

Лучше бы я не брался за установку gnome в тестовом дебьяне. Он риальне весь покуроченный в связи с плавным переходом на третью версию. Права на менюшки выставлял руками, о монтировании разделов кликом в наутилусе пришлось забыть. Купился на новую систему обновлений LMDE, сделал даунгрейд до их latest-репозитория, поставил систему почти что с нуля. И чёрта-с-два, та же самая херня. Теперь у меня есть LMDE и кривой gnome. Видимо, поставлю себе обратно Xfce, этот-то хотя бы работает. Про гнома явно придётся забыть до тех пор, пока третий не перенесут в wheezy целиком.

Слухи говорят, что спустя полтора месяца после того, как участники ЛИАНы массово отписались от рассылки АДА, местные обитатели снова затевают какой-то товарищеский суд и показательную порку. Чёрт побери, не организация анархистов, а какой-то комитет комсомола. Типа, опять Ваня Петю дураком назвал, давайте скажем наше дружное "нет!" буржуазным аморалистам, ага. Гной и совок.