логическая матрешка

Говорил вам Рейнольдс, типизированной лямбды в множествах не бывает, потому что у континуейшена нет неподвижной точки... (Это была преамбула.)

Вот что пишет какой-то неизвестный мне ватник:

"да их сто процентов инструктировали, говорили что в случае попадания в плен они уволены и ополченцы. это они сейчас из себя кинутых лошков разыгрывают потому что пошли на сотрудничество с укропом. а может и по указке укропа."

Это про пойманных российских террористов из ГРУ.

Автор, ну и также родственники террориста, вполне серьезно сообщают нам, что
- если российский военный, занимающийся террором в Украине, признает свой статус - это предательство;
- всех российских военных, участвующих в оккупации Украины, инструктировали, чтобы не сознавались;
- эти военные уволились из ГРУ и поехали наемниками на заработки ("много платят");
- таких военных не существует.

Можно было бы опровергать один или два из этих тезисов, но на самом деле смысла никакого нет, потому что все, включая и авторов этих заявлений, прекрасно понимают, что они а) врут, б) врут по заданию.

Ну и поэтому для такой проблемы вполне логичным является решение Прибора: "вата? нахуй!".

истина где-то рядом, жужжит как муха

Я про расширения Кана, про Йонеду, про копределы, прячущиеся среди "equivalence relationships", про тройку сопряженных, f_! ⊣ f^* ⊣ f_*, представляющую особый случай расширений Кана, для диаграмм (ну или предпучков, как посмотреть); и, по идее, все эти линзы, они к этим самым сопряженным и должны сводиться; и "бесплатные теоремы" верны тогда, когда имеется соответствующее расширение Кана.

И все это сворачивается в какую-то очень простую картинку... и жужжит, жужжит. Надо все это как-то сложить, этот пазл.

И, главное, такое подозрение, что многим это очевидно, но они почему-то молчат, и пишут про "функции, сохраняющие отношения эквивалентности" - вместо свойств универсальности.

Oh, and mentioning data/codata confusion. Seems like they are also somehow related to this, one to the left, one to the right.

Adjoint clowns and jokers.

https://personal.cis.strath.ac.uk/conor.mcbride/Dissect.pdf

раскол континента

http://www.mid.ru/brp_4.nsf/newsline/A7BC9AA74618670043257E4D005A4DCB

Хуячечная блещет слогом

"под давлением сиюминутных задач отдельных участников была упущена еще одна возможность сделать шаг к преодолению углубляющегося раскола континента"

"отдельные страны-члены ЕС с их историческими антироссийскими комплексами"

"ЕС в очередной раз пробурчал свою неадекватную позицию по Крыму"

"принадлежность к европейской матрице тех или иных государств не зависит от каких-либо решений"

"сближать всех европейцев от Лиссабона до Владивостока"

"готовность к конструктивной работе с Европейским союзом, государствами-членами Евразийского экономического союза и участниками Содружества Независимых Государств"

бабачит и тычет

"Владимир Путин считает, что в будущем интернет-технологии займут очень значимое место."

новости зеленой энергетики Германии

http://brmail.livejournal.com/140876.html

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

suddenly testing my keyboard as chrome plugin...

∮ℯ√ℬℴ∀ℜ∂ ℘ℓ∐ℏℹℕ
∫∐⅀ ℯ⅀ ℹℕℏ>>>

Alaska Bush People

Sitting in hotel, watching this.

I understand their motivation, but well, they are crazy. They did live 20 years in bush, then had a trouble and had to spend one year in Ketchikan, then earned money for a new (newer) boat(s), and went back to the bush; but well, it's the second half of August! And they have to build a house for Winter!

But I respect them a lot anyway.