Узнал тут, что в Китае существует “запланированное устаревание” на регулятивном уровне - все автомобили Китайского производства подлежат безальтернативной утилизации через 10 лет, вся жилая недвижимость сносится через 70 без компенсации (тут ещё такой момент, Китай хочет так бороться с появлением социального класса рантье, сдающих перепавшие им в ( Read more... )

А сейчас производят какие-нибудь скоростные речные трамваи, вроде «Ракет» на подводных крыльях ( Read more... )

What's missing to Intuitionistic Type Theories (ITTs) is the ability to talk about, say, all groups: you can talk only about `U`-small groups for a given universe `U` there. It is not the case in case of Construction Calculi (common generalisation to ITTs and second-order lambda calculus System F ( Read more... )

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

Несколько месяцев назад, в феврале 2020-го впервые была показана работающая на природном газе газотурбинная установка на вращающейся детонационной волне, то есть там происходит не объемное сжигание топлива, а детонация во фронте волны, бегущей кругами по кольцевой камере: “Operability of a Natural Gas-Air Rotating Detonation Engine”, Walters et al ( Read more... )

А вот все говорят, что равенство Лейбница это импредикативное кодирование равенство Мартин-Лёфа ( Read more... )

A Framework for Complex Symbolic Languages and Structured Categories ( Read more... )

(из частной переписки ( Read more... )

Не секрет, что у светодиодных ламп бывает очень хреновый спектр, который приводит к тому, что цвета под таким освещением выглядят неестественно и глаза устают. Раньше на светодиодных лампочках писали только CRI (Color Rendering Index), и производители научились “обманывать” этот параметр - создавать освещение, у которого по документам очень высокий ( Read more... )

Пропылённый двор трёхэтажного старого дома, середина мая, по-летнему тепло, год этак 1988, деды сидят за столом и играют в домино, малыши учатся кататься на трёхколёсных велосипедах и играют в песочнице... А у меня есть целых два воздушных шарика - один круглый и синий, а второй продолговатый и розовый. Остались с первомайской демонстрации. А мне ( Read more... )