чеширский

О бедном сбежавшем замолвите слово

Прочитал мемуары советского разведчика-перебежчика Николая Хохлова, «Право на совесть». Уж не помню, почему взялся за них, — чего-то гуглил-шмуглил, взгляд зацепился, ну и понеслось.

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


Во время Великой Отечественной Хохлов, студент театрального института, служил диверсантом — сперва в резерве обороны Москвы, потом за линией фронта.

После войны его оставили в советской внешней разведке поперёк его воли и совести. (Не смог пойти на политическое убийство, приложил все силы для аккуратного срыва операции). Несколько лет выкручивался, дискредитировал себя, как мог, терпел, но Контора его почему-то не отпускала. Считали слишком ценным подготовленным кадром, чтоб вот так взять и уволить.

Даже смерть Сталина, арест Берии и чистки в КГБ не спасли. При том, что желание валить из органов только крепло, потому что насмотрелся на изнанку советской политики.

Кончилось дело тем, что ему поручили оперативное руководство ещё одним политическим убийством, одного из руководителей НТС — Георгия Околовича. Изучая предметную область, Хохлов понял, что НТС — это то самое, что нужно для спасения России, которую мы потеряли при Ленине и Сталине.

Collapse )
чеширский

Теорема Гудстейна

У Савватеева на ютубе — познавательнейший мини-курс лекций про теорему Гудстейна, а вдогонку — про теорему Гёделя.

Рассмотрим игру 3x+1 шучу, рассмотрим гораздо более злую последовательность.

Возьмём некое стартовое число и разложим его на сумму степеней двойки, а затем показатели тоже разложим на суммы степеней, и так далее до показателей 0 и 1.

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

Collapse )

Теорема Гудстейна утверждает, что последовательность для любого числа, начиная с разложения на любую степень (мы начали с 2) придёт к 0.

А мета-теорема Гудстейна (доказательство Кирби-Париса) утверждает, что фиг вы докажете теорему Гудстейна, оставаясь в рамках арифметики Пеано!

Бамбук для курения:

английская википедия

Ютуб  Алексея Савватеева, а именно лекции Николая Казимирова (у него есть свой канал, кстати)

Collapse )

Самая мякотка, что в доказательстве мета-теоремы появляется функция Аккермана. То есть, это не просто забавная фигня, которая вычисляется за гигантское время и даёт гигантские числа, а важный инструмент.

чеширский

🍌🚲

Всем известно (?) следствие из «проклятия высших размерностей»: гиперапельсин состоит из кожуры.

Collapse )

Любители пончиков! Что вам больше нравится — мякиш или глазурь? Стоит ли ради этого осваивать гиперкондитерские гиперпространства?

чеширский

Угол Ё

Простенькое лингвистическое дурево: в сленге нашей рабочей группы часто используется термин «угол ё». Как вы думаете, что это значит, и как-это-по-русски?

Ну и музычку вам в ленту, группа, которая вносит вклад в популяризацию нашего «русского умляута».


чеширский

Канундо, Сесандле и Жетсел

Залез на сайт Microsoft за документацией по классу CEdit.

Этот текст может быть частично переведен средствами машинного перевода
Этот текст может быть частично переведен средствами машинного перевода

А там — словно имена из немецких и французских колоний в Африке. И из молодой Советской Республики и современной аптеки.

Канундо
Чарфромпос
Емптюндобуффер
Жеткуебаннер
Жетфирствисиблелине
Жетпассвордчар
Росфромчар
Реплацесел
Сесандле
Сесигхлигхт
Шовбаллунтип

Collapse )
чеширский

В воскресенье летало всё, что не приколочено

А что приколочено — отколачивалось и летало!

В списке на XContest — из 19 человек только один в Крыму, все остальные — Ленобласть.

Я скромно обновил своё личное достижение — с 30 до 35км one way ticket.

Несколько человек — «банда ушастых» Лёша Вагин, Люда Юрцева и примкнувший к ним Саша Иванов — долетели до Кингисеппа. 66 километров.

Костя Калинин — 85 км, Женя Воинов — 101 км.

Иван Негореев и Сергей Приходько — вообще до Чудского озера, за Гдов! 143 км.

Летайте парапланами Парамании и Скайстрима!

Красные — Парамания, синие — Скайстрим
Красные — Парамания, синие — Скайстрим

(интерактивная карта направлений)

Collapse )