?

Log in

No account? Create an account
Alexander Kuklev's Journal

> recent entries
> calendar
> friends

> profile
> previous 20 entries

Saturday, January 17th, 2015
2:17 pm
Delayed Настоящим объявляю, что все мои персональные данные, тексты, фотографии, рисунки, переписка и т.п. являются объектами моего авторского права (согласно Бернской Конвенции), и оповещаю «ЖЖ» (LiveJournal, Inc / SUP Media) о том, что разглашение, копирование, распространение моей личной информации в коммерческих целях равно как и любые другие противоправные действия по отношению к моему профилю в социальной сети строго запрещены.

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

Гёттинген
17 января 2015 г.
Александр Куклев

(5 comments | comment on this)

Thursday, January 25th, 2018
4:34 am - Parametric quantifiers and intersection types in bi-directional setting
Recently I was reading “The Types Who Say ‘\ni’” by Conor McBride (a draft, version of Sept. 5, 2017). It's an incredibly nice presentation of the most minimalistic and arguably most beautiful (yet unfortunatelly inconsistent) intuitionistic dependent type theory — the Martin-Löf's '71 variant. It's only type formers are the universe `∗` containing types (including itself) and the dependent function type `(\x : T) ⟶ T(x)` containing appropriate lambda expressions `\x ↦ t(x)`.

The framework used for this novel presentation is the so called bi-directional typesetting. It seems possible to define the impredicative quantification and intersection types as necessary for impredicative representation of inductive and coinductive types supporting dependent elimination (as in http://firsov.ee/impred-ind/impred-ind.pdf, “Generic Derivation of Induction for Impredicative Encodings in Cedille” by Denis Firsov and Aaron Stump).

Read more...Collapse )

(comment on this)

Saturday, January 20th, 2018
12:18 am - Статистика по парковке
Рядом с вальдорфским детским садиком, куда ходит Настя, (и вальдорфской же школой) имеется парковка на 94 машиноместа. Каждое второе утро я подъезжаю туда и обнаруживаю отсутствие свободных мест (в итоге, обычно, паркуюсь дальше от садика и мы идём чуть дольше пешком). Так вот, когда там нет мест, обидно то, что на 94 машиноместах припарковано ну максимум 91 машина, минимум трое (а нередко и пятеро) паркуются, занимая два парковочных места.

Надо отметить, что никакой дорожной разметки на парковке нет, там просто при помощи кустиков выделены парковочные “ниши” по 4-5 мест, так что парковка “на два места” — это совершенно не обязательно злонамеренность, это может быть ещё плохой глазомер и отсутствие перфекционизма. Причём очень может быть, что автомобилей тех, чей плохой глазомер виновен в ситуации, вообще уже нет на парковке.
Возможен, например, следующий сценарий:
— утром на достаточно пустую парковку приезжает человек с плохим глазомером, или неаккуратный, или не умеющий сразу припарковаться нормально, и не имеющий времени исправить дело; неаккуратная парковка не очень беспокоит этого человека, т.к. свободных мест навалом. И вот этот человек паркуется на 30 сантиметров вбок относительно “предполагаемого правильного парковочного места” в нише на 4 места. Ни малейших угрызений совести этот человек не испытывает, т.к. у ниши есть “запас прочности” на эти 30 сантимеров. Если все остальные припаркуются аккуратно, в неё влезет 4 машины.
— потом то же самое происходит с ещё одним паркующимся в ту же парковочную нишу. Допустим его ошибка тоже на 30 сантиметров. Тут бы уже и почувствовать угрызения совести, т.к. после этого в нишу четыре машины не влезает. Но если не знать, в каком порядке машины приехали, виновника неудобства найти невозможно.
– у следующего паркующегося нет выбора — как бы он ни встал в эту же нишу, он будет стоять криво. После того как двое “не слишком аккуратных водителя” уедут, в эту нишу всё равно будет влезать только три машины.

После такого разбора ситуации, начинает казаться, что 3-5% недостачи мест — это не так уж много. Я не знаю, каков показатель в среднем по больнице, могу только сказать, что на парковке у естественнонаучного кампуса университета раздолбайства примерно столько же, у гуманитарного кампуса — гораздо больше, а у завода Фольксваген (не в Гёттингене) — гораздо меньше (но это вполне можно объяснить тем, что там работают такие очень специальные люди, которые любят автомобили и умеют ими крайне хорошо управлять).

