levkonoe: (Default)
[personal profile] levkonoe

В зоне АТО обезвредили вражескую ДРГ: убитый командир был гражданином РФ, среди пленных еще один гражданин РФ из Алтайского края. На Донбассе был ликвидирован артиллерийский расчет российских "отпускников", которых Кремль командировал для отработки стрельб по ВСУ и мирному населению.

Что Порошенко добился в США
и почему так бесится Москва

Порошенко начал рабочий визит во Францию

Суд начал рассмотрение дела о госизмене Януковича

Сотрудниками СБУ в Одессе задержан действующий агент ФСБ, прибывший вербовать украинских спецслужбистов. Задержанный в Одессе шпион ФСБ наговорил на дипломатический скандал. Гражданин России и гражданин Молдовы, бывший начальник связи батальона" Днестр "так называемой ПМР, бывший военнослужащий подразделений ГРУ ГШ РФ и действующий агент ФСБ и Министерства госбезопасности Приднестровья. В течение года он приезжал в Одессу, встречался с контрразведчиками и записывал их разговоры. И каждый раз одесский маршрут агента "Зимы" вел в генконсульство России. В консульство поступали поддельные документы. Фиктивные справки о якобы российском происхождении тех, кто хотел иметь паспорт РФ, а генконсул продвигал фальшивые бумаги.

СБУ: Спецслужбы РФ планировали нападение на офис "Батькивщины". замысел в том, чтобы "поссорить отечественных политиков с государственной властью и на основе искусственно созданного инцидента спровоцировать акции протеста во время празднования Дня Конституции Украины". В в ходе задержания у злоумышленников было изъято телефоны с перепиской с лицами, находящимися на территории РФ, в которых четко расписаны указания и суммы вознаграждения.

В ночь на воскресенье, 25 июня, в Одессе демонтировали памятную табличку в честь советского маршала мясника Жукова.

Как в Украине ничегониделаеца. Часть 57 (обзор)
Как в Украине ничегониделаеца. Часть 58 (обзор)

Харьков: цветы на воде (фото)

Украина оказалась на 64 месте в ежегодном американском рейтинге социального прогресса (Social Progress Imperative), обогнав Россию по условиям жизни.

РОССИЯ ОТКАЗЫВАЕТСЯ ВЫДАВАТЬ УБИЙЦУ 16-ЛЕТНЕГО КРАМАТОРСКОГО ШКОЛЬНИКА - оказалось, что Погодин убивал украинцев по приказу своих российских "кураторов". Ему можно убивать. Погодину разрешили уехать на отдых в Крым. в России поднялась волна протестов, чтобы Погодина не выдавали "злобным укропам". Россия считает, что убивать украинцев можно безнаказанно.Таким образом, они ставят самих себя за чертой, которая отличает людей от диких зверей

Как ДНР убивает углепром и металлургию на Донбассе
С 1 июля 2017 года все предприятия ГП «Торезантрацит» (в него входят предприятия «Шахтерскантрацит») и «Снежноеантрацит» переходят на двухдневную рабочую неделю. Зарплаты урежут более чем в два раза
В группе «Шахты Донбасса» рабочие шахт Макеевки пишут, что с 1 июля почти все шахты отправляют в бесплатные отпуска. Отжатая у Ахметова крупнейшая шахта «Комсомолец Донбасса» в отпуске с 19 июня. Уголь никому не нужен.
Донецкий металлургический завод" (ДМЗ) приостановил работу из-за отсутствия дизельного топлива. как пишут "Новости Донбасса" со ссылкой на источник на предприятии , многие производства стали закрываться...

Украина и мир

В РФ возмущены идеей Турчинова о пропуске россиян в Украину только по биометрическим паспортам.

740 000 украинцев пересекали границу с ЕС за первые 2 недели действия безвизового режима, из которых 157 000 — по биометрическим паспортам. Получено всего 33 отказа во въезде или 0,02%

