?

Log in

БЭСМ-6

2016, Jul 2

21:27:00 - Специальный пост для Анариэль

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

Внимание, пост открытый. Ссылки на закрытые посты допустимы, но аккуратно. То есть коммент состоит только из ссылки, обсуждение приравнивается к выносу из-под замка, и вероятно, будет тереться по мере обнаружения.

Вынос из-под замка — только с явного согласия навесившего замок. Стартовый пост, напоминаю, подзамочный.

Желающие подискутировать с Анариэль еще и у меня — хорошо подумайте, стоит ли вам это тут делать. Или, может, аналогично в свой журнал? Морозить буду нещадно, тереть тоже могу.

2016, Mar 10

15:12:00 - Звериный оскал бесплатной медицины :)

[personal profile] knjazna, тебе может быть интересно в качестве препарата. Если интересно, я с удовольствием прочту твой комментарий.

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

Дальше постараюсь привести диалог по возможности близко к тексту. Извините, на диктофон не записывал. Комментарии мои.

Прихожу, собственно, с жалобой на то, что проснулась пищеварительная хронь. Симптомы описываю.

- Какие диагнозы были?
- Гастрит, гастродуоденит, холецистит в разное время.
- Ну, это как у всех.

Гм... Ну, ладно.

- А таблетки какие-то принимаете?
- Нет пока.
- А почему?

Чо? Ну, ладно.

- Ну, я в принципе представляю себе, что принимать, но предпочел бы, чтобы мне это доктор сказал.
- А сейчас вы вроде как не к доктору пришли...

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

- Ну, к гастроэнтерологу вы сейчас все равно не попадете, поэтому придется обойтись рецептом от маляра.

Я вообще-то не со срочными проблемами к нему пришел. Или "сейчас" - это в ближайшие полгода?

Осмотр свелся к "покажите язык", выписал три таблетки и три направления на анализы - ожидаемое УЗИ брюшной полости, ожидаемая биохимия крови, и почему-то сифилис. Про гастроскопию спросил, но не направил. И...

- Этот анализ будет делаться 10 дней (я так понимаю, это как раз про сифилис, но видно не было), к этому времени боли, может быть, уйдут.

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

На этом мы попрощались и разошлись.

Origin: http://filin.dreamwidth.org/10337.html, comment count unavailable comments

2016, Jan 16

20:55:00 - Зато вкусно...

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

Origin: http://filin.dreamwidth.org/10003.html, comment count unavailable comments

Tags:

2015, Sep 29

00:13:00 - Крым. Россия. VPN.

(Заголовок — парафраз плакатов, изрядно развешанных по Крыму)

1. Нужен VPN. В отличие от ситуации в Китае или Москве, из-за за...гибов властей не страны пребывания, а совершенно другой, но я не про политику, я про технику. Чисто технически наткнулся на то, что play store работает до момента попытки нажать "install", и тут выдает 403. Туннель до Лондона помогает.

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

2. Вода чистая. Куда Байкалу. Пожары тушат. Куда Байкалу. Правда, соленая, тут у Байкала преимущество.

3. В поведении людей отчетливо ощущается нервозность. Часто рычат друг на друга на ровном месте и явно не по злобе — конфликт не развивается. Похоже на сдающие нервы. Вне этих срывов отношение ощущается как доброе. Юмор в надписях тоже добрый, куда Сибири.

3.1. С татарами хуже, там недоброе отношение чувствуется. В среднем, разумеется.

2015, Mar 19

12:13:00 - Международный день...

Что-то есть странное в празднике Международный День Клиента...

Это меня родной опсос смской поздравил.

Current Mood: серверное
Current Music: Я сервер, сервер, сервер, а вовсе не клиент...

2015, Feb 26

16:29:00 - О доказательстве программ

О доказательстве программ

В комменты к предыдущему посту Сильный Программист™ принес ссылку на статью, где люди таки осилили задачу доказательства полезного свойства программы. Вернее, как и следовало ожидать, написали вариант программы, у которой это полезное свойство доказуемо, доказательство автоматически проверяется и даже в немалой части автоматически строится.

Это был конструктивный взрыв мозга.

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

