sash_ko's blog

666 и туалетное чтиво

noreply@blogger.com (sash_ko) — Wed, 23 Sep 2009 18:18:00 +0000

Недавно решил сменить репертуар туалетного чтива с Маяковского на что-нибудь более практичное. И вот получил первый положительный результат. Читая давно пылившуюся в шкафу книгу "Операционная система Unix", открыл для себя тайный смысл магической команды:
В юниксе права доступа (чтение - r, запись - w, выполнение - e) могут устанавливаться владельцу (u), группе (g) и остальным (o). Например, для того, что бы установить всем классам доступа право на чтение и запись нужно выполнить следующее:
Если в последовательности rwe заменить каждый элемент на 1 в случае наличия и 0 в случае отсутсвия права, а затем полученное число перевести в десятичную систему счисления (rwe => 111 => 7), параметры предыдущей команды можно будет записать более компактно - 666.

Kyiv Mapping Party

noreply@blogger.com (sash_ko) — Fri, 24 Apr 2009 06:40:00 +0000

Kyiv Mapping Party 2009 состоится завтра. Приглашаются все любители GPS'ов ;)

Найти стороны прямоугольника (еще одно решение)

noreply@blogger.com (sash_ko) — Sat, 28 Feb 2009 11:19:00 +0000

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

На прямоугольник можно наложить сетку с ячейками 1х1. Получится такая картинка:

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

Площадь - сумма площадей ячеек, для нашего случая (1*1=1) она численно равна количеству ячеек - серых и белых.

Если периметр равен площади, значит он численно равен количеству ячеек и на 4 меньше, чем количество серых ячеек, а значит белых ячеек должно быть 4. Это возможно только в 2-х случаях - прямоугольник 6х3 и 4х4:

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

Найти стороны прямоугольника

noreply@blogger.com (sash_ko) — Thu, 26 Feb 2009 09:22:00 +0000

Найти длины сторон прямоугольника (целые числа), у которого периметр равен площади.

PS: Задачка для 6-го класса ;)

Hello Ubuntu

noreply@blogger.com (sash_ko) — Wed, 25 Feb 2009 10:48:00 +0000

Поставил себе на ноут вторую ось - Ubuntu 8.10. Для меня это первый linux, который сразу заработал, без проблем с видео, звуком и т.д. Неработающий wi-fi не считается - все решилось за считанные минуты. Сложнее было найти как у висты отобрать кусок диска - менеджер дисков не позволял за один раз ужать до нужного мне размера.

Наконец-то у меня появился vim :)

Просто об Erlang'e

noreply@blogger.com (sash_ko) — Fri, 13 Feb 2009 07:24:00 +0000

Несколько ссылок, где можно доступно почитать об Erlang'e на русском.

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

Обработка ошибок в Erlang - тоже на rsdn'e, тоже перевод.

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

Erlang в Рисоваське, часть 1, Erlang в Рисоваське, часть 2 - разработчик Рисоваськи раскрывает секреты :) Начало цикла статей об Эрланге и его применении в реальном проекте.

Дополнительно:

Joe Armstrong on Erlang - подкаст на английском с Joe Armstrong'ом, создателем Erlang.

Задачка про вирусы и бактерии

noreply@blogger.com (sash_ko) — Tue, 03 Feb 2009 23:34:00 +0000

В колонии из Х бактерий, которая каждую секунду увеличивается вдвое, заводится вирус. Каждую секунду он съедает одну бактерию и "рождает" еще один вирус. Обречена ли колония бактерий на полное уничтожение?

Мешки с деньгами (задача)

noreply@blogger.com (sash_ko) — Tue, 03 Feb 2009 14:12:00 +0000

Еще одна задача про фальшивое бабло...

Есть 5 мешков с деньгами. Мешки небольшие - в каждом всего по 10 монет. В четырех мешках монеты фальшивые. Фальшивая монета, весом 10 грамм, на один грамм легче настоящей. Как при помощи весов за одно взвешивание определить настоящие монеты?

На свои же грабли...

