akuklev: (ДР Цертуса 2011)
Когда мы говорим Nat-алгебра, подразумеваем объект, снабженный морфизмами zero и succ.

@Structure NatAlgebra(@on N : Type):
  zero : N
  succ : N -> N


Когда говорим Nat (индуктивный тип), подразумеваем инициальный объект в категории таких алгебр. Когда говорим CoNat (коиндуктивный тип), подразумеваем терминальный объект в категории таких алгебр, если он существует. Терминальность CoNat означает, что для всякой Nat-алгебры A существует каноническое отображение extend[A] : A.N -> CoNat.

А теперь внимание: всякая определимая синтаксически (средствами той или иной теории типов) чистая функция вида
f : [A : NatAlgebra] A.N -> X
задаёт в том числе и f* : CoNat -> X, и может благодаря параметрическому полиморфизму обязана восстанавливаться из неё: f[A] = f* ∘ extend[A]. Т.е. задать функцию из коиндуктивного типа данных структуры F с это абсолютно то же самое, что определить полиморфную функцию для всех F-алгебр.

Замечательная особенность параметрического полиморфизма состоит в том, что он продолжает работать и в ситуации, когда терминального объекта не существует. Read more... )

Мне по сей день неизвестно, как в рамках диалгебраической семантики проинтерпретировать индуктивно-рекурсивные типы. Специалисты, ау! Кто-нибудь знает хоть что-нибудь про это? Оно не гуглится совершенно.

Это невероятно интересный вопрос, т.к. двойственные к ним типы — это те самые Very Dependent Types (= Reedy Limits), при помощи которых можно интерпретировать всякие симплициальные типы и обобщённые алгебраические теории (GATs).

____
* Структура a la Tarski вселенных может быть описана в терминах индукции-рекурсии, соответственно если можно будет определить структуру TarskiAlgebra, то функции полиморфные по типам [T : Type] X -> Y можно будет эквивалентно описывать как структуры полиморфные по [Univ : TarskiAlgebra] (T : Univ) X -> Y.
akuklev: (ДР Цертуса 2011)
Добавление к заданной в стиле bi-directional type-checking системе типов subtyping judgement — сущий пустяк, привносящий минимум сложности и не вызывающий неинтуитивного/нежелательного поведения языка. Однако этот пустяк значительно повышает удобство языка при работе с орнаментированными индуктивными типами (v : Vec[T, n] можно совать туда где требуется l : List[T]) и коиндуктивными типами (f : Int -> T) можно пихать туда, где требуется (f : Nat -> T).

Это дополнение перестаёт быть тривиальным в тот момент, когда мы начинаем позволять абстрактные параметры с upper/lower bounds. Как только мы допустили такие абстрактные параметры, у нас появляются модули (рекорды, содержащие opaque = abstract type members) и path dependent types. Это во-первых означает, что на уровне правил вывода необходимо гарантировать предикативность, в противном случае typechecking станет неразрешим (см. 1ML, Andreas Rossberg, страница 5), а во-вторых из-за path dependent types, type preservation перестаёт вообще говоря работать в непустом контексте (см. Dependent Object Types, Nada Amin).

Но оно того стоит!
* * *

Для индуктивных типов очень просто понять, что должно выражать subtyping-отношение. Давайте на примере Nat.

A :> Nat означает, что тип A снабжен морфизмами zero : Unit -> A и succ : A -> A, другими словами A снабжен структурой Nat-алгебры, например тип Ordinal конструктивных ординалов или тип Int целых чисел
E <: Nat означает, что к (n : E) можно применять элиминатор Nat.elim, т.е. что E снабжен структурой расслоения над типом Nat (инициальной Nat-алгеброй), например тип List

Когда мы определяем операцию сложения натуральных чисел стандартным образом, мы на самом деле не нуждаемся в том, чтобы оба аргумента были типа Nat, нам нужно чтобы один из них был надтипом Nat, а другой подтипом Nat:
add [A <: Nat <: B](a : A, b : B): a.elim
  zero: b
  succ: add(a, succ b)