Сначала о конструктивном взрыве мозга. Из разряда "тривиально, но не очевидно". Поскольку Карри-Ховард, и утверждение есть тип, то чтобы что-то утверждать про воздействие программы на данные, ее возвращаемый тип должен зависеть от входных данных, причем не формально, а фактически. Еще раз, поскольку у меня в голове у самого это еще не уложилось. Не от типов входных данных. От самих входных данных. Тип результата.

То есть, в примере из статьи, если операция сравнения (≤) элементов списка возвращает обычный Bool (казалось бы, а что еще она может возвращать?), то утверждение "sort возвращает упорядоченный список" мы не то что доказать — сформулировать для тайпчекера не сможем.

"Зависеть фактически" тоже существенно. Это само по себе уже понятнее. Действительно, если, например, операция сравнения возвращает по сути тот же Bool, только под видом зависимого типа (т.е. собственно результат сравнения возвращает, а доказательство — нет), то мы можем произвольно менять местами истину и ложь — тайпчекер этого не заметит. А система ориентации антенны космического аппарата, увы, заметит. Еще раз. Требуется обеспечить невозможность на уровне типов подставить "да" вместо "нет" в результате сравнения значений.

Что поразительно, на практике оказывается, что это требование не так уж сложно выполнить...

А теперь подробнее про мои впечатленияCollapse )

Сухой остаток



  1. Чтобы доказать какое-то свойство программы, ее наверняка придется модифицировать, возможно, очень изрядно и творчески — или изначально писать иначе. Ваш Кэп.

  2. Свойство программы можно доказывать

    • Вне языка — как тотальность на первом шаге, где она доказывается вне системы типов вообще. Умение доказывать такие свойства, если мы хотим автоматизированного доказательства, должно быть присуще компилятору, поэтому таких свойств а принципе немного, и это должны быть самые важные общепрограммистские ценности, невыразимые внутри языка.

    • Внутри языка как отдельное утверждение. Так они доказывают свойства отношения частичного порядка для типа x≤y, которые им не требовались в коде sort. Написали три отдельных терма, типы которых выражают свойства порядка, положили их в тот же модуль — и они будут проверяться при каждой компиляции.

    • Кодировать в типе самой программы. Т.е. писать программу, которая обладает требуемым свойством по построению результата. Способ особенно любим идеологами зависимых типов за высокий PR-потенциал.





Какой вариант (для какого свойства) выбрать? Для меня пока ответ неясен, но я склоняюсь к варианту "программа отдельно, доказательства свойств отдельно". Программу можно модифицировать так, чтобы доказательства получались, но осторожно. А вот идея кодировать доказательство всех нужных свойств программы непосредственно в ее типе представляется мне на данном этапе развития сомнительной. Почему?Collapse )

2015, Feb 19

20:49:00 - Об оптимальном языке программирования

Прочитал интересную серию статей Paul Callaghan в PragPub (https://pragprog.com/magazines, выпуски с 38 по 49, кроме 44, а существенная для этого текста часть — с 45-го), и сделал для себя некий существенный вывод, к которому эта серия — прекрасная иллюстрация. Оным выводом и хочу поделитьсяCollapse )

Сразу озвучу совсем уж сухой остаток. На данный момент развитие средств программирования таково, что оптимум называется Haskell. Может быть, еще какие-то сходные языки, не уверен. Ключевые моменты: богатая система типов и статическая их проверка. Только вместе. Но. Более богатые, чем хаскель, средства (зависимые типы) пока оказываются намного ниже оптимума. Подробно - много буквCollapse )

Origin: http://filin.dreamwidth.org/9762.html, comment count unavailable comments

2014, Nov 20

22:51:00 - Тоже про систему инициализации в юниксах