noreply@blogger.com (sash_ko) — Mon, 26 Jan 2009 09:03:00 +0000

Недавно писал про with в Python'e и сам же наступил на связанные с ним грабли: некоторые исключения при таинственных обстоятельствах исчезали. Кроме with'а, подозреваемых не было, но следствие показало, что сам по себе оператор в этом не виноват. Причина была в менеджере контекста, функция __exit__ которого всегда возвращала True и тем самым подавлял все возможные исключения.

Пример оптимизации кода на Python

noreply@blogger.com (sash_ko) — Thu, 22 Jan 2009 20:29:00 +0000

Интересный пример оптимизации кода на Python можно посмотреть здесь.

The History of Python

noreply@blogger.com (sash_ko) — Thu, 15 Jan 2009 08:17:00 +0000

Гвидо ван Россум, тот который автор Питона, начал вести блог об истории Питона, который так и называется The History of Python.

Трабла setHidden у QTreeWidgetItem

noreply@blogger.com (sash_ko) — Wed, 14 Jan 2009 16:00:00 +0000

Суть проблемы

Есть дерево (QTreeWidget) элементов (QTreeWidgetItem). По событию некоторые элементы нужно скрыть, а скрытые отобразить, для чего используется функция setHidden у QTreeWidgetItem. После фильтрации это все сортируется:

def add_subitems(self, root_item):        
    '''Добавить элементы к корневому элементу'''

    def add(text, hide=False):
        sub_item = QtGui.QTreeWidgetItem(root_item)
        sub_item.setText(0, text)        
        sub_item.setHidden(hide)

    map(lambda val: add(*val), ( ('one',), 
                                 ('two', True), 
                                 ('three',) ))

def update_subitems(self, root_item):
    '''Обновить под-элементы - скрыть или отобразить'''
    
    for index in range(root_item.childCount()):
        item = self.root_item.child(index)
        # для упрощения скрываются видимые элементы,
        # а скрытые отображаются
        item.setHidden(not item.isHidden())

    self.treeWidget.sortItems(0, QtCore.Qt.AscendingOrder)

Если update_subitems вызывается когда окно скрыто (свернуто в трей), часть вызовов setHidden отрабатывается не правильно и при восстановлении окна из трея пользователь видит не то, что должен видеть. Если убрать сортировку или не скрывать окно - все работает как надо.

Решение

Единственное решение, которое я нашел - отлавливать момент, когда окно отображается (QShowEvent) и обновлять дерево еще раз:

def event(self, ev):
    if ev.type()==QtCore.QEvent.Show:
        #....
        self.update_subitems(root_item)

Меньше кодить, больше думать

noreply@blogger.com (sash_ko) — Tue, 06 Jan 2009 09:36:00 +0000

Джордж Сантаяне: Фанатизм состоит в удвоении Вашего усилия, когда Вы забыли свою цель

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

Qt Creator

noreply@blogger.com (sash_ko) — Sun, 21 Dec 2008 08:39:00 +0000

Qt Software (так называется Trolltech после покупки компанией Nokia) выпустили бету новой кросс-платформенной IDE для работы с Qt - Qt Creator. На данном этапе среда поддерживает только компилятор gcc и дебагер gdb. Можно так же использовать Microsoft Visual Studio компилятор, но тогда не получится дебажить.

Qt Creator - это не попытка заменить Eclipse и Visual Studio:

Qt Creator is not an Eclipse replacement, but instead a lightweight IDE designed specifically for cross-platform Qt development.

Qt Creator is not a Visual Studio replacement, but instead a lightweight IDE designed specifically for cross-platform Qt development.

Финальный релиз намечается на начало 2009 года. Подробнее можно почитать здесь.

Выглядит это так:

Самореклама: мой второй блог

1+1=4

noreply@blogger.com (sash_ko) — Sat, 20 Dec 2008 13:51:00 +0000

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

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

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

Самореклама: мой второй блог

Бесконечные проекты

noreply@blogger.com (sash_ko) — Thu, 18 Dec 2008 22:58:00 +0000

Навеяло постом про собеседования.

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