В этом примере очень хорошо видно, как что система типов допускающая типовые параметры с верхними и нижными границами более выразительна существенным образом. И даёт нам возможность один раз написать функцию add, а затем использовать её для сложения иных сущностей очень общего вида. Ещё отметим, что часто тип можно множеством неэквивалентных способов снабдить структурой той или иной алгебры или расслоения, так что сабтайпинг обязан быть номинальным, чтобы быть удобным и понятным (т.е. например то, что тип Ordinal снабжен структурой Nat-алгебры должно вытекать из того, что конструкторы succ и zero в нём называются точно как в типе Nat и это сделано автором определения Ordinal нарочно, для чего автор должен указать в определении @import Nat или в явном виде писать в определении Nat.succ и Nat.zero).

Какую же семантику должно иметь отношение сабтайпинга для коиндуктивных типов? В одну сторону это очевидно:
E :> T должно означать, что к (e : E) можно применять все те же элиминаторы, что к (t : T), т.е. E является T-коалгеброй.

А вот
A <: T должно как-то означать, что элементы A должны быть задаваемы продуктивной T-корекурсией, что должно быть как-то эквивалентно тому, что A является корасслоением над T.

Как это правильно понимать?...
akuklev: (ДР Цертуса 2011)
Toyota i-Road ConceptРаз уж я начал про всякое суперкомпактное.. Не помню, писал ли я, но если кто не в курсе, недавно появился симпатичный аналог Renault Twizy, называется Toyota i-Road. В отличие от Twizy, оно оригинально и интересно смотрится, поаэродинамичнее и покомпактнее снаружи при тех же размерах внутри. Формфактор привлекает меня в качестве возможного будущего формфактора для индивидуальных роботакси «один пассажир плюс багаж». По длине оно как и твизи сделано исходя из стандартной ширины парковочного лота (чтобы можно было поперёк парковаться): 2.35 см. Как и в твизи, внутри два сидения: одно нормальное сиденье спереди, и куцое сиденье сзади, куда может впихнуться либо пассажир (с трудом), либо багаж: авиачемодан щедрых американских габаритов вместе с ручной кладью. Совсем минимальная разница между шириной салона и шириной машины (изнутри оно по ширине точно как Twizy, а снаружи уже на 30 см: всего 87 см) достигается благодаря очень необычному решению: оно трёхколёсное с поворотным задним колесом, в то время как передние только по вертикали умеют ездить, обеспечивая наклон машинки.

Демовидео и фотография впихнутого на заднее кресло человека: https://www.cnet.com/roadshow/auto/toyota-i-road/preview/.
Более подробные фотографии, в т.ч. салона и пространства для ног: http://www.caranddriver.com/photo-gallery/we-drive-the-toyota-i-road-the-electric-auto-leaning-minion-of-the-future#16

Сейчас они водятся исключительно в Гренобле и Токио в качестве last mile mobility местных carsharing-клубов. Очень чувствуется, что в отличие от Твизи, это сырой концепт. Например, Твизи умеет ездить до 80 км/ч и имеет батарею на 100 км, а эта хреновина умеет ездить только 45 км/ч и имеет батарею на 50 км. Впрочем, пока этой штукой нужно рулить, вообще не очень понятно, в чём её толк, а вот в качестве роботакси было бы интересно, интересно. Но тогда конечно надо будет и максимальную скорость увеличить, и батарею прокачать, и добавить стандартных для любого такси ништяков в виде хорошей звукоизоляции, кондиционера с попогрейкой и т.д., ну и посмотреть чтобы безопасность пассажиров была на каком-то разумном уровне.
akuklev: (ДР Цертуса 2011)
Я считаю, что онлайн-курсы и вечернее образование, причём обязательно не только базового, но и первоклассного уровня — это очень хорошо и очень нужно. Расскажите что вы думаете на эту тему, как наилучшим образом организовать дополнительное образование, позволить людям уже работающим и/или семейным изучить какие-то языки, какие-то дополнительные темы, получить (первое или второе, или там третье) высшее образование. Давайте пообсуждаем.

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