Навеяно постом Витуса (http://vitus-wagner.dreamwidth.org/1028969.html, http://vitus-wagner.dreamwidth.org/1028969.html). В порядке выноса из комментов.

Задача запуска сервисов при старте системы и их мониторинга имеет три существенных подзадачи:

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

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

3. У админа должна быть возможность в считанные минуты, а лучше секунды, поправить инструкцию запуска под нужды своей системы.

Последняя задача требует, чтобы язык, на котором пишется эта инструкция, был простым, понятным админу (т.е. человеку с минимумом программистского скилла), лаконичным для этого класса задач, и его интепретатор, учитывая потребности embedded систем, должен быть компактным, считая зависимости. И, что важно, он должен быть один, потому что учить его придется каждому админу.

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

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

Плюсы: можно удовлетворить в принципе любые требования к запуску. Тьюринг-полная система.

Минусы:

- требуется дополнительно разрабатывать соглашения о взаимодействии с init и зависимостями, также простые и лаконичные. Это сложная задача, до сих пор ее толком не решили. LSB-style комментарии - слишком слабый язык для выражения зависимостей.

- как следствие, требуется еще один язык, будь он выражен в виде протокола с init или библиотеки. И этот DSL уже обязан НЕ быть Тьюринг-полным, от него требуется разрешимость, и более того, практическая разрешимость, т.е. решение задачи быстро.

Подзадача 2, помимо этого, требует еще одного DSL, в котором как минимум будут события "сервис упал" с некоторым количеством параметров (см. "respawning too fast" у нынешнего init) и "сервис остановлен админом". При наложении на систему зависимостей появляются еще понятия "перезапускать или нет зависимый сервис, если его зависимость упала и перезапущена". Заведомо нужны варианты мягких зависимостей - так, например, у меня на сервере exim, я считаю, обязан принимать почту даже если не может достучаться до spamd, spamtrapd и greylistd - но если может, надо их использовать. Т.е. это мягкие зависимости вида "надо поднять их до подъема exim, но если они не поднялись, стартовать все равно". Бывают и другие типы мягких зависимостей.

Удобнее всего такая конструкция решалась бы, если соглашение о зависимостях выразить в виде библиотеки для языка инструкций запуска, причем не столько в виде запросов от init к скриптам, сколько наоборот, от скриптов к init. Тогда в инструкцию запуска exim я (админ) перед запуском exim пишу "дорогой init, запусти мне spamd, spamtrapd и greylistd", дожидаюсь выполнения команд запуска, но игнорирую результат (могу и учесть, но в любом случае, exim я запущу). Причем пишу это я, админ, поскольку только я знаю, что в моей конфигурации используются spamd и greylistd из пакетов, а spamtrapd у меня вообще самопальный.

А инструкция запуска системы целиком звучит "запусти мне подсистемы dm, dns, mta, udev, autofs, acpi, network, sshd, cron, ntpd и вон те вон два lxc-контейнера". А уже их скрипты запуска, опять же, по моей команде, в курсе, что dm у меня нынче - nodm, dns - dnsmasq, и dns надо запускать до network (чтобы при подъеме сетевого интерфейса, который настраивается по DHCP, resolvconf пнул уже запущенный dnsmasq - а вообще-то тут вполне себе место, чреватое циклом), mta нынче - exim, и ему нифига не требуется DNS, такая конфигурация, а зато вот было бы клево поднятую сеть... А на сервере ему как раз требуется DNS, он там пытается адреса верифицировать. Ну и т.д.

Но тогда система зависимостей внезапно становится Тьюринг-полной, и проверить ее нет никакой возможности. Только отлавливать циклы зависимостей уже при старте системы, а это, знаете ли, поздновато...

Другой подход, насколько я понимаю, реализован в systemd. Суть подхода в том, что для описания всей системы запуска сразу берется декларативный Тьюринг-неполный DSL, и запуск полностью управляется init'ом.

Плюс: систему зависимостей в теории можно проверить заранее. Осилил ли это Поттеринг на практике, не очевидно (боюсь, со всеми костылями - нет) и что делать, если при этой проверке пойман цикл - вопрос открытый.

Минус: обеспечить практически разрешимый DSL, позволяющий удовлетворить реальные потребности - задача явно не уровня Поттеринга. Может быть, уровня Остерхута... И судя по косвенным данным, Поттеринг ее, разумеется, провалил.

Origin: http://filin.dreamwidth.org/9717.html, comment count unavailable comments

2014, Aug 20

21:37:00 - Геополитическое ламатьявэ

"Пармезано рязано"

Origin: http://filin.dreamwidth.org/9335.html, comment count unavailable comments

2014, Jul 14

22:23:00 - type checker for beggars

В переписке вокруг одной программы посетила недомысль:

Расстановка по коду логгинга с прицелом на автоматизированную фильтрацию лога и последующий его анализ — это тайп-чекер архитектуры для нищих.

Для бедных — это написание юнит-тестов. Именно написание, а не сами юнит-тесты.

Теперь в задумчивости про «для богатых» и «для среднего класса». Пруфчекер — это, боюсь, уже для миллионеров... Хотя, если освоить, например, агду, и попытаться выразить архитектуру на ней...

Origin: http://filin.dreamwidth.org/9139.html, comment count unavailable comments

22:18:00 - Конструктивный язык

В путеводителях по Непалу раньше писали (не знаю, пишут ли еще сейчас), что местным не стоит задавать вопросы, подразумевающие ответ да/нет: у них, типа, считается, что ответом "нет" ты расстраиваешь собеседника, поэтому на вопрос "я правильно иду в Горепани?" рискуешь услышать "да", даже если идешь в обратную сторону. А надо спрашивать "в Горепани в какую сторону?" Тогда покажут в правильную.

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

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

У нас неконструктивная традиция. Когда европеец спрашивает "правильно ли я иду в Горепани?" и получает в ответ честное "нет", ему что на самом деле надо? Правильно, попасть в Горепани. Решил ему этот ответ эту задачу? Правильно, не решил. Он узнал, что этим путем он в Горепани НЕ попадет. И чо? И ничо! Если тебе надо попасть в Горепани, надо спрашивать дорогу в Горепани.

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

Я еще не понял, какие я из этого сделаю выводы для себя...

Origin: http://filin.dreamwidth.org/8863.html, comment count unavailable comments

Current Mood: thoughtfulthoughtful

2014, Jun 2

19:19:00 - Рецепты для чайника

Купили вчера электрический чайник. В комплекте идет... КНИГА РЕЦЕПТОВ ДЛЯ ЧАЙНИКА. Не то чтобы очень толстая, и в нее уместили три языка, но все же 17 страниц на русском...

P.S. Небессмысленно, но читать с регулятором критичности, вывернутым до паранойи.

P.P.S. В английской версии нормально, лажал переводчик на русский. Укр, наверное...

Origin: http://filin.dreamwidth.org/8614.html, comment count unavailable comments

17:23:00 - Поток сознания о fold

На правах потока сознания, преимущественно чтобы сформулировать. Но если кому из понявших, о чем речь, есть что сказать - welcome.

Читая тут на досуге "Higher Order Perl", обнаружил, что автор запутался между List::Util::reduce из стандартного модуля и тем, что в более других языках называется fold. И до меня, похоже, дошла небанальная мысль, откуда там путаница. От внешней похожести совершенно разных операций!Collapse )

