juan_gandhi: (Default)
Search in this blog:

По этому блогу По всему интернету


Больше пока нечего мне вам сказать. Ищите (и обрящете).
juan_gandhi: (Default)

Что такое космоэнергетические каналы (частоты)?

Космоэнергетические каналы (частоты) - это энергетические потоки различных вибраций. Они чистят, лечат и защищают космоэнергета от любых воздействий и заболеваний. Это основные "инструменты" в руках космоэнергета. У каждого канала есть свое назначение.

---------------------------

Вот же ж бля, толпы каких-то неучей берут откуда-то непонятные слова и лепят из них какой-то текст. Потоки вибраций. Энергетические. А спроси их, что такое вибрация (или что такое поток) - еще какой-нибудь хуйни нанесут. Они чистят энергета от взаимодействий.

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

А, у них еще про монады есть.

---------------------------

тело монады, индивидуальности. Находится в восьмимерном пространстве. Имеет овальную форму и выходит за пределы физического тела на 50-60 см. Внутри этого овала есть пустота, которая полностью совпадает с нашим эфирным телом. То есть эфирное (первое) тело заполняет эту пустоту, и тем самым определяется его форма и размеры.
juan_gandhi: (Default)
Она встает у стола на задние лапы, передние кладет на стол, на них голову - и жалостливо глядит мне в глаза. 

дыбр

Oct. 19th, 2017 10:44 pm
juan_gandhi: (Default)
 Лучше поздно, чем никогда, конечно. Уже почти 11 ночи же.

Встал в семь, типа подружку кофием напоить, да самому с завтраком поваляться в постели. Нет, не отжимался, стремно после вчерашнего.

К 10 поехал к доктору Ли. Думал, меня там полдня держать будут, колоть радиоактивный забыл что, таллий? полоний? Но ничего такого не было, пришел доктор Ли, мило побеседовали, у меня все хорошо, только вот вчера так что-то; да фигня. Жизнь борьба.

Поехал ну типа на работу, но сначала на мойку (зря, что ли, плочено), потом в гараже университета запарковался, и на поезд.

Изучал там кой-чо про спарк, по дороге. И итальянский делал. 

На работе работал (лениво, как налима ловил). В обед с Сарасижей и с одной бодрой китайкой (убей не помню, как звать, Мэгги?) чесали языком про керамику. Сарасижа тоже любит wheel-throwing, но у нее не очень получается. Ну там какое-то чувство баланса нужно.

Ужин же просел с четырьмя китайцами и Карлом. Да слава те господи, что Карл теперь не мой начальник. Деревянный, как Путин какой-нибудь. В Питере таких до хрена (только москвичи их не замечают в упор). Не люблю таких. Только и разговоров, как с какой-нибудь авиакомпании ваучер содрать на 20 баксов. И знает все виды карточек банка Чейз, все такое. Бррр.

А, кстати, из Комкаста приятнейшая весть - могут захостить митап наш, с Габриэлем Кларамунтом. Слааава те господи. Из Нетфликса пишут, кстати, а как же, мол, у нас митап 6-го ноября. Я ответил - ненуачо, 6-го тоже; а хотите на 13-е перенесем? (Мне-то лучше 13-го, но я не пишу, что мне лучше, пишу, если вам лучше.)

Вот; обратно ехал на шесть ноль восемь; там опять кто-то на рельсы рухнул, но к этому времени уже убрали части.

Завтра узнаем, кто и что. В местной газете фотки не постят, но имена сообщают.

Приехал в университет, пошел в учительскую, крепко заснул. Просыпаюсь - где я, что я, скока время? Прошло три минуты. Заснул опять. Разбудил уже будильник (у меня на то и поставлен будильник.)

Вот; студенты блин! Отжигают. Я им скулемизацию, я им полноту по Геделю, я им интуиционистскую логику - хавают! Потом, в порядке подготовки к мидтерму (они энергичны как перед групповым сексом), спросил, ну хотите я вам задачку из книжки решу? Выбирайте.

Мнутся. Не, ну чо, Ли Бо? Стивен? Моше сидит глаза отвотит. Тут Алиша такая (она уже на переднем ряду сидит, воспряла, поняла наконец, что ее, блондинку, тут не за дуру считают, а за классную и умную студентку) - а вот упражнение 10, "challenge"! Ну окей.

Протрахался с этим упражнением, с шорткатами, с прибаутками на тему, что нормальные программисты тут абстракцию введут, а в логике первого порядка слово "абстракция" не употребляется... Ну решил, и, главное, все въехали.

