chmod +d -b ~

Чтоб не было следов - повсюду подмели...
Ругайте же меня, позорьте и трезвоньте!
Мой финиш - горизонт, а лента - край земли,
Я должен первым быть на горизонте.
Володя.

Тру-линуксоиды скажут, что нет у чмода таких параметров. Отвечу, что получил права (хотя любой дорожник поправит на "водительское удостоверение").

Потребовалось, правда, три попытки в городе. В первых двух налажал на одном и том же перекрестке при развороте (в первый раз, однозначно: заметил прилегающую территорию справа, решил ее захватить. Во второй уже все развернулся, и тут инспектор начал паниковать, хвататься за руль. Трусливый попался. Там с моей субъективной точки не очевидно было. Хотя в итоге сдал этому же инспектору).

Причем сдавал во второй раз 13(!) августа. Даже не знаю, в чем причина. Тогда немного "О фатальных датах и цифрах" (у Володи Высоцкого, кстати, 25 часто в биографии встречается). Еще в детском саду (лет 4-5) нас зачем-то повезли в профилакторий на день, и я зачем-то начал умножать 25 * 25. Я к тому времени знал, что 4 Ленина (25 советских рублей) составляют круглое число 100. Делить я еще не умел, пришлось четверками набирать до 25. Промежуточной памяти хватило, и я даже получил правильный результат = 625. О чем и сообщил сидевшей рядом воспитательнице. Она задумалась, причем примерно на столько же. У ней, типа, получилось столько же. В последствие, она сообщила это моей маме, с предположением что это мне мой старший брат(+6 лет) подсказал. На что был получен ответ, что "старший брат не в состоянии такое делать, а если бы и мог, то не стал бы такой фигней заниматься".

А другой факт, о степенях 5(5^2, 5^4 .. 5^(2^n)) я увидел совсем недавно(ghci/hugs нужен):

pow a 0 m = 1
pow a 1 m = a `mod` m
pow a b m = ((pow a (b `div` 2) m) ^ 2 * (pow a (b `mod` 2) m)) `mod` m
map (\x -> pow 5 x $ 10^80) $ map (2^) [1..80]

или проще

[pow 5 y $ 10^x | x <- [1..80], y<-[2^x]]

Заметим, что суффикс стабилизируется при каждом возведении в квадрат (общий суффикс увеличивается на 1 по длине). Странненько и красивенько.

В крайний четверг, когда играл в шахматы, громко стуча картами об доску, запнулся лыжами об край бассейна и ... (если коротко, то на футболе в процессе борьбы наступил на мяч и растянулся, поставил небольшой "фонарь"). На удостоверении это можно различить, а меняют его раз в 10 лет. И чего мне теперь, все время с фонарем ходить ) ?

ЗЫ. Только что узнал, брату дали капитана. 25 - нормальное число. (26 тоже - mod 13, 27 - куб, 28-совершенное, 29-простое... "Каждое число было другом Рамануджана ..." Мне вот 68 ни о чем не говорит). Плохих чисел не существует :) .

Вера, Надежда, Любовь

Доказательство, Гипотеза, сам Доказал.

!ИП

-У тебя какой ip? Уж, не ниже твоего! Речь не про ip, iq, а про ИП. Вчера закрылся как индивидуальный предприниматель. На работе в начале года решили немного оптимизировать, и все разработчики стали ИП (это все равно "белая" схема, ибо все налоги все равно платятся, только у бухгалтера и остальных добавилось "хождения". И это лучше чем всякие серо/черные схемы, так как кроме дополнительных временных затрат нет какого риска). Хочется сказать спасибо нашей налоговой (неожиданная фраза, правда? :) ). Реально. Большинство людей, которые с ней (с налоговой) не сталкивались, ее боятся. Я тоже боялся. Но побывав там 6..8 раз ничего страшного не обнаружил. Нормальный детерминированный конечный автомат. Если знаешь состояния, и граф переходов, то все четко: отдал документы в одно окошко, получил в другом. А вот когда я бывал в универовской бухгалтерии... Там да... легко нарваться на цикл, или нет человечка, который может поставить визу, или еще что-нибудь. Удивило, правда, что от налоговой к налоговой (районные) отличаются немного бизнес-процессы. У коллег бывало требовали немного другой набор документов. Странно, конечно. Что бы открыться надо 550 р, 1 неделя, поход в банк 4 раза (оплатить 1 раз, открыть счет 3 раза), 1 раз нотариус, 3 похода в налоговую (подать заявление, получить документы, подать об открытии счета). Что бы закрыться надо 230 р, 2 недели, 3 вылазки в банк (1 раз оплатить, 2 раза закрыться), 1 раз нотариус, 3 похода в налоговую, 2 похода в пенсионный фонд. На каждую вылазку надо примерно 1 час (включая дорогу). Но зато, платите только 6% по упрощенке. А если с работодателем, то от 126 рублей, до Вас дойдет 87 (первоначально = 100, -26% ЕСН, -13 подоходный). 0.69 (~87/126) < 0.96. Когда я побывал у нотариуса, фраза "шито белыми нитками" приобрело другой смысл. Они реально берут белые нитки и прошивают Ваш документ. На всякий случай прочитал Налоговый кодекс. Только первый том, на второй меня не хватило(там price-лист). Ощущение, что ты читаешь всю историю файла с системе контроля версий (или blame в svn) (куча ссылок, это отменено таким то приказом, смотреть туда...). Если бы весь остальной гос. аппарат так же работал как налоговая, то меньше бы приходило к ним людей с оружием.

