Предупреждение: у нас нет цензуры и предварительного отбора публикуемых материалов. Анекдоты здесь бывают... какие угодно. Если вам это не нравится, пожалуйста, покиньте сайт. 18+

Ваше мнение

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


1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019
2014: Январь Февраль Март Апрель Май Июнь Июль Август Сентябрь Октябрь Ноябрь Декабрь
Март        2014
Пн Вт Ср Чт Пт Сб Вс
                1  2
 3  4  5  6  7  8  9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 

Комментарии (48): Сначала новые  |  Сначала старые

Гуркх09.03.2014 23:55:48

= а откуда вот это взялось вообще - "Запад сдает не Украину: он сдает Майдан".=

Не знаю, Африканец.

И вообще, что значит "Запад"?
Бумажки и решения выпускает НАТО, ЕС, США, остальные страны.
Есть еще крупные СМИ.
Новый Европарламент скажет свое слово в мае.
У всех разные интересы.

И когда все идут на поводу у ультрас одной не передовой страны?
Либо они идиоты, либо высокая ставка.


Гуркх09.03.2014 23:45:49

Янги,
Я когда работал в институте Академии РАН, я был "оранжевым" (ну термина такого ее не было).

Потом когда я проработал переводчиком в СП, а потом ушел на вольные хлеба, мои политические пристрастия плавно трансформировались (когда у меня появилось время смотреть телевизор) от СПС к эсерам. Как к тем, что имеет мнение, что делать с заработанными деньгами.

Иноживущие глядят на Верховный совет, и не знают, что делают партии на уровне районов. Вернее, кто делает партии на уровне районов.


Африканец09.03.2014 23:45:03

Гуркх,

а откуда вот это взялось вообще - "Запад сдает не Украину: он сдает Майдан".

Откуда видно, что кто-то там кого-то сдает? С чего вообще кажется, что они там испугались майдана у себя? Тем более, что у них эе там демократия (обычная, не уличная), в которую они все свято верят. А уличные проявления вполне эффективно гасят.


Африканец09.03.2014 23:38:41

Вот, например, по поводу способов написания программ, уменьшающих количество ошибок. Одним из таких способов нынче широко признается unit testing. Это набор простых и быстровыполнимых тестов, которые идут вместе с программой и выполняются при каждой сборке. Идея состоит в том, что, если программа поменялась, то непрохождение тестов укажет на ошибку.

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

Я как-то работал в проекте, где подобное тестирование было возведено в догму. Считалось, что каждая программа должна быть снабжена тестами, где должна тестироваться каждая процедура отдельно, независимо от того, делает ли она что-то законченное или возникла просто для удобства написания. тестированию подлежали даже процедуры из одной строки. Тесты часто превышали собственно программы по размеру во много раз. И, естественно, содержали ошибки.

Самое плохое, что к составлению этих тестов большинство программистов относилось весьма формально. Типа, есть процедура, которая вычисляет минимум из двух чисел:

int min(int x, int y) {return x<y ? x : y;}

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

Как же ее тестировать? Пишут что-то вроде
test (min(1, 2) == 1);
test (min(2, 1) == 1);

Вообще-то, это плохой тест. Двух пар значений явно мало. Как минимум, надо проверить одинаковые числа, отрицательные числа, числа на границах диапазона (а если бы в ходу были вещественные числа - также и бесконечность, Nan и прочую экзотику). Хорошо бы проверить также и сколько-то случайно выбранных чисел. Вот это последнее - как сделать? Для заранее подобранных "трудных" чисел мы хоть знаем ответ:
test (min (2147483647, -2147483648) == -2147483648)

А что делать для случайных? И вот появляется код вроде

int x = random_int ();
int y = random_int ();
test (min (x, y) == (x < y ? x : y));

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

Что мне кажется правильным, и что я пытаюсь делать:
1) никогда не дублировать код в тесты. Если задача дает такую возможность, тестировать, исходя из постановки задачи. Например, в данном случае писать что-то вроде
z = min (x, y);
text ((z == x || z == y) && z <= x && z <= y);
2) если функция подлежит оптимизации (т.е. ускорению), то исходную (неоптимизированную) версию не переносить в тесты, а оставлять в коде и использовать как эталон для сравнения с ней результатов оптимизированных версий. Саму же неоптимизированную проверять указанным в п.1 способом.

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