Какие у вас есть идеи на эту тему?
akuklev: (ДР Цертуса 2011)
Как известно, пару лет назад один любитель умудрился сделать велосипед, который весит 2.5 килограмма. Стоимость изготовления вышла где-то в 50 тысяч евро, но это просто демонстрация того, насколько низкого веса можно добиться в принципе с использованием имеющихся технологий.

Так вот, очень хочется, чтобы поскорее доступные простым смертным бабушкам и дедушкам роллаторы тоже весили не больше двух с половиной кг, и там как и в вышеописанном супер-велосипеде были надувные колёса, смягчающие тряску на брусчатке. Пока что среди аппаратов с надувными колёсами ничего легче 6.5 кг вообще не встречается, или 4.9 кг, если допустить жёсткие колёса. Сделано из углепластика, выглядит космически (см. ниже), но тяжелое даже для моей бабушки, которая пока ещё, ттт, может ходить сама. Насколько мне удалось нагуглить, в этой же самой конструкции можно заменить колёса на пневматические такого же диаметра (15 см) с амортизирующими гибкими спиралевидными спицами ценой повышения массы на 320 граммов, однако за счёт использования углепластика в 10 раз дороже и для всех деталей, а не только рамы, можно сэкономить пару килограммов, и получить идеальный роллатор весом в 2-3 килограмма, вопрос упирается просто в неимоверную себестоимость материалов.

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

P.S. Вообще на рынке супер-компактных и супер-лёгких колясок случилась революция в виде коляски GB Pockit весом в 4.3 кг, которая складывается вот так:

Но у неё вообще сиденье не раскладывается и она вообще не подходит для младенцев, что резко снижает применимость, как и отсутствие раскладной крыши и накидки. Ну и я помолчу про колёса и брусчатку. Хотя может быть и можно это всё как-то туда уместить, бывают же чудеса. :-)
akuklev: (ДР Цертуса 2011)
В прошлом посте я упоминал технологии, повышающие связность мира, т.е. в первую очередь доступный по цене, быстрый и достаточно комфортный для пожилых людей и маленьких детей. Ещё бывает товарная связность, с которой всё сейчас весьма неплохо, и средства связи, с которыми всё вообще отлично — доступна высококачественная мобильная видеотелефония из любой густонаселённой точки планеты в любую другую густонаселённую точку планеты с минимальным лагом и отличным качеством передачи. Я уверен, что повышать связность мира очень полезно, и всякие там соображения зелёных про “летайте меньше” и “пользуйтесь локальными производителями” (чтобы было меньше выбросов) по сравнению с плюсами от повышенной связности выеденного яйца не стоят (а решать, лучше ли пользоваться локальными производителями или возить издалека нужно предоставить рынку).

Однако не про всех технологии, которые меня очень интересуют, понятно чем именно они так уж хороши.

Многие прорывные технологии, за которыми я довольно тщательно слежу призваны сделать разные области хозяйства значительно менее ресурсоёмкими и выбросоёмкими. Какие это технологии — более или менее понятно:
– Технологии, способствующие увеличению доли работы, которую можно выполнять из дома/в коворкинге
– Self-driving Taxi & Drone Delivery (в том числе чтобы продукты из магазинов доставляли дроны прям на порог, а не грузить всё это в машину, а потом из неё, и почта приходила не раз в сутки, а по мере появления)
– Sewage Waste Energy Generation & Kitchen Sink Bio-Garbage Disposal (не носить никуда, не возить никуда львиную долю мусора, а сливать его через измельчитель в водопровод, а на очистных сооружениях вырабатывать из него и иных канализационных стоков энергию и удобрения единообразным способом, оставляя на выходе практически только чистую воду).
– GMO, Vertical Farming & Cultured Meat
– Prefabricated building на заказ и 3D-печать (индустриальная, индустриальная на заказ и Small office/Home office)
– Сверхлёгкие/сверхпрочные конструкционные материалы (структурные, объёмные, тепло-, звуко- и виброизолирующие) для зданий, автомобилей, самолётов и т.д.
– Аккумуляторы, годные заменить бензин в мировом масштабе
– Замыкание ядерного цикла.