А потом уже после урока один такой китаец - а вот, говорит, если решать методом от противного, то в пять раз короче. Дык. Ценить надо. что подходят с таким. Радоваться ж надо.

Потом еще обсудили опять домашку. Тема "вложенных доказательств" у меня невнятно была изложена, а в книжке вообще как вставка на французском в "Войне и Мире" - eh bien, mon prince...

Ладно. Когда уходил, Бхаргав и Стивен еще оставались - Бхаргав Стивену на доске рисовал какие-то доказательства.

Дык. Повезло в этом году. Вот уж свезло так свезло.

Домой приехал - никого нету. Подруга позже подкатила. У нее студенты потупее моих, их пока разгонишь... эх.

Смотрите, почти одиннадцать, а я как этот. Всем пока, до завтра. Тяпница. 


 

juan_gandhi: (Default)
Мединского и Ампелонского.

Не мог он Ксюшу от Алеши. 
juan_gandhi: (Default)
Короче, так-то все нормально, встал, отжался, позавтракал, на поезд. По дороге домашку проверял. Что это у меня за класс такой нычне, все чуть не поголовно отличники. Ну пара есть стремных. Но моя проблема, что они быстро слишком все это захавывают; а я ж не будут как тот учитель в Ferris Bueller's Day Off.

Полтора часа - и я в городе.Там морось, прохладно. Казалось бы. Но воняет бомжами и говном. Вот идешь по набережной, вдоль залива. Воняет бомжами и говном.

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

Обратно шел нарочно вдоль залива - а все равно ветер с юга дует, и воняет бомжами и говном. Как там люди живут?! Мне, бурбу, неочевидно это. У нас тут разве что вот кабана вчера на Санта Тересе сбили, недалеко от Бейлис. Ну и т.д. Такое, как выражаются на одном из моих любимых языков.

Обратно ехал, итальянский сделал, потом почту смотрел - Саша пишет, что таки устраиваем митап первого ноября, в Комкасте; ура! Другой спикер, категорный, пишет, что увы и ах, уезжает в Англию, выступить в конце октября не может. Написал Валерии. В принципе, я и сам могу языком почесать.

Еще поизучал там кое-что из спарка, потом стал смотреть, а откуда в логике первого порядка все эти "правила вывода"? Их кто, бог придумал, чи шо? Пока что я не понял. И характерная всегда отмазка - а вот в теоретико-множественной модели... А без модели уже нельзя? Что это за теория, которая хороша только в одной модели?

Ладно, посмотрю еще.

Приехал на Блоссом Хилл, уже стемнело. А я в Хоум Дипо, покупать там травертин для камина, 50 плиток, 6 на 12. Конечно, это ненормально много, но каминщики такое заявили. А фигня, сдадим лишнее. В магазине народ придурковатый, говорят, нету у нас травертина (а я на интернете заранее проверил, и знаю даже, сколько его у них есть). Пальцем показыва - а это чо? Отвернулся и ушел. Я погрузил, оплатил, потом уже посмотрел - ой, с десяток ломаных. Пошел поменял.

Аккуратненько так ехал; не керамика же; травертин хрупок. Выгрузил. Еще и подтянулся.

И знаете что, как-то неудобно, но пришлось нитроглицерином закинуться. Аяяй.

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

Кошка сначала приходила; поговорили с ней, дал ей полопать.

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

Вот, и каберне бутылку открыл. У нас открывашка для бутылок что-то поломалась, чи шо. Зигует. Это же грех, зиговать?

Вот; а теперь из головы не вылазит аксолотль, и надо уже это. Завтра к доктору к десяти. В смысле, можно не спешить. Пойду пить чай, да Войновича читать. Войнович, конечно, в смысле литературы, не писатель, а советский писатель, совпис. Ну антисовпис, в смысле; без разницы. Вы их читали всех? Солж, Максимов, Зиновьев, Терц, все эти люди. Строго говоря, это не литература, а советская литература.

В отличие от "Доктора", например. И "Тихого Дона", например.

О, кстати, сегодняшние попытки дискуссии дали мне бесценный и, надеюсь, незабываемый опыт. Примерно в той же области.
 

juan_gandhi: (Default)
Я тут от безделья пристрастился гугл ньюзы читать.

Узнал, что во время трамповской кампании Майк Флинн перепощивал российских троллей - в качестве репортажей с партийной конференции ГОП в Теннеси.

Что женский пол - это не pre-existing condition.

 

Что Луна таки сделана из сыра.
juan_gandhi: (Default)
Ну я все понял, всем спасибо, и извините за беспокойство. Надо фильтровать базар. 