Гуркх09.03.2014 23:35:50

=И я тут подумал.. Что пока картошку не посадим войну затевать не с руки.
Некогда нам=

Янги -

О!
Мы со всем гамузом выехали в деревню. Мадам красила полы, а мусью перестелил полы в другой части дома. Собака сторожила, мелкая кошка ловила мышей, а старый кот осуществлял общее руководство.
Два дня нас не было в мировой политике.
И тут возвращаемся - а тут - вооруженные изменения, плавно перемещающиеся к югу в сторону Перекопа.
М. Илларионов паникуе. (пожимаем плечьми).

Влияние событий на мою личную росэкономику пока сравнимо с празднованием нового года.

Шо?


Янги09.03.2014 23:26:53

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

Гуркх. Мне наверное глупо спрашивать тебя о твоем отношении к бюрократии. Но вот ведь в чем казус - все хотят сидеть в офисе.
Я это просёк ещё во времена СССР. А на селе, это видно вообще очень явно.
Моё добровольное пожелание уйти из шоферов в пастухи.. Было обществом воспринято вот так же, как взгляд извне на езду королевы Нидерландов на велосипеде.
То есть, нидерланадам пофигу, королеве пофигу, а вот кто-то чужой увидел и проникся.:))

Мне вот так же пальцем казали что я опустился в низшую касту.:))


Янги09.03.2014 23:11:21

Я сегодня копаясь в огороде услышал как соседский пёс гоняет курей.
Молодая собака. Поиграться хочется. Тем более что всегда на цепке сидит.
Ну я как добрый сосед попёрся в деревню. Сообщить хозяйке о нарушении в её владениях порядка. Они живут в доме на этаже, а хоз.двором со мною соседят.
Хозяйка пришла и навела на своей территории конституционный порядок.
Так вот. А сама она из хохлушек. Из Украины. В СССР закончила что-то экономическое и попала по разнарядке в наши палестины. Начинала с мат.ответственности и дотянула до гл.буха. За это время вышла тут замуж, получили квартиру, родили детё, которое тоже начало уже свою карьеру бухгалтером..
Кароче, я не знаю что они там с доней набухгалтерили, но контора обанкротилась..

И тут, кстати по поводу, я её и спрашиваю - Ксюш, что там твои на события говорят?
- Да ну их. Они ж зомбированные. У них только украинское ТВ. А там всё талдычат что скоро Россия их атомным оружием сотрёт с лица земли.
(она с роднёй по скайпу общается)
И я тут подумал.. Что пока картошку не посадим войну затевать не с руки.
Некогда нам


Гуркх09.03.2014 22:59:44

= п-с! А что они там будут делать? Изображать офисных работников?
А с какой зарплатой? И, будут ли бегать на угол за кипятком, а на обед ходить по талонам в офисную столовую? А кто им талоны даст?

Янги=

Как обыватель без политокраса думаю, что -

Кто-то через некоторое время пересажает мелких примазавшихся и наведет порядок. [Общие рукоплескания, переходящие в овацию]

Главное - кто этот кто-то?


Гуркх09.03.2014 22:55:37

=http://susel2.livejournal.com/53375.html?view=2554751#t25547 51=

Чупато. Я серьезно.
Как только ЕС поймет, придавят режим либо под лозунгом восстановления правового порядка, либо под лозунгом борьбы с фашизмом. СМИ скажут, что так и было.
Та же Польша въедет. Когда обыватели по обе стороны границы будут "морально готовы".

Если только главная цель (определенных сил в) США не заключается в "бардаке на территории Украины".


Янги09.03.2014 22:54:54

Старик. А ты, там, давно, так волновался за Мишу.
http://lenta.ru/news/2014/03/09/hodor/


Янги09.03.2014 22:54:07

<Кроме того, боевики и ПС и Самообороны начали растекаться по городу, захватывая пока офисные здания, принадлежавшие семье Яныка и его команде, а также офисы Партии Регионов и Компартии. Причем, боевики располагаются в бывших офисах по-хозяйски, надолго>

