День рождения

топ 100 блогов silent_gluk04.07.2024 Сегодня день рождения отмечает любимое ЖЖ-сообщество ru_strygackie ( https://ru-strygackie.livejournal.com/ ). Сами понимаете, кому оно посвящено. Самое живое сообщество по Стругацким в ЖЖ. Живое оно, правда, весьма условно, но все же там встречаются не только мои посты. Иногда. И ему уже 18 лет. Как время летит...

Отметка на косяке:
4.825 записей (было, естественно, меньше)
18.628 комментариев (тоже было меньше, и даже не все новые комментарии - от Фрэнка)
369 меток (было меньше... Интересно, какие это новые за год появились?)
232 участника (было столько же)
296 читают (тоже было меньше, двое пришли... А почему они не хотят вступить в сообщество?)

Вот бы еще этот 231 участник писал чаще...

Оставить комментарий

Предыдущие записи блогера :
Архив записей в блогах:
Почти первое, с чем я столкнулась в ЖЖ - это троллинг либо реально не адекватное, топорное хамство. Сначала я не знала, как с этим справляться. Слала нахуй, но потом зачем-то еще отвечала. Я понимала, что цель таких людей - вывести меня на эмоции. Самими тупыми оскорблениями вывести ме ...
Уииииии! Уииииии! Я сделала её, сделала! Вот, получи, мерзкий, злобный флеш! А если правильные шмотки подобрать, будет чем-то отдалённо похоже на кое-кого. ngised   и vamp1r0  , я вас люблю! ...
...
3 sferi4eskii_kon 44 5 li_sen_ka 40 7 domino_20 21 9 chukcha_v_chume 16 11 kaatula 13 13 marina_less 13 15 notka_j 8 17 doc_felix 7 19 tokad1981 7 21 olga_neklesa 6 23 inna1903gr 5 25 pioner71 * bogdan_63 4 28 scarlettpretty 4 30 proehalimimo ...
Если имеется: &forall b (∀ a (P (a) &rArr Q (b)) ⇒ Q (b)) Поскольку &forall a P (a) &rArr Q (b) ≡ ∃ a (P (a) ⇒ Q (b)), то ∀ b ∃ a ( (P (a) &rArr Q (b)) &rArr Q (b)), и поскольку (A ⇒ B) ⇒ B ≡ A, то ∃ a P (a) Так вот - что меня удивляет, что экзистенциальные типы в Haskell действительно так выражаются, через ...