алхимия на линейной логике

Мы на семинаре выяснили, как построить моноидальную замкнутую алхимию. Ну там у Джона и Майка есть такие формулы:

O2 ⊗ H2 ⊗ H2 ⊢ H2O ⊗ H2O

Мы заинтересовались, а как выглядит лоллипоп в химии, и получили формулу для философского камня.
C ⊸ Au

Просто добавь уголька.
C ⊗ (C ⊸ Au) ⊢ Au

Да собственно, можно много чего изготовить.

Инвайт = H2O ⊸ Мечта

заря коммунизма

В образцовом коммунистическом городе Сан Франциско на стенах стали вывешивать объявления, мол, Стой! Это стена, а не туалет! Уважай СанФран, найди для своей нужды подходящее место!

http://abc30.com/news/new-urine-resistant-walls-in-sf-shoot-pee-back/878519/

Дело в том, что с сортирами в СФ туго. Не любят тут туристов. Турист должен себя вести так: приехал, выложил деньги - и чемодан, вокзал, Охайо. Нечего тут. Поэтому общественных туалетов в СФ нету. А в ресторанах - "только для посетителей" (ну как в Москве).

Правда, дело вот еще какое. Турист, он ведь не будет мочиться об стенку, даже если он немец. Турист, он таки найдет чего-нибудь. А вот бомжи - это да. Они уже как-то раз по радио давали интервью - мол, будем гадить где хотим, потому что больше негде.

Ну и правда, никаких туалетов в СФ почему-то нету, даже для бомжей.

Так-то бомжей в СФ любят, платят им 600 1200 баксов в месяц, ну чисто из гуманизма. Но сортиры для них не ставят. Потому что убирать же некому. СФ, работать некому! Можно спросить, а, э, гхм, а вот эти бомжи, нельзя ли их нанять? Не просто так деньги платить, а за работу?

Э, батенька, это ж тогда будет капитализм! А с проклятым капитализмом в СФ борются.

Так что приходится объявления вешать, для повышения культуры быта.