Оп-с! А что они там будут делать? Изображать офисных работников?
А с какой зарплатой? И, будут ли бегать на угол за кипятком, а на обед ходить по талонам в офисную столовую? А кто им талоны даст?


Гуркх09.03.2014 22:46:01

= Какой план, если у нас пилят, воруют и практически все бабло сливают за границу??!! Только за январь 2014 утекло 17 млрд.$, в мире по абсолютному объему утечки капитала мы уступаем только Китаю, но если считать подушевой - там мы впереди планеты всей. Что можно планировать, если все ресурсы откачиваются гигантским коррупционным насосом?=

Гость -

Да. Да.
Вопрос -
Как отличить "вывоз капитала" от "экспорта капитала" и "экспансии капитала"?


Африканец09.03.2014 22:33:07

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

Если вернуться к исходной модели, когда вместо двоичного кода у нас "программа", вместо компилятора - "система автоматического программирования", а вместо программы - спецификация, мы получим, что ошибок в сгенерированной программе просто нет, ибо она всегда соответствует своей спецификации. Соответственно, проблема исправления ошибок в ней просто не стоит (или стоит только в плане устранения последствий наличия ошибок в самой системе автоматического программирования).

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

Вот тут - тема очень широкая. Что такое ошибки в программах вообще, откуда они берутся и почему делаются, какие есть способы обнаружить их наличие и насколько эти способы хороши; какие есть способы поиска этих ошибок и их исправления, и насколько вероятно, что исправление ошибок приведет к созданию новых. Есть ли способы программирования или языки и инструменты, которые уменьшают количество ошибок. Это дело активно изучалось с момента начала программирования, и изучается до сих пор. Поскольку ошибки делают именно люди, то тема эта относится не столько к программированию или математике, сколько к психологии, физиологии, эргономике, даже антропологии и этнографии, в общем, к гуманитарным наукам. Тут есть о чем поговорить.


Африканец09.03.2014 22:22:11

Ыфут

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

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

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

В каких-то же ограниченных объемах нечто такое возможно. Хотя более разумно нечто подобное применять к задаче повышения эффективности. Это вроде как в шахматах: шахматная программа имеет кучу параметров (бывает, что несколько тысяч), и для этих параметров никаких теоретических оптимальных значений нету. Можно пытаться стравливать друг с другом программы с разными наборами параметров и так выяснять, какие значения повышают силу. Правда, может оказаться, что абсолютного максимума нет, а есть ситуация камень-ножницы-бумага. Подобное можно делать и для компилятора: там тоже есть регулируемые параметры, и можно пытаться их подбирать так, чтобы программа исполнялась быстрее. Можно это делать либо глобально, при создании компилятора, либо для конкретной компилируемой программы. Последнее (ну или близкое к этому) на практике делается, это называется profile-guided optimisations.


Старик09.03.2014 22:08:04

Янги,

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

А вот про привязку художественбной книги к текущим событиям - я когда начал читать эту Академию, еще вступление про распад империи, поразился точности описания процесса распада Союза в начале 90-х. Посмотрел когда же эта книга написана была - в районе 1940-го. Охренел.
О попытках восстановления империи там тоже есть. И чем оно закончилось.

Гуркх,
Я не знаю что сейчас происходит в Киеве. Но вот информация от конкретных родственников конкретных людей, в том числе и обитавших в лучшие времена на этой странице, совершенно не соответствует приведенным тобой "письмам с земли". Если на что и жалуются, то на высокий уровень преступности. Что совершенно естественно для ситуации - вспомни 90-е в России. Ситуация-то на самом деле схожая - практически нелигитимный (не соответствиющий Конституции по крайтей мере) переворот, отход от прописанной в Конституции руководящей роли КПСС. Что бы ты сказал если бы братья по идеологии (Китай, например) ввели тогда в Москву войска для поддержки верных ленинцев ГКЧП? А ведь братство по идеологии для коммунистов было намного серьезнее чем сегодня - братство по крови.
Пропаганда сейчас работает самыми разными путями, и блоги в ней не оследнее оружие.


Гуркх09.03.2014 21:01:15

