Затмение

Jun. 26th, 2017 05:40 pm
vak: (Default)
[personal profile] vak
Через два месяца, 21 августа ожидается полное солнечное затмение. Ради такого дела мы собираемся двинуть на север, в штат Орегон, чтобы насладиться этим редким зрелищем в полной мере. Вот карта с обозначенной полосой полной фазы затмения:

networking

Jun. 26th, 2017 04:17 pm
brmail: (Default)
[personal profile] brmail
 персональный опыт показывает, что наименее проблемным способом устройства на работу является устройство туда, где уже работает кто-то из ваших знакомых. Чтобы человек просто положил ваше резюме на стол и сказал что это правильный кандидат, и он будет хорошо работать. А пропускание резюме через фильтры автоматизированных интеллектуальных систем, которые с трудом разбираются даже с таблицами ворда - дело малоперспективное. 

entry ban

Jun. 26th, 2017 11:43 am
stas: (Default)
[personal profile] stas
SCOTUS вынес решение принять к рассмотрению вопрос о запрете Трампа на вьезд из 7 стран. Рассмотрение будет в октябре. Но мне вот что непонятно:

1. В январе/марте мотивация для запрета на 90 дней была "o temporarily reduce investigative burdens on relevant agencies during the review period". Какой бы там ни был review, они уже должны были его закончить, и уж точно - к октябрю. Что в таком случае они собираются делать в суде - говорить "мы были правы в январе, что нам было нужно 90 дней"? Кого это волнует через полгода после?

2. Суд снял injunction с некоторых частей запрета, таким образом, запрет на 90 дней частично восстановлен. К октябрю эти 90 дней пройдут. Что собираются говорить в суде противники запрета - "мы были правы всю дорогу"? Опять же, кого это волнует, если к тому времени действие запрета уже истекло?

В общем, мне что-то непонятно - о чём они судиться-то будут?
[syndicated profile] exler_feed
рубрика : РЩД

Павел Дуров о блокировке "Телеграма". Собственно, исчерпывающе, больше ничего по поводу этого идиотизма сказать нечего.

Глава Роскомнадзора заявил, что Telegram должен выдать спецслужбам “ключи для дешифрации”, чтобы те могли читать переписку пользователей и ловить террористов. Это требование не только противоречит 23-й статье Конституции РФ о праве на тайну переписки, но и демонстрирует незнание того, как шифруется коммуникация в 2017 году.

В 2017 году обмен секретной информацией построен на оконечном шифровании, к которому у владельцев мессенджеров нет и не может быть “ключей для дешифрации”. Эти ключи хранятся только на устройствах самих пользователей. Хотя Telegram был пионером этой технологии, сегодня оконечное шифрование используют все популярные мессенджеры, включая WhatsApp, Viber, iMessage и даже Facebook Messenger.

Потенциальная блокировка Telegram никак не усложнит задачи террористов и наркодилеров – в их распоряжении останутся десятки других мессенджеров, построенных на оконечном шифровании (+VPN). Ни в одной стране мира не заблокированы все подобные мессенджеры или все сервисы VPN. Чтобы победить терроризм через блокировки, придется заблокировать интернет.

[syndicated profile] exler_feed
рубрика : софт

Вот такое письмо пришло от Александра, цитирую.

Срочное сообщение, особенно владельцам аппаратов Сони!

Вчера после зарядки телефон стал глючить. Постоянно зависает, перезагружается каждые несколько минут и при этом раскаляется, как сковородка. Причём, греется в районе радиомодуля, а не аккумулятора, т.е. зарядка и неисправный аккумулятор ни при чём. Хотел делать хардрезет, но вспомнил, что при подключении зарядки обновляются приложения, решил для начала поотключать свежеобновлённые приложения. Начать решил с фейсбука, т.к. у вас на сайте недавно читал нарекания на жор батарейки именно им. И о чудо, телефон ожил. Правда, через некоторое время эта сволочь опять запустилась, хотя я отключил все условия автозапуска. Снёс приложение нахрен, тем более оно ещё и как-то нереально места занимало, больше, чем городской бизнес-справочник с картами и навигатором 2gis. И всё, телефон теперь холодный, не виснет, батарейку не жрёт. Зашёл на playmarket оставить негативный отзыв, а там уже куча подобных, причём все от владельцев аппаратов Sony.