Рассуждения вместо уравнения

noreply@blogger.com (sash_ko) — Tue, 02 Dec 2008 06:02:00 +0000

В "Математической смекалке" довольно красиво показано как решение задачи плавно вытекает из условия при помощи простых рассуждений и элементарных вычислений:

Если некоторое двузначное число прочесть справа налево, то полученное "обращенное" число будет в 4.5 раза больше данного. Что это за число?

В условии задачи данных немного, но, искусно их используя, можно решить эту задачу одними "рассуждениями" примерно так:
1. Искомое число больше 10, так как оно двузначное.
2. Но оно меньше 23, так как 23*4.5 - число трехзначное.
3. Искомое число четное, так как при умножении его на 4.5 получается целое число.
4. Обращенное число по условию в 9 раз больше половины данного числа, значит, обращенное число кратно 9.
5. Так как обращенное число кратно 9, то сумма его цифр делится на 9, а данное число состоит из тех же цифр, что и обращенное, значит, и оно кратно 9.
...

Дальше уже не сложно продолжить рассуждения и найти искомое число.

Утренний артхаус

noreply@blogger.com (sash_ko) — Mon, 01 Dec 2008 20:21:00 +0000

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

Кризисный оффтоп: "увольнения"

noreply@blogger.com (sash_ko) — Fri, 28 Nov 2008 08:31:00 +0000

То, что экономический кризис не коснулся меня лично, не значит, что его нет. Среди моих знакомых, работающих в банках и тому подобных организациях, уже есть пострадавшие, которых "уволили". Я не зря взял это слово в кавычки - странно называть увольнением, когда человека вынуждают писать заявление по собственному желанию. Я сужу со своей колокольни и поэтому не понимаю, что значит вынуждают? Что мешает человеку, отработавшему на одном месте больше года, отказаться писать заявление по собственному желанию? Страх, что в трудовую напишут какую нибудь гадость? Но насколько я знаю, написать гадость не так то просто, КЗОТ хоть как-то от этого должен защищать. Возможно дело именно в незнании своих прав и вынуждение - это эксплуатация работодателями этого незнания?

Получаются одни вопросы. Может ли кто-нибудь объяснить мне такое положение дел?

Тестирование "белого ящика"

noreply@blogger.com (sash_ko) — Thu, 27 Nov 2008 07:00:00 +0000

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

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

// типы треугольников
enum type_t {t_scalene=1, t_isosceles=2,
             t_equilateral=3, t_error=4};

type_t triangle_type(int sideA, int sideB, int sideC)
{
   // проверка валидности треугольника -
   // сумма длин двух любых сторон не должна превышать
   // длину третьей стороны
   if((sideA>0 && sideB>0 && sideC>0) &&           // 1
      (sideA<(sideB+sideC))&&
      (sideB<(sideA+sideC))&&
      (sideC<(sideA+sideB)))
   {
      int ab = (sideA==sideB)?1:0;                 // 2
      int ac = (sideA==sideC)?1:0;                 // 3
      int bc = (sideB==sideC)?1:0;                 // 4

      int num = ab+ac+bc;

      // if num==0 - scalene
      // if num==1 - isosceles
      // if num==3 - equilateral
      type_t types [] = {t_scalene, t_isosceles,
                         t_error, t_equilateral};
      return types[num];                           // 5
   }

   return t_error;
}

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

Почему одного запуска функции и получение нужного результата недостаточно? Программы очень редко выполняются строчка за строчкой - этому препятствуют всевозможные логические операторы if, for, while, until, or, and, switch. Они разветвляют код, создавая сложные пути исполнения одной и той же программы при разных входящих данных. И по всем этим путям нужно пройти, один запуск с одними параметрами - это проверка одного пути из многих. Значит тестов нужно не меньше, чем перечисленных выше ключевых слов в коде. (В рассматриваемом случае под тестами я понимаю вызов функции с различными наборами параметров.)