Гость и все-все-все на ВМ.
Выкатываю полный текст цитаты из эль-мюрида. за 9 марта 02 часа утра.
Чтобы прочитали, а просто ссылку могут и пропустить.
Предлагаю каждому самому повыкидывать из текста всякую ему не нравящуюся политически-окрашенную часть. Можно даже считать все написанное полным враньем. Желающие могут связаться со своими знакомыми и проверить.
Давайте оценим текст с точки зрения обывателя.
Мое мнение и выводы возможно изложу в следующем счвоем посте.

=======================
Продолжаю публиковать письма из серии "Юстас-Алексу":

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

Автомобили
(скипаю нахрен, ибо все это могут совершить и мирные гопники)

Минюст

Также примечательным моментом стал захват на следующий день после бегства Яныка архивов Минюста людьми в балаклавах, сильно похожих на боевиков ПС. Если я не ошибаюсь, Вы, Анатолий, об этом случае писали.

Примечательность же этого момента в том, что это были не просто архивы Минюста, а архивы регистрационной службы Минюста. По действующему законодательсту, именно регистрационная служба регистрирует сделки по отчуждению недвижимости и земельных участков и выдает соответствующие подтверждения о праве собственности на недвижимость. Так что это весьма и весьма лакомый кусочек. Можно, например, какие-то бумаги изъять и попробуй докажи, что кусок земли или здание в центре Киева принадлежит именно тебе. Так и представил себе картину, как в зале суда терпила машет бумажками, доказывая свое право собственности, а его очень внимательно слушают граждане в масках с дубинами и «коктейлями Молотова». Ведь по ГПК судебные заседания у нас открыты и каждый гражданин имеет право посещать их.

Захваты зданий

Кстати, по поводу зданий. К примеру, на Крещатике закрыты практически все магазины, а магазины там были самые «престижные». Когда я там был последний раз, видел только один открытый – торгующий спортивной одеждой. Здания на Крещатике все уже поделены между ПС и самообороной майдана. К примеру, весь Пассаж уже в фактической собственности ПС. Мне интересно, как реальные собственники собираются выгонять боевиков? (Если кто не понял, вопрос риторический.)

Кроме того, боевики и ПС и Самообороны начали растекаться по городу, захватывая пока офисные здания, принадлежавшие семье Яныка и его команде, а также офисы Партии Регионов и Компартии. Причем, боевики располагаются в бывших офисах по-хозяйски, надолго, а Киевводоканал и Киевэнерго были сурово предупреждены о невозможности отключения таких объектов от электроэнергии и канализации. Причем, платить за все удобства, естественно, они не собираются. Так, что оплачивать такое счастье придется все тем же глупым киевлянам.

Зоны влияния

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

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

Если боевики ПС более-менее дисциплинированы, то все большую проблему начинают составлять боевики различных сотен самообороны, которые фактически вышли из подчинения руководства самообороны майдана.

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

"Реквизиции"

Так вот, вот такие анархические «сотни» также захватывают понравившиеся офисы и «гнездятся» там, кроме того, чистят приглянувшиеся. Как милиция борется с таким положением дел показывает характерный случай, произошедший на улице Шота Руставели. Это улица в центре города, там находятся офисы крупных фирм, дорогие магазины, квартиры богатых людей. Так вот, ночью подъехала бригада самооборонщиков, спокойно вскрыла офис адвокатской конторы и не спеша начала его чистить. Какой-то доброхот таки дозвонился до Печерского райотдела и, где-то через час, на место происшествия приехал наряд милиции. Самооборонщики надавали по голове ментам и отправили их обратно и спокойно закончили свое дело. Хотя потом, в СМИ, менты врали, что отвезли правонарушителей в райотдел, где установили их личность и затем отпустили (!!!).

Как говорят в этих ваших интернетах, вангую, что скоро начнут чистить богатые квартиры, а то и отбирать их у слуг бывшего кровавого режима. Кстати, самооборонщики, которые заняли мэрию Киева уже выдвинули новоназначеному главе госадминистрации г.Киева ультиматум – будут освобождать здание в обмен на квартиры в Киеве из расчета один кабинет на одну квартиру.

Попытались также «анархисты» наехать и на международный аэропорт «Борисполь». Руковоству аэропорта пришлось обращаться к афганцам с просьбой о защите. Афганцы отбили наезд «анархистов», но руководству все же пришлось платить, но уже афганцам.

Область

