December 8th, 2015

Gen.Turgidson

Истоки либерального правосознания:

Major Kong

"Юность реформатора"

Коммари навел на прекрасное: За что Чубайс ненавидит советскую власть:
Дело в том, что я ненавижу советскую власть. Более того, я мало что в жизни ненавижу так, как советскую власть. И особенно ее позднюю стадию. В моей жизни ничего омерзительнее, чем поздняя советская власть, не случалось. При всех претензиях к тому, что происходит в стране сейчас.

Это начиналось с утреннего включения радио и бодрого голоса с такой специальной омерзительной советской интонацией: "Здравствуйте, товарищи! Начинаем утреннюю зарядку!" ...

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


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

Самое пожалуй гениальное по поводу Чубайсова интервью

В комментах у Коммари:
>> это вранье, до 1985 года запроса на свержение Советской власти не было

Черт его знает. Посмотрел про этого вашего Чубайса в википедии, а там -

Отец — <...> преподаватель марксизма-ленинизма Ленинградского горного института.

Я-то этих преподавателей марксизма-ленинизма только на занятиях видел, а ему каждый день приходилось общаться.
А ведь и правда же :)
Gen.Turgidson

По поводу статьи Дэвиса еще:

http://elementy.ru/lib/164681/164687 и моего недавнего поста:
Сбудутся эти прогнозы или нет, но будущее чистой математики должно разительно отличаться от ее прошлого. В 1875 году любой грамотный математик мог полностью усвоить доказательства всех существовавших на тот период теорем за несколько месяцев. В 1975 году, за год до того, как была доказана теорема о четырех цветах, об этом уже не могло быть и речи, однако отдельные математики еще могли теоретически разобраться с доказательством любой известной теоремы. К 2075 году многие области чистой математики будут построены на использовании теорем, доказательства которых не сможет полностью понять ни один из живущих на Земле математиков — ни в одиночку, ни коллективными усилиями. Многие математики будут по-прежнему доказывать теоремы традиционными методами, но это будут уже лишь отдельные ностальгические островки в океане новой математической дисциплины. Будет широко применяться формальная проверка сложных доказательств, однако достижение общественного консенсуса будет столь же распространенным условием для принятия того или иного результата, что и строгое доказательство.
(вообще главку статьи по ссылке есть смысл прочитать целиком)

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

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

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

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

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

- механизации рутинных операций - типа систем контроля версий etc

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

Ну и одновременно - развитие языковой поддержки всего этого - что тоже дает эффект.

Imho математики совершенно неизбежно придут к тому же - но пока как-то пытаются трясти, там где думать надо - и ища как автор статьи, аналоги в компутерщине - слона-то как раз и не видят - а ищут под соим фонарем
Gen.Turgidson

Бгг - US Navy перепил US AF:

http://bmpd.livejournal.com/1615913.html
Как следует из отчета о служебном расследовании, проведенном Главным инспектором ВМС США, начальник Управления стратегического планирования Объединенного командования воинских перевозок ВС США (Director of Strategy and Policy, U.S. Transportation Command) контр-адмирал Дэвид Ф. Боком (RADM David F. Baucom) в апреле с.г. на одном из престижных пляжных курортов упился до такой степени, что разбил голову о барный табурет, обмочился и не смог добраться до своего номера иначе, чем в сопровождении сторонних лиц.


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

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

Двухзвёздный генерал (генерал-майор) ВВС США, отвечающий за отвечающее за ядерно-техническое обеспечение и безопасность был отстранен от занимаемой должности за злоупотребление алкоголем и появление на людях в обществе женщин сомнительного поведения (for drinking too much and hanging out with suspicious women) во время служебной командировки в Москву.

http://flibusta.lib/b/101479/read
Похоже, каждый летчик считал себя непревзойденным водителем. Он был готов на все, чтобы добыть новейшую модель, особенно спортивного автомобиля. И чем пьянее он был, тем больше уверялся в своих водительских навыках и в том, что нужная вещь выведет его из любых передряг. Небольшая гонка, парни! (Ведь был лишь один способ выяснить это!) Они выезжали тесным строем, скажем, с военно-воздушной базы Неллис, и мчались по трассе № 15 в Лас-Вегас, иногда по четверо в ряд. Они не стеснялись в средствах для достижения победы, забирались в самые глухие и пустынные участки дороги, словно на пятисотмильных гонках. А потом с диким ревом проносились, словно ангелы смерти, по Лас-Вегасу, и жители списывали это на молодость, спиртное и на хулиганье, которое стекалось на базы. Конечно, эти люди ничего не знали о нужной вещи.
...
Пилоты гораздо чаще разбивались в автомобилях, чем в самолетах. К счастью, среди начальства всегда находилась добрая душа, которая констатировала «смерть при исполнении служебных обязанностей», чтобы вдове было легче получить страховку. И это был единственно правильный выход, потому что сама система уже давно негласно одобрила цикл «полет-и-выпивка, выпивка-и-автомобиль». Каждому летучему жокею было знакомо чувство, когда ты встаешь в полшестого утра после двух-трех часов сна, выпиваешь несколько чашек кофе, выкуриваешь несколько сигарет, а затем, содрогаясь, идешь на летное поле. Были и такие, кто приходил не только похмельным, но даже еще не протрезвевшим: эти парни прикладывали к лицам отводы кислородного резервуара, чтобы вывести алкоголь из организма, а затем отправлялись в полет.

Для тех кто в курсе:
http://www.edwards.af.mil/news/story.asp?id=123463986



11/23/2015 - EDWARDS AIR FORCE BASE, Calif. -- Edwards cares about the safety of its Airmen both on and off duty.

The Airman Against Drunk Driving program reduces drunk driving at Edwards AFB and in surrounding communities by offering people a safe, free, and anonymous alternative.

Safe rides are offered to both military and DOD civilians.