Т.е. нужно оповестить всех владельцев смартов Sony: при указанных выше симптомах не нужно нести телефон в ремонт, даже не нужно делать хардресет, просто снесите мобильное приложение от Facebook!

Я думаю, что это наблюдается далеко не на всех аппаратах Sony. У меня его под руками нет, проверить не могу. На Samsung S8+ и ZTE Nubia Z11 ничего подобного не наблюдается - я снова стал использовать "родное" приложение Facebook: на Folio читать-то ленту намного удобнее, но создание нового поста там сделано совершенно безобразно, удалил я это дело.

Upd: Судя по отзывам, проблема коснулась владельцев моделей Z1, Z1 Compact и Z Ultra.

[syndicated profile] exler_feed
рубрика : видео

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

[syndicated profile] exler_feed
рубрика : СМИ

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

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

Впрочем, вру, неинтересно совершенно. Вычеркиваю.

It's me again

Jun. 26th, 2017 12:14 pm
[syndicated profile] exler_feed
рубрика : Экслер

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

Это мы втроем с Митричем и MiuMau.

Важный момент - подготовка квадрокоптера.

А это уже сам полет.

Были в старинном замке, там обнаружился аттракцион для детишек - рыцарь на коне сшибает бошки дракону. Я не мог там не попридуриваться.

[syndicated profile] exler_feed
рубрика : софт

Воистину вам говорю, братья - не ставьте версию 8.3.7! Там уже нет панели Roboform, только кнопка на панели расширений, которой пользоваться значительно неудобнее. На вопрос, с какого такого буя, поддержка Робоформа отвечает, что сделали это по требованию Mozilla - мол, Mozilla с какого-то бодуна не разрешает приложениям создавать свои панели. Да, это лишний повод свалить с Firefox на какой-нибудь более приличный браузер, но проблема в том, что FireFox мне подходит, а больше ничего не подходит ни разу - Chrome по многим причинам совершенно не вариант.

Ну и как вариант - не стал устанавливать 8.3.7, остался на 8.3.5. Да, Робоформ будет задалбывать предложениями обновиться. Но я буду держаться.

Киношечка

Jun. 26th, 2017 11:24 am
[syndicated profile] exler_feed
рубрика : кино

Аннотация фильма - это конкурсное кино на ММКФ.

Жизнь Боско пошла под откос после того, как его отец — коррумпированный министр — оказался за решеткой. Друзья от него открестились, девушка ушла, Боско выгнали из института и выселили из роскошной виллы. Оставшись без средств к существованию, он вынужден снимать комнату в бедном районе и ходить за пособием в центр занятости населения. Там он встречает девушку мечты — слепую левую активистку, почти такую же дуру, как он сам.

(задумчиво) Видать, жизненное кино, надо посмотреть.

дыбр

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

Sky Trail: осилили не всё

Jun. 25th, 2017 04:23 pm
vak: (Default)
[personal profile] vak
По ходу дела пришлось вносить коррективы в изначальный маршрут. Выехали мы чуть позднее чем планировали, а вернуться хотелось немного пораньше. Реальный путь получился такой:



Гугл утверждает, что этот маршрут проходится за 2 ч 24 мин. Оптимист однако! Тут перепад высоты 1207 футов. Мы шли где-то 4 часа.