Потихоньку передел начался и в Киевской области. Быстрее всех подминать под себя Киевскую область начала «Свобода». Для начала приезжали свободовские самооборонщики и меняли местную власть в райцентрах. Меняли просто – собирали местных депутатов и говорили, кого хотят видеть мэром. Кто пытался сопротивляться, того просто и без затей отправляли в больницу. После этого местным депутатам – регионалам и коммунистам ставился ультиматум: или вы выходите из партии и голосуете, как мы скажем или отправляетесь в больницу в лучшем случае.

Затем, уже новая власть собирает местных бизнесменов и доводит разнарядку – кому и сколько платить на «самооборону». Почему-то все соглашаются.

ПС врубился в эту тему позже, но тоже решил не отставать и подмял под себя по этой схеме на этой неделе первый райцентр – Васильков.

Рэкет

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

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

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

Статистика

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

В общем, я думаю, Европа будет рада принять в свою дружную семью страну с таким отношением к собственности...


Гость09.03.2014 20:49:37

Интересные рассуждения по поводу сущности Майдана:

http://susel2.livejournal.com/53375.html?view=2554751#t2554751


Любитель здорового сна09.03.2014 17:13:45

Гость
Что ты суетишся? Расслабся и наслаждайся последними мирными днями. Скорее всего впереди третья мировая война.
Сейчас вот я закончу свои дела и буду смотреть сериал и крымское вино пить.


Гость09.03.2014 16:58:59

да, цифры забыл:
http://shans-online.com/news/2014-02-06/17_mlrd_dollarov___ottok_kapitala_iz_rossii_v_yanvare/


Гость09.03.2014 16:58:17

> Но что-то такое предложить своего рода ГОЭЛРО пока не удается. Все говорят что во всем виновата коррупция из-за нее ничего не выйдет и тд.

Какой план, если у нас пилят, воруют и практически все бабло сливают за границу??!! Только за январь 2014 утекло 17 млрд.$, в мире по абсолютному объему утечки капитала мы уступаем только Китаю, но если считать подушевой - там мы впереди планеты всей. Что можно планировать, если все ресурсы откачиваются гигантским коррупционным насосом?


Ыфут09.03.2014 14:00:11

Африканец, а в чем разница? В исходном вопросе какие-то "ошибки", которые она исправляет, фигурировали.

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

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


Ыфут09.03.2014 13:51:54

Ставил совсем без спросу?

Кто-то такое вроде да, делал, кого я видел. Но кто-то мелкий и несерьезный.
Может метапост какой-нить (у которого .ps на выходе)...

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


Африканец09.03.2014 13:44:46

Ыфут

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

О подозрительных местах, которые вроде как не ошибки, но большого смысла не имеют, компилятор и так сообщает, это называется "редупреждения". К ним надо относиться внимательно, часто они указывают на ошибки. Меня пугает, что в нашем проекте их полторы тысячи, и никто на них не смотрит. Правда, чаще всего они бывают ложными.


Ыфут09.03.2014 13:35:24

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

Тут у него два способа: 1.адаптироваться (попытаться) в конкретном случае - этот способ обсуждался исходно, как программа, исправляющая ошибки в программе.

2. или измениться вообще (самообучиться). Этот способ обсуждался в шуточном ключе.

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


Африканец09.03.2014 13:17:48

Ыфут

если компилятор (т.е. его авторы) знает свои косяки, то их можно попросту исправить. Косяки же автора компилятор исправлять не должен. Хотя в том, что касается синтаксических ошибок, такие компиляторы бывали. Кажется, PL/1 такое делал. В случае непарности скобок сам ставил скобку в том месте, где считал нужным. Я полагаю это очень вредным.


Ыфуи09.03.2014 13:10:57

любое из перечисленных состояний.


Ыфут09.03.2014 13:10:28

Вот прикинь, он тебе с утра говорит:

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


Ыфут09.03.2014 13:07:30

Африканец, да я, на самом деле, понимаю.

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


Африканец09.03.2014 12:46:12

"Куда, через какие структуры, собирался перечислить полученную уплату таможенник Верещагин в условиях состоявшегося краха государства?"

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


Африканец09.03.2014 12:42:15

Ыфут

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