Origin: http://filin.dreamwidth.org/8259.html, comment count unavailable comments

2014, May 18

17:59:00 - ... и та — вмятина от фуражки.

вмятина от фуражки

Origin: http://filin.dreamwidth.org/8173.html, comment count unavailable comments

2014, Apr 9

14:39:00 - Уехал в Китай.

Обратно 28-го.

Origin: http://filin.dreamwidth.org/7832.html, comment count unavailable comments

14:29:00 - Модель cheshirenet: мой взгляд

http://minas.lasgalen.net/cheshirenet/model.html

Предыдущие серии - у Витуса по тегу cheshirenet: в Dreamwidth, в ЖЖ.

Я, как обычно, работаю в Emacs, в org-mode, у него есть неплохой штатный экспорт в HTML, так что я не в текст поста, а ссылку.

URL следует рассматривать как временный, что будет постоянное - посмотрим, когда Витус таки засетапит проект на github.

Витус, пиар на предмет обсуждения приветствуется.

Origin: http://filin.dreamwidth.org/7662.html, comment count unavailable comments

2014, Jan 31

19:49:00 - Типа зимний дыбр

В Таганроге -20 и резко, за сутки, насыпало снегу по колено. Общественный транспорт ходит не весь и не везде. Видел велосипедиста.


Запись сделана с помощью m.livejournal.com.

2013, May 26

23:24:00 - Антивирус для андроида?

А посоветуйте антивирус для андроида. По личному опыту.

А то до меня тут пытается домогаться McAfee, от которого типа инсталлятор стоит в моей Xperia Z с раздачи, и я, в общем, думаю, что по сути-то он прав, к андроиду вирусы плодятся. А вот стоит ли заводить его, или кого-то еще поставить?