(15 comments | comment on this)

Friday, January 19th, 2018
11:56 pm - Жалко
Стояло у нас на улице, в 35 метрах от нашего дома стояло рядом три пушистые высоченные ели, выше окружающих (трёх–четырёхэтажных) домов. Им было минимум лет по 80, они старше застройки этого района. И вот вчера ураганом одну из них наклонило. Утром приехали какие-то чуваки и спилили все три. Интересно, у них были объективные причины пилить все три, а не только ту, которая наклонилась? А то обидно, блин. Улица теперь лысая какая-то.

(4 comments | comment on this)

11:47 pm - Искусство упаковки
Правила хорошего тона рекомендуют подавать вино в декантере или карафе, большинство холодных безалкогольных напитков, водку и наливки — в графине, молоко в молочнике, сливки в сливочнике, масло (не только подавать, но и хранить) — в маслёнке. Сигареты — в портсигаре. Жидкое мыло у умывальников и шампуни, лосьоны, гели и бальзамы в душе — в диспенсерах. Всевозможные развесные сыпучие продукты (в т.ч. муку, крупы, панировочные сухари, макаронные изделия и специи) — пересыпать в специализированные герметичные банки.

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

Мне, как человеку, которого содержание интересует несравнимо больше формы, и которому нравится идея перефасовки в “правильные” стационарные ёмкости, максимально функциональные и эстетически гармонирующие с интерьером, нравятся унифицированные бутылки для пива и вод: в Германии (и не только) большинство сортов пива и большинство сортов минералок и газировок продаются в бутылках стандартных форм. Есть 6 стандартных форм и размеров бутылок, и они покрывают 80% всего рынка этих напитков. Различается только этикетка. Кто хочет выпендриваться и продавать напитки в особенных традиционных бутылках, в общем, так и делает, но использование стандартных обходится существенно дешевле (с тех пор как стандарт по исторической случайности взял и пробился). С моей позиции кажется, что мир бы стал лучше, если бы то же произошло ещё и со всеми шампунями, всей бытовой химией, всеми соками, всеми молочными и кисломолочными продуктами и вообще.

Но с другой стороны нет-нет, да и встретишь какую-нибудь действительно клёвую эстетически и функционально тару нового типа. Стандартизация ведь убивает искусство упаковки. Хотя может и нет, рамки очень часто стимулируют искусство. А вот вы — как думаете?

(11 comments | comment on this)

Friday, December 22nd, 2017
2:43 am - Где бы раздобыть
Википедия утверждает, что в деревне Ясменцы брагинской волости речицкого уезда минской губернии (10 км на юго-запад от Брагина, ныне находится на территории белорусской части чернобыльской зоны отчуждения — закрытого полесского радиационно-экологического заповедника в гомельской области на границе с Украиной) в 1850 году было 11 дворов. Где бы узнать, откуда эта информация, и что известно ещё про эти дворы? Дело в том, что там в 1861 году родился мой прапрадед.

(8 comments | comment on this)

Wednesday, December 6th, 2017
8:09 am - Типотеоретическое
С тех пор, как в качестве побочного эффекта исследовательской программы Воеводского была решена проблема представления общерекурсивных (Тьюринг-полных) функций и вещественных чисел в теориях типов, ключевым вопросом является формализация теории самой унивалентной теории типов на языке унивалентной теории типов, и, говоря, шире представление в теориях типов квазикатегорий и аналогичных им высшекатегорных объектов — широчайший класс зависимых теорий типов находится, судя по всему, в соответствии с категориями обобщённо Reedy-предпучков с дополнительной структурой или свойствами, см. напр. http://www.cs.nott.ac.uk/~psznk/docs/nicolai_highercatstruct_handout.pdf, https://arxiv.org/abs/1706.02866, https://arxiv.org/pdf/1703.03007.pdf.

