вторник, 25 августа 2009 г.

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 ни о чем не говорит). Плохих чисел не существует :) .

среда, 19 августа 2009 г.

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

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

суббота, 15 августа 2009 г.

!ИП

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

пятница, 14 августа 2009 г.

Эмоции

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

вторник, 11 августа 2009 г.

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

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

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

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

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

воскресенье, 9 августа 2009 г.

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

Если мысли ограничены, то они сходятся. Услышано от В. А. Зайцева (с) (как пародия на теорему Вейерштрасса) У них там на [в] Украине 31.07.2009 принят довольно прикольное распоряжение президента ( 161/2009-рп). Звучит так:
РАСПОРЯЖЕНИЕ ПРЕЗИДЕНТА УКРАИНЫ № 161/2009-рп Об отмене Распоряжения Президента Украины от 6 марта 2009 года № 38 Отменить Распоряжение Президента Украины от 6 марта 2009 года № 38 <Об отмене Распоряжения Президента Украины от 13 декабря 2007 года № 292>. Президент Украины Виктор ЮЩЕНКО 31 июля 2009 года
В обычной-житейской, и в математической логике имеется снятие двойного отрицания. А вот в конструктивной такой "хак" обычно запрещен. Иначе появляется множество довольно странных теорем, основанных на "Пусть решение не существует. Как-то придем к противоречию. Значит неверна исходная посылка: неверно, что решение не существует. Значит оно существует". Покажи! :) . Как не было решение, так и не видим. Классикой считается теорема Банаха-Тарского. Любой здравый человек скажет, "Что за фигня?!". А вот в стандартной математике это допустимо. К счастью, все программисты пользуются конструктивной логикой (хотя большая часть из программистов, похоже, даже и не догадывается об этом факте). Не то, что бы в булевом выражении не снимает двойное отрицание, а более высокоуровневом плане. Программа - конструктивно. А что программа должна существовать - не очень (упомянем изоморфизм Карри-Ховарда). Так вот, а может стоит использовать в юридических и государственных делах конструктивную логику? Ладно, замахнулся я. Может хотя бы просто логику начнут использовать... Конструктивизм - это что-то построить, найти решение. А как доказать, что чего-то не существует. Взять и построить то, чего не существует :) Об ограниченности мыслей: я и один мой Друг (независимо и асинхронно) после того как увидели распоряжение мгновенно пришли к одной и той же схеме. А что если организовать цикл: приказ номер 51: приказ номер 63 (который выйдет через 2 недели) считать недействительным. И в другую сторону. Для российской действительности в конце декабря стоит принимать следующую вариацию: все указы, принятые 1-го января считать недействительными. ЗЫ. Мои религиозные убеждения требуют конструктивизма. Пока мне не покажут, что Что-то существует, я не верю.

понедельник, 3 августа 2009 г.

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

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

воскресенье, 2 августа 2009 г.

Солнце

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