Origin: http://filin.dreamwidth.org/7001.html, comment count unavailable comments

Tags:

2013, Mar 19

18:50:00 - Уехал в Непал

Сабж. Обратные билеты на 17 апреля.

Origin: http://filin.dreamwidth.org/6858.html, comment count unavailable comments

Tags:

2013, Feb 20

19:30:00 - Божественные натуральные числа

Преамбула. Среди математиков гуляет крылатая фраза "Бог создал натуральные числа, остальное - дело рук человека". На самом деле, если википедия и словарь немецкого нам не врут, то Кронекер сказал про целые, а не натуральные, и рук там тоже не было (что логично, остальную математику человек создал по большей части не руками).

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

1. Какую именно структуру создал Бог?

2. Ноль входит?

Понятно, что натуральные числа можно задавать разными способами. Понятно, что просто натуральный ряд, без операций, Бог не создавал, смысла нет. Понятно, что, скажем, вычитание и деление не входят (множество натуральных чисел относительно них не замкнуто). Очевидно, что и, скажем, факториал тоже придуман людьми. А какие операции божественны?

Я ставлю на: единицу (ноль не входит), следующее число (AKA +1), и... а вот что "и"? В основаниях математики тут используют рекурсию. Но рекурсия - понятие, мягко говоря, недетской сложности, его в школе до сих пор фактически не дают. Даже в вузах проходят построение целых чисел, рациональных, предела, действительных, производной, интеграла, и с легкостью доходят до гребеней математической статистики, рекурсию даже не упомянув. Между тем сложение детям, если объясняют, то объясняют по сути через примитивную рекурсию... Хотя нет, через итерацию. Через разворачивание числа в последовательность. Умножение тоже так вводят. "... и понятие последовательности"?

Origin: http://filin.dreamwidth.org/6652.html, comment count unavailable comments

Current Mood: curiouscurious

2013, Jan 31

11:10:00 - Для узкого круга: 3 февраля, Калистово-Морозки

Калистово-Морозки, 30 км.
Электричка с Ярославского вокзала 9:07, Сергиев Посад. Встречаемся (если будет с кем) у пригородных касс в 8:37, билет 99 р.
+79037728736.
Погоду обещают не прекрасную, 0..+1.
Формат - беговой (преимущественно классика), но не спортивный, а любительский (сам первый раз в сезоне выбираюсь), без костра, с короткой остановкой (обычно одной) на перекус из термоса и бутербродов.
В принципе, желающие могут присоединяться, если вписываются в формат. Но стоит помнить, что я - мизантроп, к незнакомым людям отношусь настороженно, а большие группы водить не умею и не стремлюсь учиться.

Origin: http://filin.dreamwidth.org/6373.html, comment count unavailable comments

2013, Jan 20

15:18:00 - Вернулись из Новой Зеландии

28 дней плюс в каждый конец больше суток по самолетам (чисто времени полета, с аэропортами ближе к двум), 6500 км в основном на машине, но частью и пешком, горные дороги с разрешенной скоростью 100 (если можете...), луна, которая растет и стареет в другую сторону, Южный Крест, Тихий океан, пингвины и еще одна страна, в которую обязательно как минимум вернуться. Огромное спасибо в первую очередь Сэрмал, без которой это путешествие потребовало бы куда больше нервов.

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

Origin: http://filin.dreamwidth.org/6011.html, comment count unavailable comments

2012, Dec 5

18:27:00 - Компьютерно-философское

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

Пример. Мой смартфон, HTC Desire Z. В основной функции телефона - звонить - как говорит Игус, "работает как физический объект". В смысле, да, звонить можно. Если удастся снять трубку, для начала, потому как разблокировка экрана у андроидов, как и положено, нечеловеческая. Ну, правда, я понимал, что беру не телефон с прибамбасами (напрочь они мне не сдались, те прибамбасы), а карманный компьютер с GSM-модулем. В этом качестве он, после замены штатной операционки на cyanogenmod и установки wheezy в chroot, вполне меня устраивает, и кажется, на рынке нет вменяемых альтернатив. А к функциям его как интеллектуального телефона (без прибамбасов - просто как телефона, но с записной книжкой и работой с блютусной гарнитурой) претензий более чем достаточно, предыдущая дешевая нокия была в этом качестве куда лучше. Впрочем, записная книжка у cyanogenmod все же лучше, чем у нокии, а главное, поскольку это компьютер общего назначения, ее можно заменить на альтернативную, в том числе написать свою. Родная HTC'шная была, кажется, хуже, хотя сейчас уже не помню.

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