Простейшим из возможных нетривиальных Reedy-предпучков являются семи-симплициальные типы. Разумеется, их можно построить, если вместо унивалентной теории типов взять теорию типов с двумя типами равенства (нормальным и “строгим”) и, соответственно, неунивалентными вселенными. Но это, конечно, от лукавого. На самом деле для решения этой задачи требуются лишь два ингридиента:
Индексированные индуктивно-индуктивные типы (https://personal.cis.strath.ac.uk/fredrik.nordvall-forsberg/thesis/thesis.pdf), позволяющие определять башни типов
T[0] : *
T[1](t0 : T[0]) : *
T[2](t0 : T[0], t1 : T[1](t0)) : *
...

и придуманные Валерием Исаевым (двойственные высшим индиуктивным типом) records with conditions (точнее, indexed coinductive types with conditions), позволяющие строить из таких вот башен телескопические сигма-типы с когерентным равенством, те самые very dependent types.

* * *

Большие индуктивно-рекурсивные типы тоже интересны в контексте унивалентных ТТ интересны тем, что при помощи соопределяемой вместе с типом функции из этого типа в унивалентную вселенную, они в некотором смысле “прибивают гвоздями” равенство на типе (см. https://homotopytypetheory.org/2014/06/08/hiru-tdd/), что даёт слабые, но всё-таки надежды, что indexed coinductive types with conditions вообще-то можно представить при помощи достаточно крутых higher inductive-recursive types. Но до сих пор никому не удалось этого сделать, конечно же в том числе и мне.

Вообще же интерес к IR-типам у меня тоже в контексте автофагии. Дело в том, что IR- и только IR-типы позволяют определять внутри теории типов вселенные, замкнутые относительно формирования зависимых типов (зависимых сумм, произведений, индуктивных типов, малых индуктивно-рекурсивных типов). Конечно же сразу возникает вопрос, можно ли определить при помощи индукции-рекурсии вселенную, замкнутую относительно формирования больших IR-типов? Можно, конечно, постулировать такую вселенную (Mahlo universe), но её саму индуктивно-рекурсивно не определишь. Однако, если постулировать, то там внутри при помощи индукции-рекурсии можно определить иерархию вселенных Un, замкнутую относительно формирования “больших” (но влезающих в эту иерархию на конечном уровне) индуктивно-рекурсивных типов.
(Возможно, при наличии propositional resizing можно также показать сугубое существование (mere existence) Mahlo-вселенной |Uω|, следуя подходу статьи Антона Сетцера сотоварищи “An extended predicative definition of the Mahlo universe” и используя представимость Тьюринг-полных функций и возможность выделить среди них на уровне сугубого существования тотальные.)

В светлом будущем Pure Type Systems в духе Аарона Стумпа (см. предпредыдущий пост) хотелось бы видеть проблему large elimination решённой через такие вот индуктивно-рекурсивные типы. Т.е. систему, в которой Ambient Mahlo Universe представляет из себя не тип, а “собственный класс”, который не может являться элементом никакого другого типа или класса, а для индуктивно-рекурсивных типов есть особый конструктор типов, и счётная иерархия вселенных à la Martin-Löf не постулируется, а определяется по мере надобности индуктивно-рекурсивно.

(8 comments | comment on this)

Tuesday, December 5th, 2017
11:00 pm - Как мы с дедушкой учили алфавит
Наверное все, кто читают этот ЖЖ, знают, какой у меня был замечательный дедушка. Он запускал в космос ракеты и очень меня любил. А ещё он не любил отпуска (иногда не брал отпусков по десять лет), но нередко брал отгулы просто чтобы погулять или помастерить со мной что-нибудь. А он очень любил мастерить всякие бесполезные штуки. Полезные он в принципе тоже умел мастерить, но перфекционизм приводил к тому, что изготовление шкафчика в туалете растягивалось на два-три месяца, а уж перекладывание кирпичной стены — минимум на полгода.

Когда мне было три или четыре года, он решил что мне пора знать буквы. Вначале мы учили буквы по карточкам, но потом это наскучило деду и ему в руки попалась какая-то забавная детская книжка про роботов (у меня она до сих пор есть). Там рассказывалось, как вырезать из жести буквы, и сделать аппарат, который распознаёт буквы, если их положить в специальный прямоугольник. Прямоугольник делался из картона, на его дне располагались контакты, сделанные из канцелярских кнопок. Снизу к ним припаивалась туча проводочков. В зависимости от того, какие контакты замкнуты лежащей сверху буквой, ток шел или не шёл по тем или иным путям, а на этих путях были лампочки, на которых фломастером были нарисованы буквы. Дед это всё вырезал и паял со мной, а я должен был водить пальчиком по проводам и лежащей букве от одного контакта батарейки до другого, чтобы понять, почему загорелась именно это лампочка. Дед показывал перфокарты и перфоленту, и рассказывал как то же самое по принципу устройство считывает, где в колонках перфокарты есть дырки, а где нет, и как разным комбинациям дырок сопоставлены разные буквы и знаки, так что в перфокарту влезает одна строка — 80 символов.

Буквально спустя год после этого мой отец помогал приятелю при помощи ручного программатора перевбить в микросхему EPROM древнего компьютера вторую половину таблицы символов, чтобы заменить всякие ненужные в России буквы Çüéâäàåç на кириллицу — пиксель за пикселем вбивались чёрно-белые матрицы 9×14 (в каждой ячейке либо 0, либо 1 — чёрный или белый пиксель).

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

У нас была уйма разных топологических головоломок из гнутой проволоки и выточенных из дерева объемных тел. У деда была прекраснейшая готовальня и он рассказывал и показывал, как работают все инструменты, как за ними ухаживать и как делать и читать чертежи (и да, этим можно заниматься с четырёхлеткой, по крайней мере со мной выходило), он делал чертежи тех самых объемных тел, которые лежали рядом выточенные из дерева, и рассказывал и показывал, как рабочий по чертежу вытачиваеть такое при помощи токарного и фрезерного станка. Он вырезал со мной ножницами по металлу геометрические фигуры из жести, мы с ним играли в замощение плоскости разными фигурками, в рисование всевозможных осей и точек симметрии, сперва на чертежах (там мало осей и точек симметрии), потом на замощениях (там их много).

Дед делал мне многоугольники из металлических пластинок с заклёпками в углах, так что пластины могли поворачиваться — так мы изучили, что только треугольники являются жесткими фигурами, а все остальные невырожденные многоугольники нет, если у них ничего дополнительно не зафиксировать. А если зафиксировать, например, один угол или одно диагональ у четырёхугольника — становится жестким. Дед объяснял, как это можно “увидеть иначе” — увидеть, что четырёхугольник с зафиксированной диагональю — это как два слепленных треугольника, а треугольники всегда жесткие. А если один угол зафиксирован (там не заклёпка, а жесткое соединение), то мы как будто фиксируем противолежащую углу ближнюю диагональ. Он давал мне придумать, как сделать жесткий шестиугольник с минимальным количеством дополнительных фиксаций.

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

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

Дед расспрашивал, всегда ли из нежесткого ромба можно сделать квадрат, а из нежесткого квадрата ромб (всегда), может ли одна и та же фигура быть трапецией двумя разными способами (да, такая фигура называется параллелограммом), может ли параллелограмм быть ромбом (да, такая фигура называется квадратом). Как мы только не играли с этими фигурками! Я даже придумал попробовать сделать из пластинок и заклёпок замощения и посмотреть, какие из них жесткие, а какие нет.

Потом уже я сам разбирал часы и магнитофоны, смотрел как отец и дед чинят стиральные машины и телевизоры с паяльником в руках и огромной принципиальной схемой, разложенной по полу. Как чинят автомобили, как проектируют и делают самые разные вещи от мебели до перекодирующих блоков, позволяющих подключить видеовыход CGA компьютера к цветному телевизору «Электрон».

Кульминацией, конечно, был мой дичайший интерес к Альбому Автомобиля Москвич 412 (Юрий А. Хальфан) с приложенной инструкцией по ремонту, где были в цветных рисунках и отличных чертежах показаны решительно все узлы автомобиля, которые я пристально изучил и понял (а что не понял, про то расспросил и понял) и дедушкина показательная разборка двигателя своего москвича, чтобы я посмотрел, как это всё выглядит “в метале” и как там поршни крутятся.

Если бы не это “раннее развитие”, я бы вряд ли стал тем, кем стал. Для меня пятилетнего в мире не было “волшебных” приборов, были только волшебники, которые умеют разобрать, починить и собрать любой прибор, а могут, если надо, и спроектировать и изготовить. И ракету в космос запустить. Я, кстати, тогда был уверен, что когда я стану пенсионером (т.е. году в 2055) я смогу слетать на луну и марс как турист, мне представлялось, что к тому времени такие полёты станут популярным видом туризма для пенсионеров (почему для пенсионеров? — разумеется потому, что чтобы слетать на марс нужно много свободного времени, месячного отпуска не хватит, это я отлично понимал и тогда).

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

(12 comments | comment on this)

Tuesday, November 28th, 2017
12:56 pm - Вопрос
Меня вот уже который раз спрашивают: что бы почитать такого по истории современного Израиля (с 1881 и особенно 1919 до наших дней), чтобы не совсем сухо и не совсем пропаганда (и совсем не антипропаганда)? В идеале, по-английски, но можно и по-русски. Какую-нибудь книжку или несколько книжек хороших никто не может посоветовать?

(5 comments | comment on this)

Saturday, November 25th, 2017
1:24 pm - Coq vs. Agda
Я нежно люблю Агдочку за превосходный синтаксис, шикарные имплисит-параметры, идеальный паттерн-матчинг и всякие экспериментальные фичи (особенно, конечно, индуктивно-рекурсивные типы и индексированные коиндуктивные типы), но вынужден признать, что за пределами этого сахарка у Агды не осталось никаких преимуществ перед Coq'ом — только недостатки.

Новый Coq 8.7 умеет и эта-конверсии для функций и рекордов, и прекрасно сделанный полиморфизм по вселенным, более того там (в отличие от Агды) вселенные ещё и куммулятивны, более того, куммулятивность распространяется и на все индуктивные типы (зависимые от вселенных). И к этому всему добавляется (недоступный в Агде) импредикативный Prop (классификатор подобъектов в категорной семантике), чувствительно облегчающий жизнь. И за ним, в отличие от Агды стоит полноценно описанная и проверенная в реферируемой публикации теория: pCuIC(+UP) — Predicative Calculus of Cumulative Inductive Constructions with Universe Polymorphism (https://arxiv.org/abs/1710.03912 + https://www.irif.fr/~sozeau/research/publications/Universe_Polymorphism_in_Coq.pdf)

Им бы ещё только Polynomial Inductive-Recursive Definitions добавить, и на этом вопрос золотого стандарта интуиционистских теорий типов догомотопической эры был бы закрыт.

(1 comment | comment on this)

7:52 am - Cedille: Полиморфное лямбда-исчисление с выводимой индукцией
Некоторое время назад Aaron Stump сотоварищи предложил интересный вариант полиморфного лямбда-исчисления, где существуют кодировки широчайшего класса индуктивных типов данных, для которых выводима индукция. В этом посте я хотел обрисовать идеи его подхода.Read more...Collapse )

(12 comments | comment on this)

12:15 am - Тара будущего для вязких и липких продуктов
О, а оказывается уже можно делать баночки для йогурта, ряженки, сметаны, кетчупа, майонеза и всевозможных шампуней так, чтобы внутри не задерживалось ни капли: https://youtu.be/yxyCLoYfexo, https://news.osu.edu/news/2016/06/26/shampoo/.
Причём это отлично комбинируется с использованием лёгкой многоразовой газонепроницаемой тары (пластиковые ёмкости, покрытые тонкоплёночным стеклом изнутри, https://www.hessen-nanotech.de/dynasite.cfm?dsmid=15771).

(2 comments | comment on this)

Wednesday, November 22nd, 2017
2:43 am - Электронная бумага
А говорят, тут появилась электронная бумага, которая в монохромном варианте имеет приличное качество белого (альбедо порядка 83%) и контраст (порядка 35:1), ClearInk называется. Это по обоим параметрам в два раза круче eInk Carta, которая используется в Kindle Paperwhite 2. Кто-нибудь уже видел?

С другой стороны, eInk выпускает скоро цветной вариант “Advanced Color ePaper”, который, судя по техническим спецификациям, должен быть похож на что-то приличное, наконец. Тоже было бы интересно посмотреть. Хотя, видимо, альбедо белого у eInk технологии принципиально упирается в 45-50%, иначе бы они с этим что-нибудь уже сделали.

Если что, для сравнения, у качественной бумаги эффективное альбедо в зависимости от условий освещнеия 80-90% (в синей части спектра эфф. альбедо часто выше 100% за счёт флюорисцентных пигментов, которые поглощают часть УФ-освещения и переизлучают его в синей части спектра), а контраст текста при печати на хорошем лазерном принтере или офсетной машине — около 50:1. Для особых дизайнерских задач бывают сверхглубокие чёрные красители, обеспечивающие контраст и 200:1, но это уже изыски.

(4 comments | comment on this)

Wednesday, November 15th, 2017
12:08 pm - А вот интересно
Вот HTTP/2 логически содержит все фичи некогда показанного мне sorhedом экспериментального протокола SST (Structured Stream Transport): внутри соединения можно очень дёшево открывать и закрывать отдельные потоки с древовидной системой приоритетов, причём если надо просто послать короткую датаграмму на сервер (сделать поток POST-запросом (если на запрос один ответ) или SSE-запросом (если в ответ на запрос должен открыться канал, по которому сервер посылает ивенты) в рамках уже существующего соединения), то она влезет в один MTU и будет по возможности послана безотлагательно (NODELAY), мимо накопительного алгоритма Nagle (или что там используется в конкретном транспортном протоколе). Также при закрытии потока, сообщение об этом будет послано назад безотлагательно.

Мой вопрос касается именно последнего. Реализовано ли в HTTP/2 over TCP, что открытие и закрытие потоков делается NODELAY, или это только рекомендации, на которые все забили, и имплементируют только в HTTP/2 over QUIC?

(3 comments | comment on this)

3:56 am - Firefox Quantum
Скачал и поставил. Пока в полном восторге. Нафиг хром.

(18 comments | comment on this)

2:06 am - Гибрид чайника и термопота
У электрочайников есть три недостатка:
1) Неудобно делать воду для заваривания зелёного чая (80 °C).
2) Долго ждать, пока закипит. Мало того, что это неудобно, так ещё и неэффективно: регулярно ставишь чайник, а потом забываешь про него и либо вообще не используешь, либо потом кипятишь снова.
3) Почти при каждом использовании кипятишь минимум 30% совершенно лишней воды, и это неизбежно, т.к. заранее не поймёшь, сколько воды нужно.

