вторую серию Стрекозы и Муравья

Или третью.

В первой Муравей отказывает разместить Стрекозу у себя в муравейнике на зиму, т.к. она дрова не заготовляла, а только пела.

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

В третьей...

good news for fp-bashers

"total functional programming is not Turing-complete."

Kind of almost obvious. But you can tell all those haskellers that your Turing machine (unversal, of course) is a better busy beaver than their unreadable code. 

бибиси рассказывает

Народ в Бангладеше по 10к платит, чтобы до Ливии добраться. Зачем? Там же война? А вот зачем. Из Ливии в Европу легко пускают. А из Бангладеша не пускают - там же нет войны. 

а вот еще с машиной Тьюринга хохма

Есть такая Последовательность Гудстейна.

Берем какое-нибудь число, например, 42, выражаем его в двоичной системе: 2⁵+2³+2; показатели тоже разложим в двоичную,
2²²⁺¹+2^{21 + 1}+2. 

Это было начало. Дальше делаем вот что:
- меняем 2 на 3
- вычитаем единицу

Ну и там снова представляем в виде таких башенок. Затем меняем 3 на 4, опять вычитаем единицу, ну и т.д.

Понятно, что в конце концов дойдем до нуля.
Далеко не очевидно, что в аксиоматике Пеано это не докажешь. (Я честно не знаю, как доказывают, что она доходит до нуля, см линк.)

Ну вот. И можно сделать машину Тьюринга, которая строит эту последовательность. Понятно, что эта машина КОНЧАЕТ. Непонятно, как это доказать.

Ленин, Атом, Курчатов, Берия

Я, в общем-то, последние лет тридцать-сорок был уверен, что надо Ленину спасибо говорить за его "Материализм и Эмпириокритицизм", где он разъяснил, что электрон так же неисчерпаем, как и атом (о позитроне Ленин умалчивает), и что материя ниоткуда не берется и никуда не исчезает (а энергия берется из ГОЭЛРО); и типа если бы его сикофанты не повторяли за ним как попки, то уже бы Капица слепил атомную бомбу, про которую еще в 18-м году писал Андрей Белый (но кто его слушает, эмигранта).

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

Мне так кажется. Бодливой корове.