juan_gandhi: (Default)
https://en.wikipedia.org/wiki/Goodstein's_theorem

Кароч, последовательность целых чисел (см), начиная с самых маленьких чисел, вырастает до больше, чем атомов во вселенной, а потом бац, и зануляется обязательно.
Доказательство, что она обязательно зануляется, выходит за пределы арифметики Пеано. 
juan_gandhi: (Default)
это что я через МБА могу заказать ну любую статью, какую захочу, по интернету, и бац - пдф. В смысле понятно, что я не всякую хочу, а специфическое. Вот надо "Coequalizers and free triples" почитать, ну. 
juan_gandhi: (Default)
1. Гляжу на FSM, на их официальные определения, и не понимаю - с какого хуя оно там моноиды? С какого бодуна у него "входной язык"? Это же категория, обычная конечная категория. И, кстати, имеет смысл их и брать в качестве примеров для построения топологий Гротендика. 

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

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


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

дыбр

Jan. 15th, 2017 08:25 pm
juan_gandhi: (Default)
Утром глаза вообще не открывались. Про свободную монаду так и не дотумкал, что там за фигня. Ну неважно. Разберемся.
Вообще-то сегодня собирался в Окленд к Гаррету, на recumbent bicycle попробовать - но не встать. Написал ему.

И так валялся, неведомо что делал (спал). Потом поехали обедать уже, в Bill's, на Пукипси. Там очередь на час, так сходили в Ош, посмотрели лампочки для кухонной мебели. Мне особо понравились узкие полоски, LED, прелесть. Подруге не. Да меня все равно на новую кухню по пропуску будут впускать, так что пофиг ващета.

У этого ресторана на улице стоит кофе, так что зря время не теряешь, сидишь кофе пьешь. Ну и немецкий делал. Немецкий все загадочнее. Эти все Sie ist dort drin. Ich mūss zu dem Toilette. И т.д. Живописнейший язык, вроде русского или итальянского.

Обедали, что, бенедиктин да блины. Народу в ресторане до хрена; 4.5 звездочки, не шутка. Толстых полно. Порцайки-то огромные. Мы как бы на двоих все делим, и то много.

После обеда ни следа болезни или что; пошли прибирать у дома; я на газоне стриг да сдувал, подруга вокруг дома, потом вместе. Подсеял еще семян, tall fescue, что ли, забыл. Так-то хорошо растет подсеянное, надо еще. Вообще, засуха кончилась, елка наша радуется, и араукарии тоже, вроде бы, уже воспряли. А то дохли деревья, дохли, и не только у нас.

Уже темнеть начало, когда закончили.

Потом душ... но сил не было, так что еле ползал. И сел досмотреть лекцию про machine learning. Там офигеть, породы собак опознает.

Пробовали смотреть Grimm. Сериал уже опустился на уровень Скуби Ду. Вряд ли будем смотреть. Чушь и чушь. Только что снято красиво, да и то не супер. Квалифицируется, по нонешним понятиям, как порнуха.

дыбр

Jan. 14th, 2017 08:31 pm
juan_gandhi: (Default)
 Ну как обычно. Но подруга поехала в свой колледж Гавилан, и вернулась во втором часу.
Так что я сидел разбирался с машинным лернингом. гонял там что-то такое ("отличить кошек от собак").
На обед что-то такое помикроволновал.

Потом подруга приехала, мне возиться с МЛ надоело, поехал на велике, в новых длинных штанах.
Поехал как попало, по Санта Терезе на запад, потом под 85-ю, на Чоновец, там большое ранчо, и вокруг ранчо тропа, вот по этой тропе.
Ну так, 13 миль натикало. Нормально. Как-то неудобно, что какой-то пацан в трусах и футболке, на дешевом велике меня только так уделал. Обидно мне, досадно мне... да ладно.

Кошки, когда сытые, с нами незнакомы. А когда голодные, то Зинка стучит в дверь обеими лапами. А Муська делает печальный вид.

Тут сообщили, что наше Хуйло решило встретиться с российским Хуйлом, и отменить санкции за каким-то хреном. Ну в смысле за каким. Эксон Мобил чтобы пустили обратно.

