2017-10-15

juan_gandhi: (Default)
2017-10-15 08:43 am
Entry tags:

кстати о наивности

Давно это было, в Борланде. Мой менеджер Микола Гомец вдруг вызывает меня (древний шведский обычай, сейчас в конторах в Заливной никто никого не вызывает) и сообщает, что я слишком много в интернет пишу. Ну шо я там пишу, на привет да на заграницу какие-то чаты да истории. Но намек понял.

И через месяц примерно получаю на свой рабочий мейл письмо от Блина Блинова, мол, Влад, как дела, у нас тут хорошая вакансия открылась, хорошая зарплата, не надоело тебе там? Ну и через две недели мне значительно прибавили зарплату, без каких-либо обсуждений или предупреждений. 
juan_gandhi: (Default)
2017-10-15 09:50 am
Entry tags:

got a feeling that Tim is pushing bs

Here 

Actually, Runar is not always exactly right, but he's close. But Tim, his former coworker... do you think it makes sense? To me it's some kind of alchemy. Almost there, but not there.
juan_gandhi: (Default)
2017-10-15 11:23 am
Entry tags:

wtf is "co-Yoneda lemma"?

"Every presheaf is a colimit of representables". That's it. You can rewrite this colimit as a coend. That's it.

Page about 65 in Johnstone's book shows how it expands to elementary toposes.