April 20th, 2016

Dr.Strangelove

Плановая экономика vs рыночная

А кстати ведь одной из сторон "развития информационных технологий" является как все большее увеличение роли централизованного планирования: все эти системы логистики "с колес", системы предсказания поведения потребителей в сочетании с все большей монополизацией торговли - типа все того же Амазона и всяких Аппсторов и прочих гуголей etc etc - это ведь и есть движение в сторону плановой экономики.

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

В принципе в какой-то момент ведь (по достижении достаточно высокой степени управляемости системы) цели планирования могут и измениться (как они например менялись в ходе мировых войн) - и, прощай рынок - в общем здравствую СССР 2.0 :)
Gen.Turgidson

Крутящиеся осьминожки, сложность хардвари и интеллект

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

Собственно эта самая локальность и порождает наслоения разнообразной легаси.

Так вот по этому поводу вспомнилось - когда ТрансМета двигала свой Crusoe, одним из их аргументов в пользу их преимущества перед x86 они выдвигали то, что в тогдашних x86 3/4 площади кристалла занимают схемы, которые посвящены динамической трансляции и оптимизации устаревшей архитектуры - вся эта суперскалярность, спекулятивные вычисления, трансляция 8 регистров в регистровый пул нормального размера etc etc.

Ну а они в этом не нуждаются.

Так вот мне эти разговоры про исторические наслоения в мозгах очень напомнили
*) К этому диалектическому противоречию между обозримостью и естественным отбором кстати сводятся и все споры о плановой экономике vs рыночной, а так же базарной технологии vs соборной, споры об агильных методиках и прочее. Плохи в смысле эффективности на сам деле и та и другая - но по разному.
Gen.Turgidson

Наглядная иллюстрация к термину "обратный карго-культ"

Вот как же всё-таки вас заело на "обратном карго-культе", между тем это классический argument from ignorance. Могу поспорить что северокорейские куздры тоже посмеиваются над глупыми северокорейскими диссидентами, которые не знают что на самом деле везде сажают за посещение неправильных сайтов, потому что просто не может быть иначе - люди везде одинаковы.

Вот как раз механика образа мысли либеральных товарищей в полный рост - таки - "аргументация от незнания" - в голову засажен органчик с идеальным представлением о "как оно должно быть", подменяющий реальность - только не в сторону утопии, как в случае "представлений о западе", а в сторону антиутопии: КНДР как известно идеальный мордор - а потому...

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

В частности позволю предположить, что в КНДР нет понятия "посещение неправильных сайтов" - просто потому, что все сайты доступные в их интернете - "правильные по определению", и сама постановка вопроса скорее всего корейцам непонятна - и в любом случае - неактуальна (тоже самое относится кстати и к представления либералов об СССР - еще более диких, потому что тут и информация есть). В этом смысле у мну есть очень забавный пример:
Collapse )
Dr.Strangelove

Про Мордор кстати:

У Шекли явление из предыдущего поста в "Цивилизации Статуса" обыграно - где герой с великими приключениями и риском прорывается в ужасный тоталитарный земной мордор, каким его на его планете местные диссиденты представляют, свергать режим - и обнаруживает совершенно идиллическое место с домиками-газончиками-парками.

Потом правда обнаруживается некоторый "нюанс"
Gen.Turgidson

Об Воннегута

Осьминожек и прочую хардварь.

Как-то в трепе по поводу "Сирен Титана" (а там если кто не читал и все человечество вообще и в частности крайне идиотские и довольно жестокие приключения главгероев собственно есть продукт иноплантной цивилизации, которая таким образом решает вопрос изготовления и доставки на Титан несложной запчасти для застрявшей там летающей тарелки - ну и параллельно - коммуникации с ее пилотом) приятель на замечание что там все-таки какой-то крайне сверхресурсозатратный оверкилл, заметил что-то вроде - ну вот представь, что байтики бы в процессоре могли бы думать - им бы тоже была дикой наверное мысль, что все эти их самих миллиарды и крайне странные и в огромной степени бессмысленные перемещения, нужны что кто-то мог в тетрис поиграть :)
Dr.Strangelove

Типичный пример сферического мышления ярлычками:

http://kouzdra.livejournal.com/2961325.html?thread=98418861#t98418861
то есть очевидная мысль но не обязательна 100% плановая и не обязательно 100% рыночная может быть вам в голову не приходила
любое планирование - уже не рыночная?
за что я люблю вас куздра так за моделирование
сферическое естественно


Автор думает что "уел" (так еще Уэллс Маркса ругал - что де вот пролетарий едет в поезде - он же искплотатор получается). Хотя в случае с рынком vs планом все очень просто:

Разница в том, какая именно компонента является ведущей - в СССР рыночная компонента подстраивалась под плановую, в США - плановая под рыночную.

Разумеется там можно придумать ситуацию "проблемы кучи" - когда ведущую выделить нельзя - типа как в процессе превращения обезьяны в человека с промежуточными формами. Но обычно вопрос не встает.
Dr.Strangelove

Прикладное терраформирование

Кстати - аспект, который писатели-хвантасты кажется вообще не рассматривают:
http://www.bbc.com/russian/science/2016/04/160419_ascension_island

Размером он [остров Вознесения] примерно с остров Гернси, основная его территория – выжженная пустыня. Остров был необитаем до тех пор, пока на нем в 1815 году не высадились британцы.
Collapse )
"Я не думаю, что мы когда-либо сможем назвать Зеленую гору в полной мере функционирующей экосистемой. По крайней мере – не в ближайшее время. На это уйдут тысячи лет", - говорит Вебер.

"Сейчас это абсолютно неуправляемая хаотичная масса инвазивных видов. Одни начинают доминировать, другие умирают. Ими зарастают тропы, и это делает гору менее привлекательной для прогулок", - говорит ученый.
Gen.Turgidson

Гланды, через жопу и автогеном

https://sel4.systems/

Подход к разработке верифицированной системы:



В общем ядро пишется на Haskell и отлаживается на интерпретаторе.

Одновременно оно автоматически транслируется в executable specification для очередной системы автоматического доказательства. Одновременно пишется ручками abstract speification, который т-сть описывает тоже самое что и executable, но в нормальном виде. Ну и снабжается доказательством эквивалентности одного и другого.

После того как настало счастье - оно руками переписывается с Haskell на С и формально доказывается частичная (на уровне науки про пред- и пост- условия) эквивалентность реализации абстрактной спецификациии.

Profit.
Gen.Turgidson

"Но право ты имеешь"

О "добровольности" - из старой читанной еще в советском детстве американской книжки:

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

Я тогда вообще идеи "пункта о самоубийстве" не понял - допер только после общения с адептами "что ну это же всяко добровольно и ни один уважающий себя пожарный бы в горящий ВТЦ не пошел если бы подозревал что это реально опасно" (c) Вова Патрышев в фиде по горячим следам события :)