да блин

Sep. 24th, 2017 10:38 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Должен сознаться, что хоть я и в курсе был насчет Вселенной фон Ноймана, но идея, что у теории множеств должны быть разнообразные модели, почему-то только сейчас стала мне как бы очевидной.

И кстати, по вопросу моделирования моноидов в посетах. Да запросто. Берем "максимум", например, в качестве операции. Конечно, будет всегда идемпотентность, но что уж тут поделаешь. В теории множеств тоже не любой моноид моделируется. Например, моноид множеств по объединению.

Да блин, надо же быть таким тормозом.

Вот говорил мне Куздра.

дыбр

Sep. 24th, 2017 09:39 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Просыпаться было сложно, где-то уже почти в восемь только. Позавтракали, я сел писать доки к генераторам. Их там штук пятьдесят функций, или больше; на каждую нужно что-то сказать. Пока писал, понял, что можно упростить интерфейс-то. Ну потом, в следующий заход. Надо спринты квантовать.

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

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

Ну сначала этот лист надо снять с крыши машины. Отогнал приус, на его место и стащил, кряхтя, этот лист, толщиной 5/8. Обидно как-то, что хилый такой стал. Раньше двойной грузил и снимал, а сейчас как этот. Хз. Ну только что отжимаюсь вот 40 таки.

И вот я это вырезал прямоугольник, с пазами, потому что изнутри в стенку врезается катанка (rebar) от дымохода. А и чо, а не стыкуется. Правый край торчит на четверть дюйма. Пришлось отвинтить, смотреть. Да блин, там кривая доска, та самая, вытарчивает. Убрал гипсокартон, принес рубанок, срезал эту выступающую часть. Присобачил обратно. Потом еще верхний треугольник (крыша-то под углом), потом нижний - тоже с пазами для катанки. Уф, все привинчено. Причем еще что, доски-то старые, засохшие, туда шуруп ни хрена не идет, приходится высверливать сначала. Тьфу.

Замазал шпаклевкой (начерно). Да даже и начерно - уже нормально смотрится. Какой дебильный был этот выступ над камином, который я убрал, боже мой. Уже сейчас смотрится куда лучше. Вот что за идиоты такое дизайнили, о... Архитекторы хреновы. Ну вы поняли.

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

Вот; и я пошел траву стричь. Постриг траву, проверил спринклеры, заменил один спринклер, а то там сухая трава около винограда.
Все на сегодня. Кстати, водоснабжение пишет нам, что мы 450 галлонов в день куда-то тратим. Я этого не понимаю. Надо будет опыт поставить. Что за идея, столько воды, куда оно? 2 кубометра. Хз.

Пришел домой; следующий шаг был забацать релиз к моим скалакиттензам. Но сначала душ, и на диван. И заснул часа этак на два. Эх. Проснулся, надо же итальянский. А то пятницу промазал; грех. Сделал, в порядке мести, 15 уроков. Итальянский простой, все слова знакомые. Или смешные. idraulici - это сантехники. Cibo - хавчик. Pescatrice - рыбачка, fisherwoman. Io sono pescatore, e tu sei pescatrice (пестня такая была, из хорошего фильма).

Ну, короче, на релиз уже сил нету никаких.

А, пробовал еще смотреть; какое-то кино нетфликс подбросил, Bad Batch. Фактически, по мне так - Бомжи на Burning Man. Зверское кино, для садистов-мазохистов. Почему девушке глазик лезвием не разрезали, я не понял. Думаю, что авторы не слыхали про Бунюэля. Америка ж.
juan_gandhi: (Default)
[personal profile] juan_gandhi
Масса умнейших людей занимаются "анализом ситуации", рассуждают про Путина, Навального, Киже, Сечина...

Меня это все больше удивляет. По мне так это все фейк; есть какие-то пираты, захватившие ну типа судно; и есть масса людей, требующих не раскачивать, и есть масса людей, требующих отдать пиратам выкуп (регулярно), тогда всем будет хорошо.

Признать вроде бы очевидный факт, что речь идет о преступниках, никто почему-то не хочет. Все ищут какого-то типа компромисса.

Вот это мне странно. Ну или я сам виноват, в подборе потока текстов.

Вон тут на днях понял, что рассказов о злодействах "копченых кумаров" больше не могу терпеть.

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

Да и вообще. Как-то нескладно получается все. Надо думать.

Это тоже был метапост.

http://gorod-812.ru/pochemu-pora-prekratit-dumat-o-tom-kak-nam-obustroit-rossiyu/

if you are in California...

Sep. 23rd, 2017 10:28 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
https://ucpi.sco.ca.gov/UCP/ 

Somebody may owe you something!

кинофантазии

Sep. 23rd, 2017 09:12 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Я когда на кухне, то смотрю NCIS. Там занятные идейки задвигают. Например - "I have a connection to an infrared GPS satellite" - и дальше герои смотрят по телевизору, как их коллеги затерялись где-то на Кольском ночью

Сейчас вот они зашли на "террористический персидский вебсайт", и одна такая говорит - "I need a list of everyone that has access to this website". Я бы предложил сгенерировать все айпи, например. IPv4 не так уж много же, и почти все заняты. 