А остальное ловилось при помощи очень серьезного военно-космического тестирования. Все равно, правда, страшно, поскольку никакое тестирование 100% не ловит.


Любитель здорового сна09.03.2014 10:52:01

Привет всем
Я встречался и с более интересными слуачаями чем отказ некоторых конструкций.
Новый год. Я сижу в конференцзале банка. На сервере происходит деноминация и ещё переход на новый план счетов.
Моя задач простая. Я должен выгрузить из опердня список вкладчиков с суммами вкладов и произвести деноминацию.
Спокойно пишу цикл for/next для двух тысяч вкладчиков.
По отчёту вижу, что цикл сработал с первого вкладчика до 1800го. дальше не идёт.
Некоторое время смотрю на простейший код. Как такое может быть.
В углу конференц зала стол. Клиенты банка принесли подаркиЖ коньяк, виски, шампанское, фрукты, закуски, салаты.
Иду туда. Пью виски, закусываю.
После виски пришла простая идея. Ставлю в коде от 1 до 2200. Ура Все две тысячи вкладов деноминированы.
Работая дальше я обнаружил, что та же самая конструкция for/next перенесённая в пятую позицию строки не работает вообще.
Вот так применяясь к особенностям интерпретатора я решил все производственные задачии выпив еще виски поехал домой.
Самое интересное, что специалисты поддержки категорически отказывались верить в произошедшее. Они сказали, что я всё это выдумал.


Янги09.03.2014 10:12:34

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

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


Янги09.03.2014 10:02:06

Пирогов(?кажется) называл войну - "Эпидемия травматизма"


Янги09.03.2014 10:00:35

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


УизМ09.03.2014 09:21:16

Ыфут

Гуриев это звезда на российском экономическом небосклоне. Сейчас правда эта звезда во Франции. Так бывает.
Но что-то такое предложить своего рода ГОЭЛРО пока не удается.
Все говорят что во всем виновата коррупция из-за нее ничего не выйдет и тд.
Как бы такое оправдание.


Исаак Плутонер09.03.2014 07:39:50

Привет.
Знатокам на заметку.
Крайний выпуск Consumer Reports, полностью посвященный автомобилям, поставил Subaru на четвёртое место среди всех брендов. Впереди только Лексус, Акура и Ауди. Позади - все остальные, включая Хонду, Мазду, Вольво, Инфинити, Ниссан и прочие форды с крайслерами.
Так, вдогонку.
Сам я не на Субару езжу. Просто всезнаек не люблю.


Ыфут09.03.2014 03:26:31

Арфиканец, но дожны бы быть редкие и труднопредсказуемые косяки.
Когда правят не компилятор, а код.

Чего б тогда не делать такой итеративный процесс: компилация-тест-перекомпиляция-тест...

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

Метод запрета констуркций - он же стандартен для борьбы с глупыми программистами, а не только компиляторами. Говорят же, военные на примере языка Ада его и применяли.


Ыфут09.03.2014 03:15:54

Африканец, а могут ведь и соблазниться. Уж больно гладко прошло. Может это теперь в моду войдет?


Африканец09.03.2014 03:09:35

С.Тютькин,

"если бы в Вильнюсе появились неопознанные польскоговорящие спецназовцы, литовцы были бы посговорчивее, но пока что - никак"

есть же куча всяких способов попроще, дипломатических там или торговых. Скажем, Польша могла бы заблокировать прием Литвы в Нато до удовлетворительного решения польского вопроса.


Африканец09.03.2014 03:06:44

Ыфут

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

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


Ыфут09.03.2014 02:23:42

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


Ыфут09.03.2014 02:22:32

Африканец, во-во, я этих индусов тоже хотел припомнить. Но потом, усомнился, действительно ли они хуже других. Всё-таки у Индия репутация интеллектуальной страны. Да и у Китая.

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

Т.е. тот же перевод, но итеративный.


С тчк Тютькин09.03.2014 02:02:36

//А неужели Польша, будучи в друзьях с начальством, не может свою политику протащить? Вот же странно. //

Африканец, твои слова напомнили мне анекдот времен скандала в Оральном кабинете, когда, посоветовавшись с Ельциным, Клинтон вытащил свой сигарозаменитель и показал конгрессу.
-Шо, рубить?! - ужаснулись конгрессмены.
-Сосать! Танки уже едут.

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