как россияне жалеют иммигрантов

Возле кораблей ЧФ всегда плавает куча мазута и помоев: все отходы сбрасывают прямо где стоят. Севастополь, Графская пристань

дыбр

Jun. 25th, 2017 07:00 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Встал-то рано, в семь часов, и позавтракали, но подруга не поехала на йогу, а заснула; а я сидел возился с линейной алгеброй. Постоянно на грани "а, хрен с ним, все брошу, пусть оно".

Послал в Индию подтверждение, что в ревьюеры согласен.

Послал в Боулдер подтверждение, что с проектом договора на книжку согласен. Посмотрел еще и документы на книжку. Да там осталось то - переформатировать, освежить, да глав пять добавить. Нормально.

В 11 попилил на велике; в этот раз решил не давить особо педали, так что эти 25 с чем-то миль (27?), Льягас и домой, пропилил со скоростью 11.4 (типа позор разгильдяю).

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

В горах, в смысле, на холмах, интернет ловиться перестал, и я выключил эту хрень, стал думать. Про что я стал думать - про dimension reducers, как их выразить через категории и линейные пространства и "зависимые типы". Идейка пришла в голову, правдоподобная.

Дома что, душ наверху, обед, потом открыл компьютер. Но как-то спать захотелось, так пошел поспал. Понапал. Посиестил.

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

Рыбы, кстати, меня узнают, тут же лезут типа дай пожрать.

Ну и все; и вот сейчас семь часов, таки скомпилировалось. Осталось тесты прогнать; но это дело небольшое. Вот сейчас пройдут (иншалла), закоммичу, замержу в мастера, лепота! Задание выполнено, все улыбаются. Ничего хорошего, на самом деле; код ужасный. Прототип, Proof of Concept. Надо консультироваться с людьми, знающими скалу. Ну Женю, например, подергать в среду.

А, вот еще случаи на уроках.

На днях один бывший коллега из Теленава пишет мне такой - я тут работал, меня уволили, вам там архитекторы не нужны? Щас, пишу ему, дай мне пару дней, я только что начал, не знаю, где что. Через два дня посылаю ему список, три позиции, с описаниями, и пишу, мол, если не годится, так поищи на сайте, скажи мне. А фигня, пишет мне М., я уже зафайлил. Хуясе друг нашелся. Он типа не знает про referral bonus. Типа первый раз слышит про такой. Ну дай ему бог не поступить. Я ему не помощник. (Да не пропадет, конечно.)

Все, т.к. ночи еще длинные, а времени 7:24, и тесты мои тикают, то все, коммичу сейчас, и пойдем гулять по местности, ура!
 

Cecilie Jacobaeus.

Jun. 25th, 2017 02:46 pm
levkonoe: (украина)
[personal profile] levkonoe
Прес-центр штабу АТО:  В субботу, несмотря на Хлебное перемирие, боевики 6 раз открывали огонь по силам ВСУ. 24 июня 2 військовослужбовців загинули, 1 поранено, 1 травмовано

Турчинов анонсировал пересечение границы для россиян со снятием биометрии.  Таким образом Украина может защититься от проникновения на ее территорию вражеской агентуры и террористов. Министр юстиции Украины Павел Петренко, со своей стороны, заявил, что юридические механизмы для введения визового режима с Россией готовы и что для этого нужно только политическое решение

 В российском "экспертном" сообществе есть люди, считающие, что американцы в 1969 году не высаживались на Луну. Поэтому вполне вероятно, что вскоре в программе "Вечер" будет объявлено, что Порошенко вообще не ездил в США.  20 примеров того, как Путин обманул Оливера Стоуна

Они оправились от страха 14 года и приспособились.В том числе купили вышиванки

Украинский школьник "взял золото" на Олимпиаде в США  - за  прибор, который поможет очищать воду от нефти

Как в Украине ничегониделаеца. Часть 56 (обзор)

