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, и тесты мои тикают, то все, коммичу сейчас, и пойдем гулять по местности, ура!
 

bytebuster: (CH-biang3biang3mien4)
[personal profile] bytebuster
У коментарях, як завжди, оголошується перепис старпьорів, як я. :-)

Жаров против Дурова

Jun. 25th, 2017 06:41 pm
[personal profile] probegi
В этом конфликте - вся Россия как она есть со своей мета-исторической миссией.

Ну вот кто такой Дуров? Дуров создал для людей вКонтактик и Телеграмм.
Этим и известен.

А кто такой Жаров? Что он создал для людей? Чем он известен?

Рассказываю: Жаров ничего не создал для людей. И не собирается.
А известен он только и только тем, что пытается запретить людям то, что другие для людей создают.

В этом и состоит мета-историческая миссия России: пытаться запрещать людям то, что другие люди создают для других людей.
И в этом Россия ничем не отличима от ИГИЛа (запрещенного в России).

хехе

ЗЫ: побочное следствие: Жаров идет на хуй.
Вместе с Россией.

Слава Путину!
хехехе
bytebuster: (IT Crowd Jen)
[personal profile] bytebuster
 Дмитрий Сердюков: Задержание Гужвы - это поджог муравейника. Еще вчера - кристально честные, порядочные и совестливые люди, сегодня в открытую пишут: "да, мы постим джинсу", "да, мы постим фейк за бабки", "ну да, мы не всегда пишем честно", "Вас что, это удивляет?".
Три года!!! Три сраных года, эти люди рассказывали нам о легионах порохоботов, с помощью которых, власть борется с инакомыслием. Сегодня же, почуяв, что запахло жаренным и что за ложь придется отвечать, они начали массово писать чистосердечные признания, в заработке на лжи. Той самой лжи, с которой все эти легионы порохоботов и борются.
Ну что ж господа, это победа! С ней, нас и поздравляю!

 Алла Комарова: Вчера в комментариях под постом об взятии под стражу Игоря Гужвы кто-то начитанный процитировал бессмертного «Золотого теленка».
"Обладатель пятидесяти тысяч украл сумочку, в которой были черепаховая пудреница, профсоюзная книжка и один рубль семьдесят копеек денег. Вагон остановился. Любители потащили Балаганова к выходу. Проходя мимо Остапа, Шура горестно шептал:
- Что ж это такое? Ведь я машинально."
Машинально. Понимаете?

Read more... )

Новини одним рядком

Jun. 25th, 2017 04:46 pm
bytebuster: (Unnamed04)
[personal profile] bytebuster

Московсько-арапський тероризм

 Ізраїльська авіація завдала удару по цілях у Сирії. Ізраїль відреагував на вогонь з боку охопленої громадянською війною Сирії. Армія Ізраїлю заявляє, що напад не призвів до цивільних жертв на Голанських висотах.

Завзяття й щира праця

 У Німеччині з'явилася банкнота номіналом нуль євро
 В Шанхае появился беспилотный магазин на колесах без персонала. Шведская компания Wheelys начала тестирование автоматизированного передвижного магазина Moby на улицах Шанхая. В процессе работы магазин круглосуточно курсирует по определенным улицам, а пользователь может вызвать его при помощи смартфона к себе, будто такси. Смартфон также потребуется, чтобы попасть внутрь и сканировать штрих-коды на выбранных товарах. При выходе из магазина приложение автоматически спишет сумму покупок с привязанной карты.
 Искусственный интеллект поможет учёным Monsanto быстро и эффективно обнаружить молекулы, способные защитить зерновые культуры от различных заболеваний и насекомых. Вместо того чтобы перебирать бесчисленное количество молекул одну за другой, нейронная сеть, созданная специалистами Atomwise, использует глубокое машинное обучение, чтобы исключить большинство вариантов и оставить лишь тех кандидатов, которые будут обладать желаемым эффектом.
 SpaceX сегодня успешно запустили спутник Bulgariasat-1 - повторным бустером - и успешно посадили бустер на морскую платформу.
Это у них уже второй запуск использованным бустером. Кстати, этот бустер (заводской номер 1029) стал в истории первым, взлетавшим с двух разных космодромов - первый запуск 1029 был с космодрома в Ванденберге (январь 2017, запуск "Iridium NEXT").

Read more... )

Відео дня — Light Balance

Jun. 25th, 2017 04:02 pm
bytebuster: (TapeFace)
[personal profile] bytebuster
Український танцювальний колектив Light Balance підкорив шоу "Америка має талант"
Колектив настільки вразив суддів і ведучих Тайру Бенкс, що було вирішено натиснути на золоту кнопку, яка забезпечує прохід учасників відразу на прямі ефіри.

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 часа дня.

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

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

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


ygam: (Default)
[personal profile] ygam
Обычно у меня хватает ума не писать ничего про работу в неподзамочных интернетах. Однако, эта история произошла по интернетному времени настолько давно, что ничего, относящегося к современности, в ней нет; все упомянутые софтверные системы давно мертвы. Это - одна из моих самых любимых программистских историй.

