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...
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.

 

дыбр

Jun. 22nd, 2017 10:22 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Утром погодка хорошая такая, вах! В электричке добился успеха - все тесты с линейными пространствами проходят.

Теперь что, теперь надо coverage обеспечить, порефакторить тесты, а потом уже экспериментировать с типами. Ну чтоб поглаже было.
Смержить, и отложить пока.

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

С митапом херня - написал балбесу Нандану в Скотоложик, он пишет, ой, не, уже мало дней осталось. А хуле ты тянул. Ну ладно, перенесем на август. А тут бац - добровольцы пишут, мол, давайте у нас митап. Написал им - а давайте, в июле. А то как-то неудобно перед Шадажем. Что я его мурыжу.

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

Вот, а в поезде уже каверидж стал править. Еще не доделал, уже пол-одиннадцатого. 

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

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

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

levkonoe: (украина)
[personal profile] levkonoe

Карта на 22 июня .  Всего вчера насчитывалось 35 вражеских вооруженных провокаций. 5 обстрелов оккупанты провели, применяя запрещенное минскими договоренностями вооружение. За прошедшие сутки в результате вражеских обстрелов ранен один военнослужащий ВС Украины

Український народ заслуговує на більшу повагу в Європі та підтримку з боку Євросоюзу. На цьому наголосив українською мовою Президент Європейської ради Дональд Туск на спільному брифінгу з Президентом України Петром Порошенком у четвер у Брюсселі. «Ви заслужили усього, чого ви досягли. І саме тому в Європі цьому аплодують і підтримують вас. Хоча я знаю, що цього не достатньо. Ви маєте право очікувати на більше. Ви також маєте право пишатися собою

Лидеры государств-членов ЕС на саммите в Брюсселе договорились продолжить экономические санкции против России.

 США расширили санкции против Pоссии и Крыма.  Расширение санкций произошло во время встречи Порошенко и Трампа в Белом Доме

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

Украина и мир

Российская Федерация, сооружая мост через Керченский пролив в оккупированном Крыму, в одностороннем порядке ограничивает движение через пролив, устанавливая габариты судов, корабли высотой более 33 метров не смогут выполнять перевозки в Мариуполь и Бердянск, а также не смогут покинуть порты

Как отличить "удачную" поездку от "неудачной" командировки?    и еще по итогам поездки

Награда нашла героя Донбасские террористы расcтреляли российского «брата»

Новости из дурки: Поклонская заявила, что лица, посетившие закрытые просмотры фильма “Матильда”, на полгода будут отлучены от РПЦ . В РПЦ заявили, что ничего не знают о случаях отлучения прихожан

Нидерландский телеканал издевается над российским расследованием крушения малазийского MH17  (очень смешно)

Севастополь:  многодетным квартиру дали – везде красиво показали, и квартиру забрали , застройщик пропал незнамо куда

МО РФ  в Севастополе объявляет квартиры, выданные военным при выходе на пенсию, служебными. При Украине квартиры, которые они получили от флота, никого не интересовали. Однако теперь флот заявил на них свои права.

Пугают крымчан: поедете за паспортами, а вас там-то и арестуют! (а то и тово...)

Портников: Баталов, Гамсун и бесчестие

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

hacked Illinois

Jun. 22nd, 2017 06:47 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Yesterday heard on BBC, election information was hacked in the state of Illinois. Information about voters, they said, their photos and how they voted, was stolen.

I'm impressed now. What else do they know? Everything? 
juan_gandhi: (Default)
[personal profile] juan_gandhi
А сколько выдающихся деятелей Российской и советской культуры успело помереть, не сообщив урби эт орби, что Крым наш - и мы их продолжаем уважать и прислушиваться к их речам.

рада пионерия

Jun. 21st, 2017 05:07 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Только что скомпилировалась моя линейная алгебра с "зависимыми типами". Полторы недели ушло.

Тесты никакие не идут, но это неважно. Меня в Н2О научили, что тесты - это так, статистика. 
levkonoe: (украина)
[personal profile] levkonoe

Разведка: за прошлую неделю российские оккупанты потеряли 16 человек, еще 39 боевиков ранены
В воскресенье, 18 июня, на Донбассе задержали целую группу заблудившихся российских военных-медиков. Выпускники Санкт-Петербургской медицинской академии, отметив День медика, перепутали направление и оказались на нашей территории.

В соединениях и частях 1 АК (Донецк) ВС РФ продолжает ухудшаться ситуация в отношениях между кадровыми российскими офицерами и личным составом оккупационных войск - увеличивается количество случаев невыполнения приказов и открытой конфронтации. В частности, за последние две недели в 9 отдельном штурмовом мотострелковом полку морской пехоты (Новоазовск) убиты два офицера ВС РФ

В Мелитополе задержаны 25 человек по делу о госизмене, обнаружен "российский след" , - занимались вымогательствам, похищением людей и контролировали несколько спортивных клубов, где по оперативной информации, готовили «бойцов». В ходе обысков изъято оружие, боеприпасы, шлемы, маски, парики, поддельные номера авто

Всемирный банк принял стратегический документ сотрудничества с Украиной на 2017-2021 годы, который направлен на поддержку украинских реформ.

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

Украина и мир - много интересного по теме

Порошенко встретился с Министром обороны США, министр обороны США встретил Порошенко с флагом Украины на лацкане. Соглашение по вопросам безопасности между Украиной и США предусматривает размещение американских военных резервов на территории страны.

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

Встреча Путина и Трампа пока не готовится. Трамп отказался от переговоров с Путиным

С 15 июня 2017 года на территории стран, входящих в Европейский Союз, отменена плата за роуминг. Новые правила будут распространяться и на украинцев, путешествующих в рамках безвизового режима.

За запрет вконтакта и одноклассников рупоры Кремля обвиняли руководство Украины в цезуре, тоталитаризме и ставя наше государство в один ряд с такими странами-изгоями, как Северная Корея. И самое главное – в Рунете появилась масса советов и рекомендаций для украинских пользователей по обходу блокировок ресурсов, подпадающих под санкции. Не прошло и месяца - как в Белокаменной решили предпринять решительные меры по ограничению доступа россиян к так называемым запрещенным ресурсам.

Кто он, российский оппозиционер (либерал)? Кремлевский агент или просто «полезный идиот»? А может, различные оппозиционеры по-разному Кремлем используются?

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

Как сохранить голову под информационной бомбёжкой

December 2013

M T W T F S S
       1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 2122
23 24 25 26 27 28 29
30 31     

Дизайн журнала

Развернуть кат

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