Сексуальные игры земноводных с пресмыкающимися, или Как террористы задержали террористов

Каспаров разносит Шендеровича: поддержка диктатуры «слесарем Гошей», выдающимися поэтами, артистами, режиссерами и звездами спорта, являющимися моральными авторитетами для обывателей, позволяет правящей верхушке постоянно повышать градус ненависти в обществе и ощущать себя морально неуязвимыми.
При этом их профессиональное наследие никуда не денется. Однако сегодня все они — тени великого культурного и спортивного прошлого, ставшего ныне идеологическим придатком путинской диктатуры.

интервью подобным "журналистам" и подобным "ресурсам" должно состоять всего из двух слов

Клиенты «Яндекса»   из Украины  остались без денег. Т.е. утром деньги на аккаунтах были, а сейчас там минуса. «Яндекс» разослал уведомление своим партнерам в Украине о том, что больше не может выполнять обязательства перед ними и осуществить возврат средств за не оказанные услуги из-за «обстоятельств непреодолимой силы»

Российский "антифашизм" - это когда убивают 17-летнего школьника  за сине-желтую ленту, и при этом в России поддерживают это варварство: убийц объявили в розыск,  российская Дума требует не выдавать его.

В России теперь нельзя говорить и писать ничего антивоенного.  Дети написали на стене военной части «Мир без войны» и «Войне нет», нарисовали солнце. Псковские солдаты смыли детские рисунки

Путин не дал аннексированному Севастополю денег, так как побоялся, что их "растырят"(с)  без него)

СМИ сравнили цены на фрукты в Крыму и Херсоне. Цены в Феодосии цены в Алуште

Фестиваль фестивалей "Хочу в Одессу"  : парад фестивалей в Одессе. 
в Одессе пройдет фестиваль ирландского танца , Туристический, Вина и хлеба, Шашлыка,  фестиваль «Фонтанов», «Рыбацкой кухни», «Ремесленного искусства», показ летней моды и многое другое. Расписание

Rozanne Bell

Jun. 25th, 2017 12:16 pm

дыбр

Jun. 24th, 2017 10:17 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Утром проспали до полвосьмого, так что с мужиками кофе пить не поехали. Я повозился чуток с "зависимыми типами" (ну надо же закончить!), и в Икею ломанулись. Ну в смысле сначала еще в Коровку, потом в Пало Альто Арт Центр, а потом уже в Икею. Купили там одежный шкаф в угол маленького коридора. Но только это столько времени заняло! Потом дизайн на компьютере, потом подошла тетенька, все это вставила в базу, наш заказ, и мы поехали обедать. В Восточном Пало Альто подруга есть не пожелала, поехали в тайский на Литтон, в Пало Альто. Я там был раз в 2010м, обедал с Качингом. Ну ничо так. Но сейчас уже совсем так себе.

Вернулись, погрузили мебель на большую машину, на крышу. Ну разгрузили дома, и уже 4 часа дня.

Надо всякое делать по дому, но некогда!!! Поспал, потом опять программировал до вечера.

Кошка стучалась; есть не хочет, хочет общаться. Возьмешь ее на колени - слюни текут... нет, не бешенство. Но особо-то не насладишься. Выгнал ее. Пусть там с енотами тусуется. Кстати, енотов нету. Рыбы только. Рыбы, кстати, меня узнают.

И вот уже чуть не пол-одиннадцатого, а немецкий еще не доделан. Ну и дела. И кстати, еще не все готово с "типами".


fucking scala contravariance

Jun. 24th, 2017 04:54 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
So, I believed. Yes, I did.

trait Map[-Domain, +Codomain].

What does it fucking mean? That an f: X → Y is also X1 → &Y1 for any X1 <: X and Y1 >: Y.

Do I have to elaborate why it's just plain fucking bullshit?

Ok, ok, I understand, Curry typing.

Does Curry typing have any categorical meaning? Eh...