Году в 2004-2005 я работал в Амазоне, и унаследовал код, передающий данные о предложениях товаров для создания страницы с этими предложениями (например). Данные о предложении состояли из идентификатора, состояния (новое, б/у, коллекционное, отремонтированное); регулярной цены; цены на распродаже и сроков распродажи, если таковые были; доступности; наценок и увеличения сроков доставки на Гавайи, Пуэрто-Рико и т. п.; и т. д. Эти данные поступали из трех источников: склады самого Амазона; большие поставщики, которые регулярно посылали нам информацию о своем инвентаре; и мелкие продавцы, которые продавали свои книжки и т. п. на сайте Амазона. Данные из разных источников хранилась в разных независимо разработанных системах, основанных на разных технологиях; данные от мелких продавцов - в объектно-ориентированной базе данных.

Код, который я унаследовал, брал списки предложений, отсортированные по цене в порядке возрастания, и сливал их в один список (для первой страницы со списком - первые 25 предложений, для второй - брал первые 50 и отбрасывал первые 25, и т. д.; каждый из исходных списков был того же размера, что и результат). Предложение было классом в C++, а список был дважды связанным списком (std::list) умных указателей на этот класс, но не STL-овских, которых тогда не было, а внутренних амазоновских, написанных одним разработчиком, нынче главным архитектором одной известной компании; алгоритм слияния был реализован вручную.

Я подумал: зачем нужна эта ручная реализация алгоритма слияния, если можно класть списки предложений в std::vector, вызывать функцию std::inplace_merge, и после каждого слияния отбрасывать все элементы после первых 25 (50 и т. д.)? Однако, как оказалось, в умном указателе есть баг: если его присвоить самому себе, то он обнуляется, а STL-овская реализация алгоритма слияния иногда присваивает разыменованные итераторы самим себе. Я дал знать об этом баге автору указателя, но библиотека с умным указателем была настолько корневая, что исправить его означало перекомпилировать значительную часть всего амазоновского кода, что занимало чуть ли не сутки, и вызывало множество случайных ошибок. Поэтому баг остался неисправленным. Слияние же я реализовал, используя кучу: создать вектор, пройтись по всем предложениям из всех источников, и класть их в этот вектор, используя функцию std::push_heap, и если размер вектора превышает 25 (50 и т. д.), удалить из вектора максимальный элемент, используя функцию std::pop_heap. В конце вектор будет состоять из самое большее 25 (50 и т. д.) минимальных предложений из всех источников в кучевом порядке; их можно вынуть оттуда от самого большого до самого маленького, используя функцию std::pop_heap, и положить в вектор результата в обратном порядке.

Проблема заключалась в том, что как старый, вручную реализованный код, так и функция std::inplace_merge устойчивые, а мой алгоритм - нет. Если все предложения поступали из одного источника - объектно-ориентированной базы данных с предложениями от мелких продавцов с одной и той же ценой, то старый код сохранял их порядок, а новый - перетасовывал.

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

Весной 2005 года прошла Amazon Seller Conference, на которой послышались жалобы от продавцов: мы уволили четверых человек (кажется; я эти цифры помню очень смутно); мы уволили двоих человек. Отдел Амазона в Германии написал, что два продавца объявили банкротство. Все эти люди построили свою бизнес-модель на баге в коде Амазона, и исправление этого бага ее сломало.

Но это еще не конец истории. Через несколько месяцев один продавец написал Джеффу Безосу: почему мое предложение для такого-то товара стоит на втором месте уже четыре месяца? От Безоса это письмо спустилось по корпоративной иерархии ко мне, но вместо того, чтобы случайным образом перетасовывать предложения с одинаковой ценой, я добавил вторичный ключ для сравнения: хэшированный идентификатор, интерпретированный как 64разрядное целое число, умноженный на юниксовское время в часах, по модулю большого простого числа. Теперь предложения с одинаковой ценой перетасовывались каждый час. Это работало по той же причине, по какой если у планеты есть несколько спутников, обращающихся в плоскости эклиптики, периоды обращения которых соотносятся, как иррациональные числа, то вероятность того, что в определенный момент у данного спутника будет минимальная эклиптическая долгота, вторая по величине, третья по величине и т. д. одинакова, и равняется единице, деленной на число спутников. Я тогда читал книжку про статистическую механику, узнал о существовании эргодической теоремы, и вывел из нее этот факт в пределе, когда и размер хэшированного идентификатора в битах, и большое простое число стремятся к бесконечности (подробностей я теперь уже не помню).

Если у меня будут внуки, и они будут уметь программировать, то я им буду рассказывать эту историю.

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

March 2017

S M T W T F S
   1234
567 891011
12131415161718
19202122232425
262728293031 

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 26th, 2017 12:14 pm
Powered by Dreamwidth Studios