из ватологии

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

Я что хочу сказать - я, кажется, понял русскую мысль. Свободу Украины русская мысль рассматривает как предательство. Предательство национальных интересов России. Вообще все, что не делается в национальных интересах России, с точки зрения ваты является предательством национальных интересов России. Независимость "нэзалэжность", как ее еще недавно шутливо называли, Украины, личная эмиграция, работа программиста на заказчика в США, покупка недвижимости во Франции, отправка детей на учебу в Британию, высказывание любого личного (а не государственного) мнения - все это предательство с их точки зрения. Потому что же соборность.

И неважно, делаешь ты шаг в сторону из той толпы или из этой.

офицерская честь типа

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

Но сейчас-то их всех просто обмакнули конкретно в сортир; и вот они что? Обтекают публично? Все эти сослуживцы пленных, они же теперь что? Они не знают и не ведают; ну и, соответственно, сослуживцы сослуживцев тоже все ну совершенно не в курсе, а о чем вообще речь?

а вот еще тема

Самоубийство при задержании.
Ну, скажем, несчастные мусульманские девочки с привязанной взрывчаткой, они ни хрена не понимают, и взрываются потому что им так велели. И мальчики.

Но вот эти вот матерые грушники, сами способные перерезать горло целой группе детского сада, бросить гранату в помещение, где сидит вся семья, ну и все такое. Работающие за хавчик, не ценящие чужую жизнь, и готовые рисковать своей. Они ж не идиоты. Что им это даст, взрывать себя гранатой? Им что, заплатят за это? Много там вообще в Лугандоне таких идиотов нашлось, чтобы сами себя подрывали "ради мирного неба"?

Ну или среди диванных воинов много найдется джихадистов? Ни одного. Чай не мусульмане. И это, в сущности, хорошо.

Но почему-то, совершенно алогично, эта вся вата ожидает от себе подобных, что чуть что, чуть враги окружат, и ватник подорвет себя, во славу Путина. Нет, не логично.

Это была еще одна интересная тема для диссертации по ватологии.

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

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

сборник линков

Functional Programming in a Stateful World
Edward Kmett: Categories of Structures in Haskell
Roman Cheplyaka: Announcing lambda prover
specs2 matchers ref
Sigfpe. Data and Codata
Zraffer. Functors in one gist
From Object Algebras to Finally Tagless Interpreters by oleksandrmanzyuk
Co-Yoneda Lemma by oleksandrmanzyuk
Monad Genome (me)
Okmij. Continuations.
Okmij. Generators.
Kmett. Free monads 4<
Milewski. Parametricity
Tonsky. FiraCode, code fonts
Runarorama, Interpreter (revisited)
stackoverflow: coyoneda via coroutines
Wadler. Theorems 4 free


Free Applicative Functors
F* tutorial
Free Monads are Simple
Runar, Free Monads and the Yoneda Lemma
Chlipala, Certified Programming with Dependent Types
git: total contributions per person