Эмоции

Эмоции, как известно, это недостаточность информации, и не более того. Аркадий и Борис. И в самом деле. Что такое страх, или радость? Не более чем эпиграф. Это выражение поменяло мою иерархию. Теперь в моем сознании есть классификация на: - низкоуровневые ощущения (голод, боль) - эмоции (страх, радость) - чувства (скука, хандра, счастье) Осталось научиться управлять эмоциями (то есть обладать информацией, или обладать нервной системой, способной переварить любые исходы). Эталоном, лично для себя, я считаю некоего Александра Вишнякова (бывший председатель ЦентрИзбиркома. В те времена когда у нас еще были хоть какие-то выборы). Он всегда ходил с каменным лицом, и даже когда на него специально пролили майонез, ни один мускул не дрогнул. Истерички типа Михалкова потом бьют с ноги, а Вишняков как будто "ВСЕ знал". Более уравновешанных людей я пока не видел.

Сильный, тупой, не человек

Однажды в школе-милиции проводили стандартный тест: есть три фигурки(квадрат, круг, треугольник). Надо эти фигурки вставить в соответствующее по форме отверстие. Результаты, поделились на две группы: на "ну очень сильные", и на "ну очень тупые". (надеюсь что анекдот)

Это я все время брату рассказываю, он у меня в органах работает (некто сказал, что главное что бы "не в членах"). Сегодня ставлю девайс на зарядку, воткнул usb в машину. Зарядка не началась. Перевоткнул. Все также. Перевтыкаю в соседний usb, и оказывается, что первоначально я дважды попал в ethernet. По ширине они совпадают...

 А вчера регистрировался в одном сервисе. В конце формы Captcha с фразой "Докажи, что ты человек". Я раз 8..10 пытался доказать. В итого оказалось, что тест пройден на первых итерациях, почему-то выкидывало на ту же форму. Ладно хоть догадался проверить, что уже зарегистрировался. А то мог бы и не доказать.

 Осталось сдохнуть как буриданов осел. Главное, не ходить по биссектрисам и серединным перпендикулярам.

Отрицание, конструктивизм и цикл

Если мысли ограничены, то они сходятся. Услышано от В. А. Зайцева (с) (как пародия на теорему Вейерштрасса) У них там на [в] Украине 31.07.2009 принят довольно прикольное распоряжение президента ( 161/2009-рп). Звучит так:

РАСПОРЯЖЕНИЕ ПРЕЗИДЕНТА УКРАИНЫ № 161/2009-рп Об отмене Распоряжения Президента Украины от 6 марта 2009 года № 38 Отменить Распоряжение Президента Украины от 6 марта 2009 года № 38 <Об отмене Распоряжения Президента Украины от 13 декабря 2007 года № 292>. Президент Украины Виктор ЮЩЕНКО 31 июля 2009 года