Второй пример из совсем недавних. Хотелось купить электронную книгу в подарок пожилой женщине, с компьютером на Вы. Но нужна с нормально подсвеченным экраном (без подсветки есть, неудобно), умеющая читать вменяемое количество форматов, и не глючащая на каждом шагу. Что-то я начинаю подозревать, что у нас ебуки сплошь с хохляцкими прошивками. Не украинскими, а именно хохляцкими. Даже если на русском. То есть ниточки тянутся в Украину, но существенно качество. Уже третий ебук с такими ниточками. Предыдущие были ебуки странных контор. Ведут себя печально, на кнопки реагируют крайне неохотно, и т.п. Эту брали PocketBook IQ-701. Наиболее толковой в этом классе конторы. Может, конечно, у них эта модель неудачная - в отличие от еинковых, эта (LCD) на древнем андроиде. Ничем бы не плохо, кроме того, что приложения маркета нету, а через браузер маркет ее не поддерживает. То есть ничего доставить нельзя. (Да, я в курсе, что для нее есть прошивка на втором андроиде, но она тоже украинская, и судя по описанию, тоже хохляцкая.) Так вот, половину заявленных форматов не читает. Проверялось 4 - fb2.zip и txt читает, epub и pdf - падает. Распознает, даже показывает обложку книги, но при попытке пойти ее почитать немедленно возвращается обратно. (Падает не всё приложение целиком, а только читалка, но стопроцентно.) При этом по задумке интерфейс как раз подходящий - при втыкании в компьютер честно представляется флешкой, при вытыкании обратно перечитывает залитое, программа чтения снабжена виджетом, и вообще расположена довольно близко... Минимум проблем. Вот только не работает. И всего на 20% дороже можно купить 7" Samsung Galaxy Tab 2, в котором уже 4 андроид, который нормально поддерживается, и для которого можно налить читалок с маркета на любой вкус. Которые работают.

Почему сразу не взяли Galaxy? Потому что у молодой женщины, с компьютером на китайском (то есть уже не на Вы, но еще не на одном, и даже не на родственном, языке), аналогичный не удалось нормально состыковать с виндой (XP SP2, правда, но работает) по USB. Потому что это всё-таки специализированное устройство, только не для тех задач, для которых оно куплено, а для интернет-серфинга. И что-то я сильно подозреваю, что для этих задач оно тоже не ахти, но тут уже я совсем не ЦА, и задач ЦА не знаю. Ну, благо дома есть сеть, а на том же маркете Total Commander и LAN plugin к нему, но даже так не шибко удобно. А у предыдущей женщины LAN с WiFi дома нет. И боюсь, что задача закладывания туда книжек, скачанных мужем из сети, перейдет из разряда "имеет не шибко удобное решение" в разряд "решение есть, но требует очень много нервов". Либо к нам ногами ходить, у нас сеть есть. И архив либрусека тоже есть.

В общем, зарекся я пытаться покупать специализированные устройства, по крайней мере для использования по прямому назначению, а не для превращения в полноценный компьютер...

P.S. После того, как на коммент к предыдущему посту мне ЖЖ не дает ответить с редкостно извращенной диагностикой (Нассэ, на твой как раз), я решил запретить комментирование там. Кросспосты из dreamwidth остаются, а комментировать ходите в DW. Впрочем, я пишу так редко, что вряд ли это создаст кому-либо серьезные неудобства...

Origin: http://filin.dreamwidth.org/5667.html, comment count unavailable comments

17:55:00 - Подсознательное

Поймал себя на привязавшейся фразе из песни. В редакции


Ты признайся, кого тебе надо,
ты скажи, программист молодой.


По осознании немедленно развилось в


Что ж ты кодишь всю ночь одиноко,
что ж ты серверу спать не даешь?


Отвяжись уже!

Origin: http://filin.dreamwidth.org/5573.html, comment count unavailable comments

2012, Sep 22

21:13:00 - Вопрос про электросистему автомобилей