Вот чем же они так уж хороши?
– Казалось бы, огромный плюс в том, что снижается трудоёмкость, а значит у людей высвобождается сколько-то времени и сил на более полезные и интересные занятия. Однако ведь сейчас в развитых странах нет никакого особенного дефицита рабочих рук, дефицитны только очень умелые и желающие работать рабочие руки и мотивированные рабочие головы, а их как раз не очень много высвобождается за счёт лишившихся работы мусорщиков, почтальонов, водителей и таксисов, строителей, животноводов и земледельцев. В развивающихся странах, пожалуй, да, будет польза, больше народа сможет работать на производствах, и в результате быстрее будет подниматься благосостояние.
– Понижается ресурсоёмкость, а стало быть качественные продукты становятся более массово доступными. Это плюс везде и всем. В развивающихся странах это в теории позволит работающим людям гораздо быстрее улучшить жилищные условия и рацион, поднявшись на ту ступенечку в пирамиде Маслова, на которой уже задумываются об обустройстве окружающего пространства (как физического, так и юридического).
– Меньше вредных отходов, конечно, тоже хорошо, но это же касается только очень узкого круга состоятельных и замороченных на sustainability стран, вклад которых в общемировую струю говна и так невелик, а у стран третьего мира заведомо ещё очень долго будут совершенно другие вещи на уме, чем раздельный сбор мусора и катализаторы из платины. Правда, предыдущий эффект теоретически может привести развивающиеся (только развивающиеся, а не дикие) довольно быстро к тому, чтобы перейти в когорту состоятельных. Беда в том, что диких стран больше. А там прежде чем возможно какое-то развитие, нужен фазовый переход крепких молодых мужчин от беготни друг за дружкой с автоматом калашникова к производительному труду.
akuklev: (ДР Цертуса 2011)
Покупал сегодня бумажные билеты в автобус (такие, в компостер ещё вставлять), оплачивал бесконтактной кредиткой. Встреча двадцатьпервого века с девятнадцатым. Когда уже можно будет в Гёттингене прикладывать к «компостеру» саму бесконтактную кредитку? (И как-нибудь обходиться без бумажного билета, например показывать контролёру кредитку, а его прибор сам скажет, была ли с неё оплата на этот маршрут.)

Впрочем, в целом в Германию начала проникать цивилизация по поводу кредиток. Один мой банк уже предложил мне (я ещё не сделал, надо проделать всякие телодвижения) присылать по СМС информацию о транзакциях прямо сразу, все выпускаемые кредитки стали с поддержкой бесконтактной оплаты, и бесконтактную оплату стали наконец массово принимать в магазинах вплоть до Lidl'а. А вот RFID как-то не взлетел, у товаров до сих пор сканируют штрихкоды ручками, вместо того чтобы просто тележку через рамочку провести и всё считать разом.

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

* * *

А ещё, раз уж про транспорт, очень мне нравится система тутошних скоростных поездов, что ходят минимум раз в час по основным направлениям, и если поймал поезд, можно заскочить внутрь и билет покупать уже там, а не тратить время заранее. Как же хочется, чтобы так же стало с самолётами. Приехал в аэропорт, посмотрел по расписанию ближайший рейс в нужном направлении, заскочил бегом в самолёт, а там уже билет взял. И не за космические деньги, а за обычные, земные. А для рейсов через окиян каких-нибудь сверхзвуковых лоукостеров, чтобы США, Австралия с Новой Зеландией и Япония с Юго-Восточной Азией стали настолько же близки к Европе, как, скажем, Ближний Восток в финансовом и временном отношении.
А ещё универсальную визу, чтобы один раз какая-нибудь международная организация качественно проверила твою благонадёжность во всех отношениях, а потом бы никто лет 10-15 не крутил мозг и не заставлял по посольствам бегать.

* * *

