пара бессвязных заметок
Oct. 28th, 2011 05:11 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiПо ящику тут показывали документальный фильм о буднях проституток и их клиентов. Почему их преследуют, для меня загадка, но речь не об этом. Один досужий телекомментатор вычисляет: это она за минет берёт полтинник; ну сколько времени, 15 минут от силы, это 200 в час, а в год получается 400 тысяч, нехило!
Нет, я знаю, что телевидение создают идиоты для идиотов, но настолько-то уж.
Тем временем моя простуда прошла, и вот наблюдаю этот интересный переход. Сегодня я утром рано-рано проснулся и собрался было на работу, пока не встал и не понял, что лучше не вставать. И лежал и думал, как это так человек устроен, что когда болеет, то может целый день проваляться и не скучно, и даже может спать целый день... хотя я в принципе знаю людей, которые и в здоровом состоянии могут продрыхнуть целый день, но только уже иной раз и засомневаешься в их умственном здоровье.
И вот после обеда (а я опять бифштекс себе сбацал, пожарил на этот раз, как в жж велели) у меня вдруг пружинка эта завертелась, и я стал что-то такое всё делать. На работу уже поздно ехать, бог с ним. Но любопытная химия.
Из полезного сделал только вот что - сломал монаду на убунту. Не зря она зовётся х-монада. Перекомпилировал, перестартовал. Теперь она предлагает создать или новый документ или новый фолдер; на этом функциональность заканчивается. Хаскель в руках любителя - страшная сила. Главное, я уже сто лет линух не стартовал в текстовой моде, ё. Посмотрю на интернетах, конечно.
Ну и с задачей 44 трахаюсь, пока что мысленно.
Нет, я знаю, что телевидение создают идиоты для идиотов, но настолько-то уж.
Тем временем моя простуда прошла, и вот наблюдаю этот интересный переход. Сегодня я утром рано-рано проснулся и собрался было на работу, пока не встал и не понял, что лучше не вставать. И лежал и думал, как это так человек устроен, что когда болеет, то может целый день проваляться и не скучно, и даже может спать целый день... хотя я в принципе знаю людей, которые и в здоровом состоянии могут продрыхнуть целый день, но только уже иной раз и засомневаешься в их умственном здоровье.
И вот после обеда (а я опять бифштекс себе сбацал, пожарил на этот раз, как в жж велели) у меня вдруг пружинка эта завертелась, и я стал что-то такое всё делать. На работу уже поздно ехать, бог с ним. Но любопытная химия.
Из полезного сделал только вот что - сломал монаду на убунту. Не зря она зовётся х-монада. Перекомпилировал, перестартовал. Теперь она предлагает создать или новый документ или новый фолдер; на этом функциональность заканчивается. Хаскель в руках любителя - страшная сила. Главное, я уже сто лет линух не стартовал в текстовой моде, ё. Посмотрю на интернетах, конечно.
Ну и с задачей 44 трахаюсь, пока что мысленно.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-11-02 03:00 am (UTC)«стигма исчезла => была легализация» — «a => b»
«не было легализации => стигма не исчезла» — «not b => not a»
not (a => b) = not ((not a) or b) = a and (not b) = (not b) and a = «не было легализации and стигма исчезла» — это было бы опровержением.
А с этим согласен :)
> из утверждения
> не а следовательно б
> никак не следует
> б следовательно а
Тоесть, оно следует, но только если "b => a"
no subject
Date: 2011-11-11 12:19 am (UTC)руки жульничают.
то что
«не было легализации and стигма исчезла» было бы опровержением твоего утверждения не значит что твое утверждение доказано. отсутствие опровержения не является доказательством совершенно.