wtf

Sep. 22nd, 2017 02:48 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
scala> new java.util.Date(Long.MinValue)
res1: java.util.Date = Sun Dec 02 08:47:04 PST 292269055

scala> new java.util.Date(Long.MaxValue)
res2: java.util.Date = Sat Aug 16 23:12:55 PST 292278994

scala> new java.util.Date(Long.MinValue >> 16)
res14: java.util.Date = Thu Apr 06 13:14:04 PST 2491

Ау, Украина

Sep. 21st, 2017 06:50 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Вам из-за поребрика Питер-Сервис помогает.

 http://personalviewsite.dreamwidth.org/4017933.html 

https://www.billing.ru/management/yuriy-boyko

Да и у меня что-то многовато общих знакомых с этим учреждением. Вот я подумаю уже. Подумаю.

https://www.linkedin.com/search/results/people/?facetCurrentCompany=%5B%2228683%22%5D

just found a bug...

Sep. 21st, 2017 03:01 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
In spark.core, RNG, specifically, normal distribution RNG.

It caches values (randomly). Now try to reseed. 

узнал кой-чего

Sep. 21st, 2017 09:48 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Такое есть культурное явление в Мексике, фильм El Topo (крот), и, соответственно, молодежь в черных рубашках. Например, topos aztecas. Песню поют, "tengo la camisa negra porque negro es mi alma", etc. Кино надо посмотреть будет. Ну или оно что-то вроде Hermano-2.

А также дошел смысл названия "Субару". すばあしい (субараший) - значит, чудесный.

среда в городе

Sep. 19th, 2017 04:38 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
San Francisco, view from the office 
View from our office, One Market

lunch on the shore
Lunch on the shores of the bay



juan_gandhi: (Default)
[personal profile] juan_gandhi
Стенка над камином. Телевизор проведен, и HDMI проведен.

 
juan_gandhi: (Default)
[personal profile] juan_gandhi
Трамп ботинок снимал? По трибуне бил? 

дыбр

Sep. 17th, 2017 09:13 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Утром сделал замечательное открытие, куроча 10-ю главу. Что у меня в планах была другая седьмая глава, поэтому я место там оставил. Так. И вот я главы начиная с седьмой сдвигал вниз по нумерам, да картинки переименовывал. Чую я, надо будет идентификаторы ввести вместо нумеров. Ключи. Ну зато перекурочил; теперь надо писать про модели и теории.

На велике-то пилить сил никаких нет после вчерашнего.

Встал, пошел поковырялся с тестами - один таки рушится. Натыкал всяких там ловушек. А потом выяснилось, к концу дня. Он рушится, если идет после двух других. Ну все понятно, ребята. У вас херня в аппликации, вот вам пример, а я не доктор. Закомментировал, пушнул, сделал пулреквест. Ну в смысле, там ничего мержить не надо, а просто чтобы Марио показать да обсудить. Ой бля, да еще чтобы билдить, надо в випиэн залогиниться, ой-вэй.

Вообще, надо бороться с null, Any, String typings. Найти и не сдаваться.

Вот; ну и занялся сначала стенкой в гараже - я ж вчера ее раскурочил. Закурочил стенку. Потом еще в одном месте была квадратная дырка, пять на пять; но она частично за гаражным столом, поэтому утрахался заделывать. Дрель же не влазит. Ладно.

Кстати, оказалось, что нету шурупов для гипсокартона, этих, нормальной длины, есть только очень длинные. Съездил в Ош. Потом шурупы нашел, они отдельно лежали. Ох грех-то какой.

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

Отдохнул (в смысле, поработал), пошел проводкой заниматься. Провел HDMI от розетки до места, где телевизор будет; присобачил культурно ethernet да кабельный кабель. Кстати, пришлось все это в Лоузе покупать, в полтинник где-то вышло.

Вот; доволен. К hdmi еще протянул проволочку, чтобы если что, типа все вдруг перепрыгнут на fiber, то я и файбер протяну, за эту проволочку. Для этого еще коробочку поставил посередине, где hdml поворачивает. С думой о будущем. Как тот дедушка, который сад сажал.

Вот; устал не то чтоб как собака; наоборот, отдохнул. Это уже полдевятого было. Итальянского десять уроков на дуолинге (чтобы служба медом не казалась, que servicio no parezca miel). Тесты на всяк случай еще раз гоняю, чо.

je suis saakashvili

Sep. 17th, 2017 04:43 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
А то мне тут из интернетов пеняют, что я себя с Саакашвили отождествляю. Надо вообще пошире отождествлять. Например, вот только что прочитал про плакат

Я МОРСКАЯ ПЕХОТА 

можно еще варианты

Я МОРСКАЯ КАПУСТА

Я МОРСКАЯ СВИНКА

Я МОРСКАЯ ВОЛНА

Я МОРСКАЯ ДУША

(поэту в кошолку, короче)


i'm just waiting...

Sep. 16th, 2017 10:10 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
for Antifa to cooperate with islamists and have a terrorist attack together. 
Page generated Sep. 26th, 2017 07:49 pm
Powered by Dreamwidth Studios