Можно ли конвертировать 30-70% неэффективности в возможность наливать чашку быстро, в любой момент и любой желаемой температуры от 75 °C до крутого кипятка?

У меня есть предположение, что это возможно путём гибридизации термопота и проточного чайника. Пусть термопот хранит внутри себя воду 75 °C (ниже не нужно ни для каких напитков), а в процессе налива догревает её до желаемой температуры (от 75 °C до крутого кипятка). Интуитивно кажется, что и поддержка такой невысокой температуры не должна быть слишком энергоёмкой, а догрев на 25 градусов может быть организован для достаточно мощной струи, чтобы пользоваться было очень удобно.

На примере термопота Panasonic NC-DG3000 (http://www.ixbt.com/home/panasonic-nc-dg3000.shtml) мы знаем, что для поддержания разницы температуры воды в 75 °C градусов при температуре окружающей среды не ниже 15 °C достаточно 0,14 кВт·ч на литр в сутки. Это удивительно близко к тому, сколько энергии стоит вскипятить лишние полтора литра воды в обычном чайнике. В общем это практически заведомо окупается у любого, кто вообще регулярно пользуется чайником.

Далее, на кипячение одной чашки (230 мл) воды температуры 20 °C у стандартного электрочайника мощностью 2400W уходит 32–35 секунд. Если вода изначально имеет температуру 75 °C, должно быть раза в три быстрее. У меня сейчас нет возможности провести опыты, но я практически уверен, что можно сконструировать проточную систему догрева, которая влезает в 2400W и обеспечивает наполнение чашки кипятком не более чем за 15 секунд, что на мой вкус вполне достаточно быстро.

Дорогие читатели, а бывают ли термопоты с проточным догреванием?

(3 comments | comment on this)

Tuesday, October 10th, 2017
12:41 am - Ещё монологи
Ты мне про немецкую и английскую политику даже не рассказывай, это всё на Луне происходит. У нас тут никогда не будет швейцарии, ни через 50 лет, ни через 500. Этот путь просрали 200 лет назад, когда ещё декабристы всякие и пушкин был с наташей ростовой. И если сейчас начать, то это не значит что через 200 лет догоним. Это просрали насовсем. Никогда не догоним, так что можешь не рассказывать.
Но вот мы можем как в Чехии, наверно. Мы ничем не хуже чехов, вообще.
Вот Узбекистан вряд ли может чтобы как в Чехии, а мы, украинцы и белорусы можем. Мне кажется. Особенно белорусы, у них вон даже при Батьке их колхозном какой-никакой порядок. А они, в общем, такие же как мы абсолютно, просто немножко в других условиях.
Если у нас будет как в Чехии, это будет о**енно. Может быть мы даже можем как в Словении какой-нибудь, то есть типа как в Чехии, просто немножко почище и побогаче.
И ещё мы точно можем как в Сингапуре, я там был один раз — это когда всё с виду как у Белых Людей и реально каждый может жить хорошо, но держится всё на палках и расстрелах. Если у нас будет, как в Сингапуре — это, кстати, тоже будет о**уенно, но только заполучить “хорошего диктатора” — это типа лото тысяча к одному. Причём, если проигрываешь, то обычно сразу кого не расстреляли пухнут от голода и жрут траву кто в лагерях, кто на воле.

(6 comments | comment on this)

Monday, October 9th, 2017
11:46 pm - Омские монологи
— Вот ты говоришь “черножопые”, а потом говоришь, что у вас на работе никто кроме тебя, Володи да Фарида не работает. А Фарид — он кто?
— Это такой наш российский парадокс. Наверно не надо так, но оно у нас так выходит. Когда люди нормальные, то они — многонациональный народ нашей необъятной Родины, и никакой нормальный человек их обидным словом не обзовёт, а кто обзовёт, так я первый его за ворот с лестницы спущу и руки потом не подам. Фарид — трудолюбивый туркменский работяга, наш в доску, соль земли русской, я причём не шучу насчёт Земли Русской. Ашот Георгиевич — потомственный армянский мастер, настоящий спец. Андрей Маркович — светлая еврейская голова. Володя — настоящий русский богатырь, добрый, умелый.
А как пойдёшь в какую-нибудь очередь стоять в ведомство — не знаешь где там мастера, богатыри и светлые головы. А на первый взгляд там одни черножопые и русская пьянь, ты уж меня прости, что я такой нецивилизованный. Вот когда говорят, что на Украине фашисты, сразу про себя думаю, что меня послушать так тоже фашист, только русский, стыдно. И так почти вся страна, наверно хуже чем на той Украине. Они-то хоть в Европу хотят и потому хотят быть лучше, чем они на самом деле, и может отучатся от всего этого и станут вправду лучше. Ну я не сильно верю, потому что всё начальство и все политики у них такое же дерьмо как у нас, и у народа, в общем-то, повадки те же.
Но они хоть хотят! А мы вон играем в крутых, поэтому какая дрянь есть в головах у самых дремучих, ту и культивируем в качестве особой русской духовности.

(6 comments | comment on this)

Wednesday, September 20th, 2017
3:47 am - Алгебраическая характеризация липшицевых многообразий
Как известно, правило дифференцирования сложной функции x ↦ f(g(x)) в смысле обобщённых производных работает в точности если f локально липшиц-непрерывна (“почти дифференцируема”), а g локально ограниченной вариации (“аппроксимируется своим графиком”). То есть если нас интересуют обобщённые производные, то в качестве функций смены координат не обязательно брать функции гладкие; достаточно локальной липшиц-непрерывности.

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


Внимание, вопрос: возможна ли для этого класса многообразий реконструкция из этой алгебры (в духе Гельфанда-Наймарка)? Изучал ли кто-нибудь этот вопрос?

(Такие многообразия кроме того естественным образом снабжены пространством слабосингулярных векторных полей и пространством зарядов — обобщённых производных тех самых слабосингулярных полей — являющееся двойственным к пространству функций локально ограниченной вариации с компактным носителем, снабженному определённой естественной топологией. Алгебраическая характеризация могла бы пролить свет на то, вкладывается ли категория (конечномерных связных вполне-сепарабельных) липшицевых многообразий и локально-липшицевых отображений в какую-нибудь естественную декартово-замкнутую категорию, одновременно минималистичную и достаточно большую, чтобы там наряду с "бесконечномерными многообразиями" путей и автоморфизмов были их "подмногообразия", потребные для нужд вариационного исчисления и стохастики, навроде пространства путей 𝕀 -> M с квадратично-интегрируемыми относительно метрики g на M производными.)

(4 comments | comment on this)

Thursday, September 14th, 2017
10:55 pm - Разочарованно
Когда уже Apple уже займётся прикручиванием в айфоны тактильной обратной связи? Экран во весь телефон — прекрасно, OLED-экран с зашкаливающим контрастом, цветопередачей и разрешением — превосходно. Но может всё-таки пора уже сделать так, чтобы на нём можно было нормально печатать (чувствуя пальцами границы кнопок и факт нажатия)?..

(20 comments | comment on this)

> previous 20 entries
> top of page
LiveJournal.com