Исследователи статистики про продолжительность жизни пишут, что если грамотно оптимистично экстраполировать текущие тренды по продолжительности жизни и состоянию здоровья популяций, в самых развитых странах по этим показателям (Монако, Сан Марино, Сингапур, Макао, Япония) за ближайшие 50 лет средняя продолжительность жизни (новорождённых) дорастёт до 110-115 лет, а пенсионный возраст можно будет поднять до 95 (т.к. подавляющее большинство людей к этому возрасту ещё будут трудоспособны и относительно здоровы). А вот максимальная продолжительность жизни, если не будет каких-то совершенно переломных прорывов, повысится не сильно, до возраста 130 лет будет доживать не более одного человека на миллиард.

Медицина движется, а вот образование, как мне кажется, не успевает. Отсутствие релевантных знаний и навыков не вызывает такого прямого дискомфорта, не говоря уже о недостатке общей образованности, критического мышления и умения разобраться, которые вообще незаметны изнутри.
akuklev: (ДР Цертуса 2011)
Иногда всё же очень хочется узнать, какова была кухня Италии до завоза из Америк томатов, кухня Белоруссии до завоза картофеля и кухня Кореи до завоза красных перцев.
akuklev: (ДР Цертуса 2011)
У меня в кабинете над кроватью висели книжные полки с чуть более 200 кг отличной научной литературы, учебников и конспектов (в том числе, моей матушки и частично моего деда). Судя по всему, не без помощи некоторых детей (ну и моего неразумного решения положить на край верхней полки объекты повышенной плотности и существенного объема), глагол «висели» в предыдущем предложении оказался в прошедшем времени, а 200 кг отличной литературы в процессе падения разломали кусок каркаса кровати. :-)

Хорошо, что там никого не лежало. Завтра будем чинить каркас кровати брусом, а полки крепить намертво, чтобы никакие кирпичи и три-четыре пуда повисающих на краюшке детей не могли им повредить.
akuklev: (ДР Цертуса 2011)
Ура, дописал наконец свои соображения про то, откуда должны браться линейные зависимые типы, и как именно они связаны с топологией вычислимости и “полем с одним элементом”, плюс обрисовал в общих чертах как в HoTT получить ту самую категорию, которая содержит как обычные типы, так и иные спектры, и как последние можно понимать в смысле вычислений: https://github.com/akuklev/Linear-HoTT/blob/master/F1-LinTypes

Оно сырое дико и с уймой не доказанного пока wishful thinking, будем дорабатывать...
akuklev: (ДР Цертуса 2011)
Всю историю человечества до начала 19-го века (используемый на практике) транспорт приводился в движение только мускульной силой и силами природы. Опытные образцы двигателей и движителей были, но дальше этого дело не шло. Путешествие между отдалёнными (притом заселёнными) пунктами могло занимать месяцы, а иногда и годы.

В самом начале 19-го века, в 1803 году совершил первое плаванье параход Charlotte Dundas, первое в мире применимое на практике транспортное средство на механической тяге. В мае 1952 года реактивные авиалайнеры начали на ежедневной основе доставлять пассажиров через Атлантику. Дорога между двумя любыми населёнными пунктами сократилась приблизительно до суток.

Мне кажется, ни за какие другие последовательные 150 лет истории человечества не происходило таких масштабных изменений.
akuklev: (ДР Цертуса 2011)
Регулярно хочу приставить губы Никанора Ивановича к носу Ивана Кузьмича.

Вот например очень хочу бритву Philips OneBlade Pro, но только чтоб умела заряжаться от USB.

Хочу ультразвуковую зубную щётку Philips Sonicare HX6972/35, но чтоб на насадке были волосины для прочистки меж зубов, как в Dr.Best серии x-Zwischenzahn (см. картинку).

Хочу цифровой браслет на руку (ну, чтоб будильником будил, не мешая окружающим, да измерял пульс, качество и количество сна, и качество и количество движения: шаги, бег, велосипед, плаванье), только воды и случайных ударов не боялся, заряжать слишком часто не нужно было, и чтоб он в выполнял функцию _нормальных_ часов! То есть непрерывно показывал ярко, чётко, крупно и ясно текущее время — так, чтобы видно было при любой освещённости и в темноте ночью в подвале, и в полуденное солнце на пляже. А в идеале вообще чтоб от моего движения заряжался, как мои старые механические часы.
akuklev: (ДР Цертуса 2011)
Паша на днях показал забавный сайт: указываешь текущий возраст, пол и страну, выдаёт вероятностное распределение ожидаемой продолжительности жизни.