дыбр

Oct. 17th, 2017 10:44 pm
juan_gandhi: (Default)
 Вторник, что, неспеша так. Отжался 50, после завтрака уже, потому что утром низковат был сахарок, а стремно.

Вот; запарковался в университете, и на поезд, 9:55.

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

Обратно ехал - итальянский делал, вместо того, чтобы дыбру писать.

Сейчас уже довольно темно вечером.

Собрал домашки, стал обсуждать задачи. Задачи там с подъебками, спрашиваю, вот это wff? 

∀x (x → y)

Ну только не в логике первого порядка, а! Моя черная студентка, Моше, тут заволновалась. Она, оказывается, эту задачу неправильно решила; для нее это невыносимо. Утешил ее. Все фигня, мелочи, это все плюс минус.

После разбора домашки, минут через пять, Бхаргав, такой разгильдяй, приносит свою домашку. Ну ты мужик попал, конечно. Домашки же фигня, мало очков. Стараться надо учиться, а не обманывать. Себя обманываешь. Впрочем, мое ли это дело. Он взрослый человек.



А вообще народ отжигает. Комментируют слайды, поправляют ошибки. Никогда таких студентов не было. И мидтерм решили перенести на вторник. Ну типа а чо, не лямбды же начинать. Они очень быстро все воспринимают, не приходится в деталях разбираться.

Классно, короче. Я немножко в панике, а чему учить-то, если они так быстро. Придется заодно теорию категорий впарить. Не, у меня там есть еще песен, конечно.

Во студенты пошли.

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

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

Кстати, на sonatype мне аккаунт сделали, так что буду деплоить как приличный. Кстати, и ML мой туда же попрется заодно. Готовлюсь к ноябрьской конференции.

Из скотоложика Нандан написал, что у них там деньги кончились, хостить митап не могут. Окей. Остался Комкаст. Работаем над этим.

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

juan_gandhi: (Default)
Что впервые в роли просветителя я выступал в младшей группе детского сада, когда выяснилось, что никто материться не умеет. 

Старшие мальчики обступали меня в кружок, и я повторял все, чему научился от дедушки.

Но старшие девочки услышали, и настучали воспитательницам, а те моей матери нажаловались, и она велела мне прекратить распространение табуированных знаний.

Это был первый опыт митапов.
juan_gandhi: (Default)
scala> implicit def const[T](x: => T): Any => T = _ => x
const: [T](x: => T)Any => T

scala> def dome(y: Int => String) = y(42)
dome: (y: Int => String)String

scala> dome(_ + "xxx")
res1: String = 42xxx

scala> dome("do me")
res2: String = do me
juan_gandhi: (Default)
"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.

juan_gandhi: (Default)
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)
[personal profile] andriiartwork 

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

И через месяц примерно получаю на свой рабочий мейл письмо от Блина Блинова, мол, Влад, как дела, у нас тут хорошая вакансия открылась, хорошая зарплата, не надоело тебе там? Ну и через две недели мне значительно прибавили зарплату, без каких-либо обсуждений или предупреждений. 
juan_gandhi: (Default)
 https://en.wikipedia.org/wiki/Crash-only_software

Misleading name, it actually takes care of keeping all the data all the time in the status good for reboot.

(Did it many years ago, when our machine was expected to lose power several times a day, but resume all drilling processes, for months.)
juan_gandhi: (Default)
Посмотрел его фильм "Дурак". Очень достойный фильм. Я вообще-то российское практически не могу смотреть, все лживо. У него не выглядит лживо. Очень даже.

Единственно что смотреть всю эту российскую жизнь, это надо уже быть мазохистом. 
juan_gandhi: (Default)
Вот такая юзерка[personal profile] svet_ka сообщает урби эт орби, что работает на касперского 20 лет уже, и ничего такого нет, никакого шпионажа, просто западные СМИ (науськиваемые госдепом и израильской военщиной) развернули кампанию травли и шельмования невинных российских разведчиков разработчиков.

Забавно же.
juan_gandhi: (Default)
https://logic.rwth-aachen.de/~kaiser/weak_mso_composition.pdf 

Weak monadic second-order logic (quantification over finite collections of domain objects) - "good for computing".

Profile

juan_gandhi: (Default)
juan_gandhi

October 2017

S M T W T F S
1 2 3 45 6 7
8 910 11 12 13 14
15 16 17 18 19 2021
22232425262728
293031    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 03:43 pm
Powered by Dreamwidth Studios