Страх и ненависть в Групоиде (via, via)
У нас было 8 систем типов, 5 конструкторов, теория категорий, категория функторов, два сопряженных функтора и их эквивалентность, предел функтора, категория сетодиов вместе со своей высшей категорией их отображений. А также для зависимой теории — категория зависимых сетоидов, слайс категория сеторидов, фукнтор между ними Сигма, два сопряжения описывающе Пи, и наконец утверждение оо комутативсности треугольника в LCCC. Не то чтобы это был необходимый запас для поездки, но если начал собирать категории, становится трудно остановиться. Единственное, что вызывало у меня опасение — это элиминатор индукции induction_on. Ничто в мире не бывает более беспомощным, безотвественным и порочным, чем человек, который не может написать на CoC-овском лямбда ассемблере зависимый элиминиатор индукции объекта натуральных чисел. Я знал что рано или поздно мы напишем его и перейдем на эту дрянь окончательно.
- Мадам, позвольте Вами повосхищаться!
- А руками трогать будете?
- Конечно нет.
- Ну, а смысл тогда?
Женщины всё чувствуют. Любое изменение, любой холодок в общении, любую подставу. Они всё чувствуют. Кроме момента, когда надо замолчать.
- Девочки, я похудела на два размера!
- Какая же ты молодчинка, сука
Бывало, придешь к хорошим отзывчивым людям, займешь у них три тысячи долларов, а отдавать приходится злобным бесчеловечным мудакам...
Юрий Лоза считает, что Мик Джаггер совершенно не умеет петь, а Мик Джаггер не знает, кто такой Юрий Лоза.
И о погоде. Норильский эксгибиционист подошел к группе школьниц, распахнул плащ, и улетел в Москву.
- Роза Марковна, за шо Вы сейчас мечтаете больше всего?
- Больше всего я мечтаю за платье.
- За новое платье?
- Нет, за влезть в старое.
Весна. На улице появляются двухэтажные кошки.
В мужской мозг как-то укладывается, что секс через час после знакомства - это клёво, а свадьба через год - это слишком быстро.
На выходных мой организм переходит в жрущий лежим.
Находишь лампу с джином. Загадываешь ему два желания, а на третье просишь выловить тебе золотую рыбку.
Заказываешь ей два желания, а на третье просишь вызвать старика Хоттабыча.
Загадываешь ему два желания, а на третье просишь Конька-Горбунка, от которого напоследок получаешь цветик-семицветик.
Никаких ограничений!
Всего только надо найти джинна, а дальше как по нотам...
Часто на пути решения проблемы, интровертов подстерегает сверх-сложная задача "позвонить по телефону и выяснить".
Підписатися на RSS