Интересной рекламой здорового образа жизни было бы развитие этой идеи: сайт, который бы позволял сравнивать вероятностные распределения ожидаемой продолжительности жизни (и отдельно ожидаемой продолжительности активной-трудоспособной части жизни) в зависимости от факторов, которые являются маркерами спортивной формы и здорового питания:
VO₂max, пульс и артериальное давление в состоянии покоя и под нагрузкой, индекс массы тела и процент жира, уровни триглицеридов, липопротеинов низкой плотности, глюкозы, инсулина, оксида азота(II) и свободных радикалов в крови.

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

Интересно располагает ли вообще кто-то хоть в какой-то стране необходимой для подобных оценок статистикой?
akuklev: (ДР Цертуса 2011)
Тут пишуть (видимо, после того как в Мюнхене была стрельба и людей просили сидеть сутки дома), что в Германии теперь местным жителям рекомендовано хранить запасы еды на 10 дней, а ещё желательно такие же запасы питьевой воды.

Питьевую воду, насколько я понимаю, самое адекватное хранить в канистрах Acua-tainer со вставным краником на 26 литров. Производитель обещает, что если воду сразу после заливания продезинфицировать Aquamira и плотно закрыть, то потом эта вода нормально простоит минимум пять лет.

А насчёт запасов пищи я вспомнил про Soylent, синтетический порошок, который содержит все необходимые нутриенты в правильных пропорциях, и которым можно питаться теоретически вечно (хоть и без удовольствия), для приготовления пищи его нужно просто развести водой. Продаётся он в пакетиках по 2000ккал, которые весят 400г вместе с упаковкой. Правда ли, что у него тоже практически неограниченный срок годности? Кто-нибудь, кстати, пробовал эту штуку?

Наверняка ведь кто-нибудь из путешественников-экстремалов пробовал, это же можно ходить в поход без посуды с одним джетбойлом (кружкой совмещённой с горелкой, в которой кипятить воду)...
akuklev: (ДР Цертуса 2011)
А где бы добыть книжку “Derivation and Integration” (Washek F. Pfeffer)?

Насколько я понимаю, это всеобъемлющая монография по неабсолютному интегрированию на абстрактных топологических пространствах от суммирования рядов до зарядов (signed-аналогов мер) на произвольных однородных пространствах.

У меня к этой теме почему-то уже лет десять с лишним болезненный интерес.
akuklev: (ДР Цертуса 2011)
Я недавно писал, что наверное очень перспективно было бы использовать в качестве арматуры для полимерных композитов кольчуги из закольцованных углеродных нанотрубок. Оказывается первичная симуляция этого дела была сделана ещё в 2005 году, см. статью «Mechanical Properties of Connected Carbon Nanorings via Molecular Dynamics Simulation».

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

Ещё интересно, как себя ведут двустенные и многостеные закольцованные нанотрубки, а также закольцованные нанотрубки с наполнителем (и в симуляциях, и коммерчески нанотрубки умеют наполнять аргоном, фуллеренами, одномолекулярными струнами из атомов разных металлов и, с недавних пор, одномолекулярными струнами углерода, тем самым карбином), наполнение стабилизирует нанотрубки в поперечном направлении — без наполнителя одностенные нанотрубки очень легко продавливаются внутрь при малейшем неравномерном радиальном сдавливании, и разрушаются; наполнители против этого существенно помогают. К сожалению, подробно это, кажется, никто ещё не симулировал. А было бы полезно, наверное. Ведь если какие-то варианты будут обещать превосходные механические свойства, прикладникам будет понятнее, к чему стремиться.
akuklev: (ДР Цертуса 2011)
The most annoying thing about HTML is how much boilerplate HTML documents used to inevitably contain. Introduction of custom tags in HTML5 helped a lot, but there is still one thing which cannot be mitigated: each document starts with containing lots of technical stuff like styles, scripts, favicons and meta parameters, and typically also some kind of headers, footers and navigation elements.