Все еще только начинается; полиция, я думаю, скоро сообразит, что ей даден карт бланш, и начнется преследование всех тех, кто нас попрекал за неполиткорректность.

Пощелкали по фильмам. Британские сериалы, пропаганда феодализма, уже затрахали. Надыбали Grimm; простоватое кино, но смешное; две серии посмотрели. Может быть, и еще посмотрим.

Со свободной монадой не все так просто.




juan_gandhi: (Default)
Тут просвещенные русскоязычные, поняв, что за Крым они не отвечают, и вообще бить не будут, решили праздно поинтересоваться, чо там у хохлов. Русскоязычных линчуют еще, чи шо.

Господа русскоязычные! Давайте вам нож куда-нибудь воткнут, а потом будут спрашивать, почему вы зарядку не делаете по утрам, надо же делать, это полезно

juan_gandhi: (Default)
Вот читаешь Фрэзера, "Золотую Ветвь", и удивляешься, а что это в Европе именно на рыжих так ополчались? Почему именно их в первую очередь приносили в жертву (т.е. ели).

Так вот. Неандертальцы рыжие. Говорят, что ген, отвечающий за рыжесть, у них другой. Но неважно же. Неандертальцы были слишком добрые. Песни пели у костра. А из Африки пришли наши, мелкие и злобные, и неандертальцев всех сожрали. Ну так первый признак неандертальцы - рыжина. 

Вот и весь фокус. Фрэзер-то ничего про рыжих неандертальцев не знал, скорее всего.
juan_gandhi: (Default)
До меня вдруг дошло, что типичная обидчивость характерна почти исключительно для русской культуры.

Нужны ли детали? Да вряд ли.

Я не о способности оскорбиться, это во многих культурах есть (но не во всех, поди оскорби норвежца, он только посмеется). Я об этих длительных обидах.

Моя бывшая с гордостью говорила, что ее мама бывалоча по месяцу с ее папой не разговаривала - обижалась на что-то. Ну и т.д. Типичное же явление. А отойди подальше в сторону - не поймут, что это вообще, с головой что-то или что, да и внимания не обратят. Ну не разговаривает - значит, не хочет, мало ли у человека какие проблемы. 
juan_gandhi: (Default)
Seems like communications are decreasing sharply. Meetups are less interesting and cause less interest; everybody's tired of blogs and facebooks; so, what next? Blanche solitude? Or is it just me?
juan_gandhi: (Default)
А в СССР было принято попрекать "Запад", что он "загнивает".

Ну ладно, это все преданья старины глубокой, как жакетка из креп-жоржета, танкетки, ботинки прощай молодость, драп на пальто, банлоны, шорники, нейлоновые рубашки, кримплен, сассун, в одном флаконе, катышки, городовой на углу, жомини да жомини, господин Загоскин, етишкино заговенье.

Но термин-то хороший! Разве ж Расея не именно что загнивает, да еще с таким блеском! (И разве Америке не кирдык?)

Инвайт! Рождение мечты! Только добавь воды. Слава ковбоев хаггиз. 
juan_gandhi: (Default)
Оказывается, не Обама мочился в московских подъездах, а Трамп. 
juan_gandhi: (Default)
 Мне вот интересно, в 1917-м году в России никто никого не пытал (практически; я не считаю оргпреступность); а несколько лет спустя уже по всей стране пытки стали обыденным делом.

Хрен с ними с доносами; откуда взялось столько палачей?! Кто их научил пыткам?
juan_gandhi: (Default)
 https://vpatryshev.wordpress.com/2017/01/11/three-popular-fp-myths-2

That's James and Saunders bashing (in a generalized monoidal sense).
juan_gandhi: (Default)
 A finite monoid can be decomposed to a bunch of simple finite groups (afaik, there are 26 kinds of them) and a parallel array of flip-flops.
Since an FSM is basically a monoid, an FSM can be decomposed the same way.

And I wonder, regexes, they can be decomposed/classified the same way.

Anybody here familiar with all this? I just found it.

Profile

juan_gandhi: (Default)
juan_gandhi

January 2017

S M T W T F S
1 2 3 4 56 7
8 9 10 11 12 13 14
15 16 1718192021
22232425262728
293031    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 18th, 2017 09:54 am
Powered by Dreamwidth Studios