Вопрос к знакомым автомобилистам.

Предположим, я взял в аренду автомобиль. Предположим, обычный автомобиль, а не кемпер с дополнительной бытовой электроподсистемой. И у меня есть:


И предположим, я на этой машине довольно много еду. То есть генератор работает, допустим, от 3 до 6 часов в день. Возможности подержать движок работающим на холостом ходу достаточно долго, вероятно, не будет.

У меня есть питальник от прикуривателя для зарядника AA. Остального штатного нет. Предположительно, у Фауста есть что-то от прикуривателя в USB, возможно, выдающее ампер, но вряд ли два. Скорее всего, с одним выходом.

Вопросы:


  1. Мне вообще хватит генератора на весь этот зоопарк? Если нет, то на какую часть зоопарка примерно хватит?

  2. Посоветуете ли по опыту что-нибудь из разряда:

    • раздвоитель прикуривателя;

    • питальник от прикуривателя, выдающий наружу 2 разъема USB;

    • питальник от прикуривателя, способный выдать 5V/2A;

    • преобразователь из прикуривателя в 110-220V AC?




Origin: http://filin.dreamwidth.org/5273.html, comment count unavailable comments

21:00:00 - Вопрос про портативные рации

А скажите мне, граждане, если кто имел с этим дело (вероятно, в первую очередь Боря Тоботрас). Если мне нужна портативная рация, вероятно, PMR (имею в виду пользоваться ею в том числе в Европе и в Новой Зеландии, а тако же в Гималаях; в России, впрочем, тоже), то куда мне смотреть? У Яндекс-маркета подбора по параметрам нету, а кто их вообще продает, и чьи стоит покупать, а чьи не стоит? Критичны в первую очередь вес и дальность, помимо граничного условия "ее вообще можно использовать". Насколько законно их использовать в Непале или Индии, не спрашиваю, хотя если кто вдруг знает, то буду благодарен за информацию.

Origin: http://filin.dreamwidth.org/5062.html, comment count unavailable comments

2012, Jul 6

20:08:00 - Уехал

Норвегия, преимущественно регион фьордов. Обратно 5 августа.

Origin: http://filin.dreamwidth.org/4752.html, comment count unavailable comments

2012, May 27

16:13:00 - Боевая ветровка?

В связи с резким падением качества у Marmot задается вопрос: у кого (и где в Москве) можно купить хорошую боевую мембранную ветровку. Требования в порядке убывания приоритета:

1) Хорошо держать дождь.

2) Дышать.

3) Мало весить и более-менее компактно сворачиваться.

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

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

Origin: http://filin.dreamwidth.org/4589.html, comment count unavailable comments

2012, Mar 15

13:55:00 - Уехал

Гималаи, район Аннапурны, матрасно (ну, до базового лагеря, не дальше...)

Обратные билеты с прилетом 6 апреля.

Origin: http://filin.dreamwidth.org/4181.html, comment count unavailable comments

2012, Feb 24

16:11:00 - Новые ЖЖшные репосты перепрятаны

По просьбе [Bad username: galenel.livejournal.com] покопался в коде, который генерируется для репостов нового типа. Не нашел ничего лучше, чем фильтровать по "Оригинал взят у" или "Originally posted by", что потребовало применения JavaScript, одним CSS обойтись не удалось. Ну и кривой же он, этот ваш JavaScript...

Соответственно, заточено под Greasemonkey (расширение Firefox для запуска своих скриптов при посещении разных веб-страниц; пролетарии всех стран пользователи других браузеров, извините). Применяемые функции самого скрипта в Firefox появились в версии 3.5, пользователи более древнего, если такие остались, тоже сами виноваты.

http://www.lasgalen.net/gm_scripts/hide_repost.user.js

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

Origin: http://filin.dreamwidth.org/3944.html, comment count unavailable comments

2012, Feb 9

19:38:00 - Отчет по Вьетнаму

Выложил технический отчет по Вьетнаму



Origin: http://filin.dreamwidth.org/3819.html, comment count unavailable comments

2011, Dec 20

15:30:00

Уехал. Вернусь по замыслу 17-го.

Origin: http://filin.dreamwidth.org/3543.html, comment count unavailable comments

Navigate: (Previous 32 Entries)