If I were asked for one single improvement of HTML I desire most, it would be the mechanism to reduce all these boilerplate to a single tag <!BASE /path/to/preamble> in the very beginning of the document. The document referenced by the /path/to/preamble is assumed to be a normal HTML(5+) document, containing additional tag <content/>, a placeholder to be substituted by the content of the proper document.

Since HTTP/2.0 Server Push is now generally supported, this feature would not introduce any latency or bandwidth overhead. In the cases when Cache Aware Server Push is supported, this approach conserves bandwidth, and improves load latency, because the preamble (which is often shared by multiple documents and rarely changed) can be cached, which means that (except for the first time when browser encounters the preamble) only pure content is transmitted over the line.

If we also were to allow to specify a script for preprocessing the content, we could deliver content in humane languages like Markdown and YAML:
my-server.com/blog/2012-07-11:
  <!BASE ./blog-entry.base>
  § HTML improvement I desire most
  
  The most _annoying_ thing about HTML is how much boilerplate
  ...

my-server.com/blog/blog-entry.base:
  <!DOCTYPE html>
  <html>
    ... // lots of stuff
    <content process={brewMarkdown}/>
    ... // footer, etc
  </html>
akuklev: (ДР Цертуса 2011)
Девушка Настя двух с половиной лет, я считаю, вполне овладела разговорным русским. Она нудила-нудила залипшей в фейсбуке маме, что надо идти в кровать, а потом энергично возопила: «Пойдём узе наконец спать, блин!»

А эпиграф помещу под постингом:
Мама ищет в интернете, как дела на белом свете.
Кофе пьёт, глазами водит — что там в мире происходит?
Мама, я тебе Скажу! — В мире Я происхожу!

— Маша Рупасова
akuklev: (ДР Цертуса 2011)
Вот вроде как сейчас научились делать совсем хорошие одностенные углеродные нанотрубки с больших количествах и практически без дефектов. Научились делать их охрененного размера, вроде как более полуметра. А революционных структурных материалов (чтобы делать, как обычно, военную технику, импланты, эксклюзивный спортинвентарь, космические корабли, самолёты, машины и здания) как-то маловато. И, насколько я понимаю, потому, что такая вот графеновая нить чертовски маленькая и скользкая, её невозможно сколько-нибудь крепко заанкерить на концах.

А нельзя ли её, собаку, как-то закольцевать? Если колечки будут макроскопического размера, то они-то по идее уже не будут так свободно “выскальзывать” при напряжении.

А ещё карбин )
Прикольная была бы штука — колечки из одностенных нанотрубок, усиленных кольцом карбина внутри. Если бы из этих наноторов можно было делать цепочки и кольчуги, которые потом использовать в качестве арматуры для нанокомпозита — вот это был бы номер.
akuklev: (ДР Цертуса 2011)
Не знаю как сейчас, но пару лет назад в Москве ситуация с поликлинической медициной была очень хороша для пациентов в плане скорости обслуживания: при наличии хорошей страховки или за терпимые деньги к ЛОРу, кожнику, ортопеду или терапевту в хорошей частной поликлинике можно было записаться на сегодня-завтра. Страховки такого класса были доступны большинству людей, зарабатывающих от тысячи евро и вверх, т.е. всему среднему классу и выше это было доступно, а это довольно была довольно большая доля людей в Москве, около 30% всех прописанных в Москве.

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

А вот если без этого перекоса?

Вопрос читателям из Европы и Америки: как вы думаете, сколько бы должен был стоить приём у врача/ежемесячная страховка, чтобы работа врачей окупалась при underbooking'е, позволяющем пациентам записываться прямо на сегодня-завтра?

Вопрос читателям из России: как вы думаете, если бы не перекос в сторону Москвы и поликлиник (такой что в провинции дикая нехватка врачей), и, соответственно, очень сильная конкуренция между поликлиниками, сильно сдерживающая цену и исключающая overbooking, во сколько раз повысились бы зарплаты врачей и стоимость приёма?

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 20th, 2017 10:35 pm
Powered by Dreamwidth Studios