//Кстати, а в Польше же, наверное, тоже литовцы есть? Можно провести обмен привилегиями.//

Ну, собственно говоря, поляки именно этого и добиваются - требуют таких же привилегий для поляков в Литве, какие имеют литовцы в Польше - а в Польше есть и литовские имена в паспортах, и названия на литовском, и экзамены. Но есть один нюансик - в 30-миллионной Польше проживает 5 тыс. литовцев, а в 3-миллионной Литве - 200 тыс. поляков.


Африканец09.03.2014 01:58:07

Или, вернее, сто могут сделать то же, что и раньше сто, но проводя все время на совещаниях и в социальных сетях, а работая не более часа в день.

Впрочем, подобно тому, как наша автоматизация производства - это китаец со швейной машинкой, есть и автоматизация программирования. Это индус в Бангалоре. Правда, он пишет индийский код. Ну а китаец делает китайские товары.


Африканец09.03.2014 01:54:45

УизМ

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

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


С тчк Тютькин09.03.2014 01:54:03

//С Тютькин, а нахрена? ЧТоб автономию не объявили или что?//

Ну да, sean, боятся сепаратизма. Чтобы не было как в 20-х годах. Тогда, после нескольких перепихиваний туда-сюда, СССР, воюя против поляков, занял Виленский край и отдал его Литве. Ну, и вроде как на этом и порешили, но Пилсудский - он родом из Литвы - мечтал о совместном польско-литовском государстве. Когда стало ясно, что так не получается, то офицер польской армии, Лукьян Желиговский, по "просьбе" начальства взял два полка, сформированных из поляков и белорусов - жителей Вилейчизны, и отобрал у литовцев населенный в основном поляками, белорусами и русскими Виленский край обратно, и он стал формально независимым - "Литва шродкова" (срединная Литва). Потом в краю провели референдум о принятии в состав Польши, и в 1923 году Лига наций признала волю жителей - таким образом, на международном уровне Вильнюсский край был признанной частью Польши. Литва с этим не соглашалась до 1938 года, когда был подписан договор между Литвой и Польшей. Что в нем было, я точно не знаю, но, судя по тому, что в официальной историографии он иначе как "польским ультиматумом" не называется, предполагаю, что, согласно ему, Литва и Польша признавали границы друг друга, таким образом, окончательно закрепляя статус Виленского края. А потом был пакт Молотова-Риббентропа, и Виленский край сначала стал частью Белорусской ССР, а потом отдан Литве.
Во время войны поляки, как известно, активно боролись против немцев, литовцы же с немцами сотрудничали. На этой почве тоже была резня, сначала литовский батальон убил несколько десятков мирных поляков и белорусов, потом Армия Крайова за них отомстила, убив несколько десятков мирных литовцев. В общем, хоть и не было того накала, как на Западной Украине (где бандеровцы совершали настоящий геноцид поляков - убивали тысячами), но отношения, конечно же, были достаточно напряженными. Поляки вообще очень патриотичны. Кстати, по исторический памяти, которая у поляков и литовцев, кстати, во многом общая, тоже проходятся - вот такой пример: была в 19 в. в Польше/Литве местная Жанна дАрк - Эмилия Плятер, героиня восстания против России. И хотя происходит она из прусских дворян, но поляки считают ее полькой, очень почитают, и хотели ее именем назвать школу. Литовцы, которые тоже ее почитают, согласились, но потребовали, чтобы имя писалось по-литовски: Эмилия Плятерите (само собой, при жизни никто ее так не называл). Вроде и мелкий повод, но поляки тогда очень обиделись и школу литовской фамилией называть отказались. Вот такие терки между братскими народами. Ничего не напоминает?


Старик09.03.2014 01:43:17

Янги,

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

Все там базуируется на существовании такой математической системы, называемой "Психоистория". Фантастика, естественно, из лучших.
Вся эта серия есть на Флибусте.


Ыфут09.03.2014 01:05:36

УизК, слушай, а хорошего Груиев что-нить предложил?
Т.е. он сказал что "все говно", потому что Китай.
А идей о том, что ж делать у него нет?



Комментарии (48): Сначала новые  |  Сначала старые

Рейтинг@Mail.ru