В обычной-житейской, и в математической логике имеется снятие двойного отрицания. А вот в конструктивной такой "хак" обычно запрещен. Иначе появляется множество довольно странных теорем, основанных на "Пусть решение не существует. Как-то придем к противоречию. Значит неверна исходная посылка: неверно, что решение не существует. Значит оно существует". Покажи! :) . Как не было решение, так и не видим. Классикой считается теорема Банаха-Тарского. Любой здравый человек скажет, "Что за фигня?!". А вот в стандартной математике это допустимо. К счастью, все программисты пользуются конструктивной логикой (хотя большая часть из программистов, похоже, даже и не догадывается об этом факте). Не то, что бы в булевом выражении не снимает двойное отрицание, а более высокоуровневом плане. Программа - конструктивно. А что программа должна существовать - не очень (упомянем изоморфизм Карри-Ховарда). Так вот, а может стоит использовать в юридических и государственных делах конструктивную логику? Ладно, замахнулся я. Может хотя бы просто логику начнут использовать... Конструктивизм - это что-то построить, найти решение. А как доказать, что чего-то не существует. Взять и построить то, чего не существует :) Об ограниченности мыслей: я и один мой Друг (независимо и асинхронно) после того как увидели распоряжение мгновенно пришли к одной и той же схеме. А что если организовать цикл: приказ номер 51: приказ номер 63 (который выйдет через 2 недели) считать недействительным. И в другую сторону. Для российской действительности в конце декабря стоит принимать следующую вариацию: все указы, принятые 1-го января считать недействительными. ЗЫ. Мои религиозные убеждения требуют конструктивизма. Пока мне не покажут, что Что-то существует, я не верю.

О равенстве полов

Меня сегодня Муза посетила — Посетила, так немного посидела и ушла! Володя. Вот к мужчинам приходят Музы. Кто приходит к женщинам? Видимо, "вдохновение". Небритое такое Вдохновение, с волосатыми ногами. В русском - "города-побратимы". В английском "sister cities". Я не очень силен в "нагло-американском", поэтому про них много не будет (много не смогу). "Дерево" - среднего рода. "Бор" (не тот, который trie (структура данных), а тот, который лес)- "множество деревьев" ("множество" - то же что-то среднее, "совокупность" - женская) - все равно мужской. Основы теории типов не работают. Чисто лексически/синтаксически нельзя понять про род: "дрель", "ель", "картофель". Посмотрел на эсперанто, довольно все просто. Только система предлогов довольно богатая. Но выучить/понять/начать_применять основные 16 правил языка - легко. Только, имхо, увы, критической массы не наберется. Так и с языками программирования часто происходит, понятно что не "кака", не ширпотреб/мэйнстрим, но реально используется и развивается только кучкой фанатиков-гиков. И поговорить не с кем :( . В русском часто из 5 слов можно составить все 120 синтаксически корректных перестановок. А с ударением и интонацией - хоть все 137. С одной стороны хорошо, гибкость, чувства. С другой стороны - не туда ударение поставил, или выбрал не ту перестановку, и тебя поняли наоборот. А фраза "ага, сейчас"... Так ли уж нужен род в естественном языке? В английском практически отсутствует. У нас "смерть" в плаще и с косой, у них это среднее - "мужик в капюшоне с серпом". Она ушла — исчезло вдохновенье И три рубля, наверно на такси. Володя.

Солнце

И вряд ли астроном-старик Определит: на Солнце — буря, — Мы можем всласть глядеть на лик, Разинув рты и глаз не щуря. Володя. Наверное, все знают про 11-летний солнечный цикл. И будто он накладывается на всякие открытия. Две основные работы Эйнштейна (1905, 1916) типа попадают под цикл. В областях, которые мне интересны, кое что коррелирует. Манбер и Маейрс (СМ), Укконен (СД), Барроуз && Уилер (BWT) - все это в 1993-1995 гг. А если еще взять Уайлса и Большую теорему Ферма (1993 - первая попытка, 1995 - итоговая попытка). Все около 1993 года, что укладывается в цикл с Эйнштейном. А вот про результаты 2004 года сходу не скажу, еще видимо не все оценено. Да и из крупного, пожалуй, отмечу только проверка на простоту в P (и то 2002). Ждем 2015 :) .

Tycoon && parallel programming