Ежевики поели изрядно. Её тут вагон, основная масса не созрела еще. Приходите через неделю, будет чем полакомиться. :)
1500py470: (Default)
[personal profile] 1500py470
Вот рассказ Бориса Зубкова из журнала ИиР от августа 1973 года, который хорошо иллюстрирует тему изобретения рабочими вечного двигателя, к сожалению тред пропал вместе с репостом в инжиниринг-ру сообщения о текущем положении дел с выпуском этого издания.

[profile] alj868 Запретить надо : к черту изобретателей рабочих с их вечными двигателями, это для образованных инженеров.

[personal profile] kbb и блондинок с длинными ногами! тоже запретить, ибо нефиг :)

Как хорошо начиналось, и всё пропало, не даёт тема вечного движения покоя людям, а ведь как хорошо в рассказе Зубкова написано, рабочий человек с небольшой подсказкой, из этой идеи великий результат получить может! Великолепный раздел Изобретатели ситуаций в журнале был, будем надеятся, что ИиР традиционо возрадится из пепла.

Read more... )

Дядя Ваня

Jun. 25th, 2017 08:31 am
scholar_vit: (Default)
[personal profile] scholar_vit
Посмотрел "Дядю Ваню" в вахтанговском театре, приехавшем на гастроли в Торонто (режиссер Римас Туминас). Очень любопытная идея ставить пьесу Чехова не как трагикомедию, а как трагифарс. Хотя Туминас, кажется, понял чеховский принцип так: "Если на сцене в первом акте стоит диван, то на нем в первом же акте будут любить. Если там стоит верстак, то на нем тоже будут любить". Люстра, надо сказать, почему-то в этом качестве не была использована.

Как и ожидалось, прекрасные актеры и вообще очень хорошо сделанный спектакль.

Мне этот спектакль напомнил давнюю дискуссию по поводу американских учебников по физике. Кто-то заметил, что в каждом переиздании учебники становятся все сенсационнее: если когда-то тема расчета столкновений иллюстрировалась столкновением бильярдных шариков, то теперь сталкиваются автомобили: трупы, кровь... Авторы объясняли, что студенты десентивизированы телевидением и Интернетом: теперь нужно громко орать, чтобы тебя услышали. Если у Чехова герои целуются, то сегодня этого мало: теперь нужно их положить на диван и заставить раздвигать ноги. Чтобы убедить, что герои пьянствуют, на сцене появляется огромная колба со шлангами и ядовитого цвета жидкостью. Астров показывает свои чертежи при помощи стимпанковского волшебного фонаря на свечках. И так далее. Фарс потребовался потому, что иначе не достучаться...
lxe: (выходили в космос)
[personal profile] lxe
кофе с корицей.

суббота, пнмш

Jun. 25th, 2017 12:36 am
lxe: (письмо с дороги)
[personal profile] lxe
Ничего хорошего не сделал, катались только в Йедвуд-Сити по дублеру сто первого, а обратно кот поездом, а я решил через Ядертон. И запутался в их парке, у них рядом Менло-Парк, а перед ним другой, поменьше и совсем не Менло. И у него, в отличие от Менло, только один выход, там же, где вход. А в том парке, который формально в том парке, который Менло, но на самом деле на отшибе за фсбучным кампусом, бродят дикие голуби фасолевого цвета. И гуси.

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

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

Каунас

Jun. 25th, 2017 10:04 am
[syndicated profile] exler_feed
рубрика : поездки

Немного погуляли по Каунасу. Это второй по величине литовский город, в 1919-1940 годах он был столицей Литовской республики.

Каунасский замок - построен в XIII веке на слиянии рек Немана и Нериса.

Памятник неизвестному солдату. Или не солдату. Скорее всего, это памятник языческому богу Перкуну. Но я в этом не уверен.

продолжение здесь

дыбр

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

Profile

spamsink: (Default)
spamsink

June 2017

S M T W T F S
    1 23
4 5 678910
111213 141516 17
18 1920 21 222324
252627282930 

Most Popular Tags

Style Credit

Expand Cut Tags

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