Первый if, в приведенной выше функции, проверяет четыре условия - длины сторон треугольника должны быть неотрицательными и длина каждой из сторон должна быть меньше суммы длин двух других. Все условия объединены операторами &&, поэтому достаточно невыполнения одного из них, что бы не выполнился код, следующий за if. Но неплохо бы знать, все ли условия вычисляются правильно. Поэтому нужно передать функции значения, которые будут true и значения, которые будут false для каждого из условий. Проверить это можно по возвращаемому значению t_error, в случае если любое из условий не выполняется. Хотя первое из условий является само по себе составным, но все проверки в нем довольно простые и объеденены оператором &&, поэтому допустим, что достаточно будет проверки, когда одна длина отрицательная и когда все длины положительные.

В случае успешного прохождения if, выполняются проверки, помеченные как 2, 3, 4. Они не создают больших ответвлений, но вычисляют значения, которые влияют на выбор нужного элемента массива types в строке 5. Количество выполненных условий записывается в переменную num, которая может принимать только три значения 0, 1, 3 (2 не может быть, так как при выполнении двух автоматически выполняется третье). Значит для тестирования этой части кода достаточно 3-х наборов входящих параметров - все стороны неравны (num==0), все стороны равны (num==3), равны только 2 стороны (num==1).

Больше ответвлений в программе не наблюдается, поэтому можно подводить итог. Для тестирования функции triangle_type, нужно передать ей 14 наборов входящих параметров (8 для условия 1, 6 для условий 2, 3, 4) и проверить возвращаемый результат. После этого можно быть уверенным, что в большинстве случаев поведение функции будет предсказуемым. Хотя нет... это только часть возможных проверок. Еще можно проверять передаваемые параметры, например, как будет вести себя функция при максимально и минимально допустимых значениях, но это уже отдельная тема. Я хотел рассказать только о тестировании, базирующемся на изучении кода. Это как раз то, что теоретически отличает тестирование программистами от тестирования тестировщиками - программисты тестируют не "черный ящик".

PS: Не смотря, на то что получилось много текста, на практике это занимает не так уж много времени :)

Задача про банку и дробь

noreply@blogger.com (sash_ko) — Sat, 22 Nov 2008 20:09:00 +0000

В полевых условиях нужно получить свинцовую пластинку определенного объема. Из инструментов и материалов есть только охотничья дробь и политровая стеклянная банка с делениями, как мензурка. Есть так же все необходимое для плавления свинца, но это не поможет для решения задачи. А задача такая: как определить достаточный объем дроби? Дополнительное условие - при расчетах можно использовать только одно действие - вычитание.

Удивительное рядом - shared_ptr и виртуальный деструктор

noreply@blogger.com (sash_ko) — Wed, 19 Nov 2008 14:08:00 +0000

Интересную штуку про boost::shared_ptr прочитал здесь Storing dynamicly created objects in a container. Для shared_ptr не обязательно наличие виртуального деструктора у базового класса. Это не значит, что виртуальные деструкторы теперь не нужны, но может быть полезно, когда есть legacy-код без них и менять его нельзя.

Объединение двух отсортированных массивов

noreply@blogger.com (sash_ko) — Sun, 16 Nov 2008 18:25:00 +0000

Как объединить два отсортированных массива (n1 и n2 элементов) в один отсортированный массив? Такой вопрос мне неоднократно попадался на собеседованиях и даже пару раз сталкивался с ним на практике. Вся сложность этого вопроса не в том как это сделать, а как это сделать максимально быстро.

Быстрее всего это делается за n1+n2 итераций (линейное время). Пусть есть два отсортированных по возрастанию массива A1 и A2. Можно легко определить первый элемент результирующего массива - им будет либо первый элемент первого массива, либо первый элемент второго массива, в зависимости от того, что меньше. Допустим, наименьший - это A1[0]. На следующей итерации при помощи одного сравнения определяется второй элемент результирующего массива - опять сравниваются первые элементы исходных массивов, при условии, что для A1 первый элемент - это A1[1], так как A1[0] - уже выбыл из игры. И так продолжается пока не будет заполнен результирующий массив. На картинке это выглядит так:

Как видно, ничего сложного в этом алгоритме нет. Самое интересное в нем - это возможность использования для сортировки. Любой массив размера n можно представить в виде n массивов, состоящих из одного элемента. Пары соседних элементов, представленных ввиде массивов можно объединять по описанному выше алгоритму. Получится примерно в 2 раза (примерно, потому что n может быть как четным так и нечетным числом) меньше отсортированных массива по 2 элемента, которые в свою очередь тоже можно объединить. И так пока не получится один отсортированный массив.
А все это называется сортировка слиянием.

Concepts в C++0x

noreply@blogger.com (sash_ko) — Sat, 15 Nov 2008 18:51:00 +0000

Наконец то удалось посмотреть видео о новых расширениях С++ Concepts: Extending C++ Templates For Generic Programming. Решил поделиться своими впечатлениями.

Concepts - это расширение существующих шаблонов С++, позволяющие устанавливать требования к параметрам шаблона. Концепция позволяет ответить на несколько вопросов:

чем должен быть параметр?
что он должен уметь делать?
как установить соответствие между параметром и тем, чем он должен являться?

В ролике это называлось Concept definitions, Where clauses и Concept maps соответственно. Насколько я понимаю, то, что было озвучено и то, что будет в стандарте немного отличается, по крайне мере вместо where будет использоваться requires, поэтому пример будет выглядеть не как в видео:

// Вычисление суммы элементов последовательности

// Параметр шаблона должен быть Forward Iterator - 
// позволяет двигаться только в перед
template< ForwardIterator Iter >
  // два значения, на которые указывают итераторы,
  // могут быть сложены при помощи оператора +
  requires Addable< Iter::value_type >, 
  // объект, на который указывает итератор,
  // должен иметь оператор присваивания  
     && Assignable< Iter::value_type >
  Iter::value_type sum(Iter first, Iter last, 
                        Iter::value_type result)
  {
    for (; first != last; ++first)
      result = result + *first;
    return result;
  }

// у типа double* нет оператора сложения, присваивания,
// получения следующего элемента последовательности,
// но реализация алгоритма sum будет корректно работать
// с этим типом, поэтому устанавливается соответствие
// между ForwardIterator и double*
concept_map ForwardIterator {
  typedef double value_type;
};

Надеюсь, теперь понятно, зачем вводятся concepts, если нет, то подробней можно почитать здесь: ConceptC++ Tutorial.

На видео, дядька приводит другой пример, знакомый всем, кто использовал STL: простой алгоритм поиска, реализованный в соответствие с требованиями STL, отлично работает с вектором, но не хочет работать со списком. Хотя внешне все вписывается в общую структуру библиотеки: контейнеры - итераторы - алгоритмы. Для того, что бы понять, что не так с алгоритмом нужно копаться в его коде либо использовать concepts. Начиная с этого места у меня появилось чувство, что concepts - это костыль, который подсовывают С++. Проблема как была, так и осталась, но теперь можно уверенно хромать в перед. Лечится только следствие проблемы - теперь компилятор будет сам говорить, что хотя все вписывается в рамки, но работать все равно не будет. При этом, возможность писать неработающий код так и остается - для совместимости с предыдущими версиями.

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

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

Задачка про прилив

noreply@blogger.com (sash_ko) — Thu, 13 Nov 2008 19:33:00 +0000

Нашел в шкафу старую книгу "Математическая смекалка". Замечательная книга! Теперь по вечерам сижу с удовольствием решаю задачки - неплохая гимнастика для мозгов и хорошая альтернатива вечернему созерцанию интернета. Вот одна из задач, которая мне понравилась (кстати, ничем не хуже майкрософтовских :)

Недалеко от берега стоит корабль со спущенной на воду веревочной лестницей вдоль борта. У лестницы 10 ступенек; расстояние между ступеньками 30 см. Самая нижняя ступенька касается поверхности воды. Океан сегодня очень покоен, но начинается прилив, который поднимает воду за каждый час на 15 см. Через сколько времени покроется водой третья ступенька веревочной лесенки?