Я такой глупый, что все время думаю. ДР. К текущему моменту все мои параллельные программы можно перечитать по пальцам одной руки среднестатистического человеке (не более 4.99). Причем в примерное в двух практически никакой синхронизации (тупо в несколько потоков, ждем результат). А в одной была 2 критические секции, но там тоже тупо lock на чтение/запись из одной структуры. Если коротко, то в параллельном программировании, я - O(1) (не то что бы абсолютный нуль, но около). А еще есть такая игрушка как TTD (Transport Tycoon Deluxe), экономическая, строительная, транспортная логистика. Для авто-, авиа-, и морского транспорта там все тривиально. А вот для ж/д все намного интереснее. Есть у меня станция с 11 поездами, реально 7 из них идут по одному общему направлению (остальные 2 + 2 с этими пересекаются только в стоке). Нормально пустить 7 поездов у меня не хватает мозга. Локи все равно случаются (не критический, там поезда так устроены, что после долгого ожидания он разворачивается). Такое ощущение, что сложность TTD и сложность параллельного программирования одного порядка. Закон Амдала тоже выполняется :) . Распараллелить можно, но доказать корректность ну очень сложно. Интуитивно эффективно распараллелить то же сложно. Критические секции, локи, семафоры, ... даже сложно сказать к чему это относится. В ПП некоторые вещи можно пустить на произвольное число потоков, в TTD же добавить еще один поток бывает невозможно (есть еще подзадача визуализации графа), пустить еще маршрут бывает просто негде. Так что TTD может и сложнее ПП. Последовательные задачи становятся скушными и тривиальными, когда придет параллелизм пока не понятно. И придет ли он вообще? Разговаривал как-то с людьми, которые занимаются ПП. Правда они больше математики, чем cs-ники (с вытекающими пробелами в теории сложности). Они показывали результаты, в которых для задачи с последовательным и очевидным алгоритмом за O(n^3) они придумали параллельный с четвертой степенью. В чем фишка я не понял (ну и что, что он параллельный?)

Минимальная система

Есть такие вещи, как теория систем, системный анализ. Изучают они (как видно из названия) системы. Интуитивное определение системы - нечто, состоящее из частей; "полезность" системы больше, чем сумма "полезностей" частей. Минимальный пример, который бы я привел, это салат. Вы пробовали когда-нибудь съесть баночку кукурузы, или пакетик "крабовых палочек"? А я пробовал, даже съел. Но с тех пор точно знаю, что салат - система.

Функторы на языках

Совсем не теория категорий, да и наши естественные языки (русский и импортный английский) точно не являются категориями. Но есть некоторые слова, которые чем-то похожи, и моему лексическому генератору необходимо сообщать, в каком же языке я сейчас пишу (что-то типа опций компилятора). ПрограМирование, аддресс, коффее, дЕзайнер (design[er]). Но когда я по-русски написал "Микхаил"... это уже слишком. Повторюсь, но естественные языки - зло.

13 && порнография

Казалось бы, как это связано. А вот как! У нас на работе прошла небольшая реструктуризация, и неожиданно появилась служба безопасности. Отрубили доступ из вне, флешки и сидюки не работают, интернет только через из прокси. Как будь-то я не смогу ничего унести/принести :) . Пошел зачем-то в википедии на 13 проблему Гильберта, проксяк говорит что доступ запрещен. Среди шести только что открытых страниц только на одну доступ запрещен. Думаю, что за фигня... В названии "'" был, проверил не в этом дело. Оказывается, в 13 (thirteen) как подстрока содержится "teen" (как известно, переводится как "молодежь"). Но эта подстрока так же в черном-порнографическом-списке. Посмотреть ссылку смог только через гугловый кэш, да и то там пришлось подстроки менять.

uptime

Обновил очередной максимум по uptime-у. На моей домашней unix-машине еще пять минут назад uptime составлял 107 суток. Гады :) . Они по-любому специально раз в три месяца свет на секунду вырубают. С этой стороны ноуты лучше. Даже роутер выдержал. Микроволновка - нет. Уже несколько раз (не менее 4) uptime превышал 90 суток. Такое ощущение, что у них тоже все спланированно, когда рубильник жать... Стоит себе тихо, не шумит (ибо самодельные термодатчики рулят). На будущий год машине будет 10 лет. При ней ушло в иной мир 2 винта, 2 сидюка, сетевушка, моник тоже не выдержал три года назад. Когда ж винты нормальные сделают на флехах? Это единственное что сейчас чуть слышно по ночам, если прислушиваться.

images

Сегодня натолкнулся на две прикольные картинки. Первая, надеюсь, про будущего ФП-шника. Я тоже ненавижу side-эффекты. Вторая, прикольная

Разница

Что большинство женщин делает при помощи бедра, но только некоторое число грубых мужчин делает то же самое при помощи ноги? Ответ: открывает дверь наружу. Не знаю почему. Какие-то физико-психологические причины..? Видимо массы/импульса всего тела хватает, а по-другому (например, с ноги) обувь не позволяет. Лично мне хватает сил рукой открыть.