May. 8th, 2010
Чижик-Пыжик ньюс
May. 8th, 2010 03:09 pmСегодня утром старшой, белогрудый Чижик, выскочил из гнезда и сидел на ветке как этот.
А потом он улетел.
И мы не смогли его найти; до сих пор не можем. Сбежал. Возможно, он уже достаточно вырос, и летает теперь, питается с фуксий.
Серогрудая Пыжик (с перстами пурпурными Эос) сидит пока дома; вертит головой, крыльями трепещет редко. Мамашку тоже давно не видели.
Так что, пока мы их называли... удрал наш цыплёночек.
А потом он улетел.
И мы не смогли его найти; до сих пор не можем. Сбежал. Возможно, он уже достаточно вырос, и летает теперь, питается с фуксий.
Серогрудая Пыжик (с перстами пурпурными Эос) сидит пока дома; вертит головой, крыльями трепещет редко. Мамашку тоже давно не видели.
Так что, пока мы их называли... удрал наш цыплёночек.
бессвязный дыбр
May. 8th, 2010 03:24 pmВчера смотрели Cheeky Тинто Брасса. Перевёл бы это как "Попочка". Тинто Брасс любит жопы снимать; в этом фильме героиня примерно 80% времени голая рассекает; а трусы надевает только в конце фильма, чтобы полицая напугать.
Сегодня же утром досмотрели Moonlight Mile - прекрасный фильм с Дастином Хофманом, Сюзан Сарандон и прочими блестящими артистами. К Дастину одна претензия - давайте он уже перестанет играть Смерть Коммиовяжера!
Потом дописал блог про Option: Just posted an article, A Better Option for Java.
Потом съездил на велике по моему обычному кругу, 39 км, с горкой. Что-то странное; проехал за полтора часа, не особо и устал. Такое ощущение, что я в более хорошей форме, чем был 20 с лишним лет назад. Или велосипед мой новый лучше, чем был мой старт-шоссе, на котором я до Новгорода гонял. :):):)
Пообедали; подруга поехала на почту, а я сижу, надо слайд-шоу про опцию приготовить, да потом разобраться с монадичностью опции в скале.
А, круто, по каналу "био" рассказывают всякую хуебень про НЛО, в частности, про то как советские космонавты видели загадочные блестящие предметы, преследовавшие станцию типа салют.
Я я помню, как Гречко по ящику рассказывал, как они там над болгарскими космонавтами прикалывались, пугали их НЛО.
Делается так (только советский космонавт способен на такое): пинаешь изо всей силы иллюминатор. Т.к. микрометеориты слегка потюкали уже иллюминатор, наружная сторона хрупкая, и от неё откалываются мелкие кусочки стекла. Эти кусочки летают на расстоянии, скажем, метра (по околостанционной орбите, наверное); но через толстое стекло да в космосе хрен поймёшь, на каком они расстоянии. И вот они подтаскивают болгарского космонавта к иллюминатору и говорят: видишь, на расстоянии 600 метров сияющий объект? НЛО, всё время за нами следуетю. И болгарский космонавт трепещет.
А теперь и до американского телевизора доехало. Кушайте, не обляпайтесь.
Сегодня же утром досмотрели Moonlight Mile - прекрасный фильм с Дастином Хофманом, Сюзан Сарандон и прочими блестящими артистами. К Дастину одна претензия - давайте он уже перестанет играть Смерть Коммиовяжера!
Потом дописал блог про Option: Just posted an article, A Better Option for Java.
Потом съездил на велике по моему обычному кругу, 39 км, с горкой. Что-то странное; проехал за полтора часа, не особо и устал. Такое ощущение, что я в более хорошей форме, чем был 20 с лишним лет назад. Или велосипед мой новый лучше, чем был мой старт-шоссе, на котором я до Новгорода гонял. :):):)
Пообедали; подруга поехала на почту, а я сижу, надо слайд-шоу про опцию приготовить, да потом разобраться с монадичностью опции в скале.
А, круто, по каналу "био" рассказывают всякую хуебень про НЛО, в частности, про то как советские космонавты видели загадочные блестящие предметы, преследовавшие станцию типа салют.
Я я помню, как Гречко по ящику рассказывал, как они там над болгарскими космонавтами прикалывались, пугали их НЛО.
Делается так (только советский космонавт способен на такое): пинаешь изо всей силы иллюминатор. Т.к. микрометеориты слегка потюкали уже иллюминатор, наружная сторона хрупкая, и от неё откалываются мелкие кусочки стекла. Эти кусочки летают на расстоянии, скажем, метра (по околостанционной орбите, наверное); но через толстое стекло да в космосе хрен поймёшь, на каком они расстоянии. И вот они подтаскивают болгарского космонавта к иллюминатору и говорят: видишь, на расстоянии 600 метров сияющий объект? НЛО, всё время за нами следуетю. И болгарский космонавт трепещет.
А теперь и до американского телевизора доехало. Кушайте, не обляпайтесь.
конечные автоматы для верификации
May. 8th, 2010 03:29 pmТут в разговоре про очередного, имхо, шарлатана, профессора Шалыто, выяснилось, что есть такая идея, будто для верификации программ достаточно FSM, конечного автомата.
Вот скажите мне, возьмём такой пример: даден алфавит, {a, b}, и две программы, одна генерирует все палиндромы в этом алфавите, вторая проверяет, что данная строка является палиндромом.
Скажите, какой конечный автомат может верифицировать эти программы?
Вот скажите мне, возьмём такой пример: даден алфавит, {a, b}, и две программы, одна генерирует все палиндромы в этом алфавите, вторая проверяет, что данная строка является палиндромом.
Скажите, какой конечный автомат может верифицировать эти программы?
новое слово в математике: тетрайдер
May. 8th, 2010 03:50 pmкак покрыть симплексы тетрайдерами
(Кто б не поленился сказать автору, что тетраэдр тоже симплекс...)
(Кто б не поленился сказать автору, что тетраэдр тоже симплекс...)
не первый раз уже повторяю
May. 8th, 2010 04:31 pmРебята, не хватит ли уже вам ходить праздновать
Всё уже, проехали. Это было давно. Попразднуйте что-нибудь, к чему вы ЛИЧНО имеете какое-нибудь отношение. (Я лично праздную 22 августа, ЕВПОЧЯ.)
А если Вы лично ни к чему не имеете никакого отношения, так Вам, значит, нечего и праздновать.
Болельщики, блин.
Празднуйте на доброе здоровьичко. Чем, действительно, русские хуже евреев. Евреи празднуют Хануку, русские - День Победы.
Я, видимо, оскорбил религиозные чувства. Прошу прощения. У меня с этим проблемы.