считайте меня циником

но смешно


(никто не гарантирует, что не фейк)

пара рантов

1. Гляжу на FSM, на их официальные определения, и не понимаю - с какого хуя оно там моноиды? С какого бодуна у него "входной язык"? Это же категория, обычная конечная категория. И, кстати, имеет смысл их и брать в качестве примеров для построения топологий Гротендика. 

2. Вчера ко мне приебались, зачем я нарисовал тесты и смодифицировал класс CStrChunk. Ну я там перформенс, ладно. Но гляжу, интелиджей осуждает один из старых тест кейсов. Поглядел, чо там у Клифа. Батюшки! Абанамат! Он сравнивает свой доморощенный BufferedString со String, и этак ожидает позитивного ответа. Бля. Это у него равенство несимметрично определено. Следовательно, и не транзитивно (или не следовательно?) Да ну е, ребята. Вы же учоными числитесь. Пошел к Арно; тот согласился хотя б, что надо починять. Данунах, ребята. Учоные. Ну а про мапредьюс я пока помалкиваю, все равно никто ничего не понимает (казалось бы, элементарные вещи.)

Ну а хорошая новость - что статью про мапредьюс на вики никто пока не пришел ломать. Тролли, наверно, нашим новым Хуйлом все заняты, некогда.

самое поразительное

это что я через МБА могу заказать ну любую статью, какую захочу, по интернету, и бац - пдф. В смысле понятно, что я не всякую хочу, а специфическое. Вот надо "Coequalizers and free triples" почитать, ну. 

офигенную вещь нашел

https://en.wikipedia.org/wiki/Goodstein's_theorem

Кароч, последовательность целых чисел (см), начиная с самых маленьких чисел, вырастает до больше, чем атомов во вселенной, а потом бац, и зануляется обязательно.
Доказательство, что она обязательно зануляется, выходит за пределы арифметики Пеано.