Наткнулся тут недавно на видео, в котором Вассерман, как он считает, доказывает невозможность существования Бога с помощью теоремы Геделя о неполноте. У меня есть конструктивная критика его рассуждений.
( Read more... )

Уже давно урывками, в основном на работе, пытаюсь приобщаться к функциональному программированию.
Узнаю кучу всякого нового и интересного, есть желание писать что-нибудь по этому поводу.
Фиг знает, кому оно будет интересно, так что основная цель - структуризация информации для себя. Если кому-то пригодится - буду рад. И еще, я начинающий ФП'шник, так ( Read more... )

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

На прошлой неделе возвращались домой с Юрцом и начальником моим с работы. Юрцу нужно было снять денег с банкомата. Пока он деньги снимал, я задумался над такой вот задачкой:
Пусть банкомат выдает купюры номиналов n_1, ... n_k в неограниченном количестве. Пусть n_(l) кратен n_(l-1). Для любого 1 < l <= k. Какой стратегией нужно пользоваться, чтобы ( Read more... )

Наконец, появилось время оформить в виде, надеюсь, связного текста мысли о Стаконе 2011.
Здесь будет описание не только самого мероприятия, но и приготовлений к нему. Цель поста - в основном зафиксировать свои воспоминания, а также структуризировать их, так что сразу предупреждаю, текст может показаться слишком длинным и неинтересным для человека, ( Read more... )

( Read more... )

Христос Воскресе!

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

Вот, что говорит об этом дизайнер обложек, Edie Freedman:

( Read more... )

Прочитал сегодня на работе "Формулу Лимфатера" Лема. Круто, всем, кто не читал советую.

http://lib.web-malina.com/getbook.php?bid=2782&page=1

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