John O`Brien.

Jun. 24th, 2017 08:38 pm

Lu Dahua

Jun. 24th, 2017 05:33 pm
levkonoe: (украина)
[personal profile] levkonoe

Карта на на 23 июня
В зоне АТО отмечается усиление российско-террористических сил на позициях. Прес-центр штабу АТО: минулої доби 48 обстрілiв, 2 бійців зазнали поранень
Оккупанты "ЛНР" устроили мощную атаку на позиции 93-й ОМБР в районе Желобка и Крымского и понесли серьезные потери.Гибридная армия России продолжает бить по силам АТО вдоль всей линии фронта, 2 бойцов ВС Украины были ранены

В зоне АТО поймали медсестру, помогавшую боевикам убивать и калечить украинских бойцов

Им нравится война. ​В РФ разгоняют украинофобскую истерию: социологи зафиксировали резкий рост антиукраинских настроений среди россиян. Социологи также зафиксировали постепенное снижение интереса россиян к событиям в Украине.

Как же, станем мы глотать такое... на российском пропагандистском канале "Россия 1" один из приглашенных "экспертов" вещал о тайных планах украинцев поглотить российский этнос.

чиновник “ДНР” открыто признает, что в Донецке невозможно жить – Украина лучше во всем.

Как в Украине ничегониделаеца. Часть 55 (обзор)

Главари «ДНР» приказали своим «наместникам» в оккупированной Горловке «жертвовать» местной епархии УПЦ МП земельные участки и другую недвижимость. Оккупационные власти Макеевки приказали местным священникам УПЦ МП написать доносы, предоставив в них полную информацию о представителях других религиозных конфессий, персональные данные участников католических, протестантских и мусульманских общин, действующих на территории города и местах их собраний.
Митрополит Донецкий и Мариупольский Иларион провел в оккупированном Донецке собрание с благочинными вверенной ему епархии по подготовке акций протеста на подконтрольной Украине территории, но с привлечением к ним прихожан с подконтрольных оккупантам и террористам районов

New #DisinfoReview В очередной раз на этой неделе мы стали свидетелями рассказов о «Доброй России» и «Злом Западе». из прокремлевских СМИ мы узнали, что Запад якобы не хочет бороться с терроризмом и немцы опять плохие

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

В городе Ялта, который находится на аннексированном РФ Крыме, по запросу Интерпола задержан один из главарей террбанды "ДНР", Россия готова выдать боевика Украине.

​Госдума РФ забила последний гвоздь в крышку гроба крымского туризма: Местным властям позволят сдирать до 100 рублей в день с каждого приезжего туриста в возрасте от 18 лет "за гостеприимство".

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

 

дыбр

Jun. 23rd, 2017 09:26 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Прекрасное летнее утро; правда, почему-то не отжимался; аяяй. Надо ж барахтаться. Взбивать воду.

Ну вот; с работы ушел рано, т.к. одна контора внезапно появилась и приглашает хостить у них митапы. Поехал посмотреть. Юнус и Ясин. Выглядит ничего, но подозрительно - что им от меня-то надо. Спрошу еще.

Кстати, в электричке туда еще занимался test coveragем, и обратно тоже. Все, вся линейная алгебра покрыта.
 

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

Сходили погуляли (я сначала поужинал), еще не темнело. По холмам немножко. Ежевика уже поспевает, но еще не поспела.

Кстати, слухи ходят, тут недалеко будет кампус Гугла. Ну так у нас цены вырастут ваще тогда. Сан Хосе, кстати, растет как на дрожжах.

Вот; и все, душ, дыбр, бокал каберне, да и чо, спать. Кино еще посмотрю серию, sense8.

 

Tot Gabor

Jun. 23rd, 2017 04:06 pm

Profile

fuflolog: (Default)
fuflolog

April 2017

S M T W T F S
      1
2345678
9101112131415
16171819 202122
23242526272829
30      

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 27th, 2017 12:22 am
Powered by Dreamwidth Studios