You are viewing alexey_rom

Previous 50 | Next 50

Mar. 6th, 2010

Pex

Они это сделали! Я и не надеялся уже, но Pex будет доступен в VS 2010 (и 2008) Pro, а не только в Team Suite.

Для тех, кто не встречался с Pex: это дальний родственник QuickCheck для .Net (в первую очередь для C#). Дальний потому, что аргументы, на которых проверяются свойства, генерируются не случайно, а с помощью анализа тестируемого кода и попытки подобрать значения так, чтобы пройти по всем возможным потокам управления, а потом сохраняются в виде обычных юнит-тестов.

Теперь ещё бы статическую проверку контрактов в VS Pro и будет совсем замечательно.

Mar. 2nd, 2010

Уголовное преследование за рецензию

О таком я раньше не слышал. Доктор Кальво-Голлер за эту рецензию подала в суд на клевету, даже не на рецензента, а на главного редактора сайта, на котором она опубликована. Причём подала во Франции. По законам которой все обвинения в клевете рассматриваются в Уголовном суде.

Источники:
http://languagelog.ldc.upenn.edu/nll/?p=2147
http://opiniojuris.org/2010/02/12/criminal-libel-for-publishing-a-critical-book-review-seriously/

Мои Shared items в Google Reader

Благодаря Google Buzz вспомнил об их существовании и наличии в FeedDemon кнопки share.

Собственно URL: http://www.google.com/reader/shared/05538518460582448118

Прочитанное

Дочитал JavaScript: The Good Parts. Книга неплохая и короткая (а повторений всё равно хватает :( ) Насчёт недостатков во многом могу согласиться с этой рецензией, но я всё-таки оценил на 4, а не 3.

Feb. 28th, 2010

Mathematics made difficult

Раньше слышал об этой книге, но не искал. Прочитав предисловие, уже понял, что зря.

Цитаты (взяты с reddit):

[Dedication] "To Clement V. Durell, M.A., without whom this book would not have been necessary"
[p.10] "Mathematicians always strive to confuse their audiences; where there is no confusion there is no prestige. Mathematics is prestidigitation."
He manages to pose several confusing questions about even the most basic facts. Leave alone "Question 4. Whether 1 is a number?", who can ever answer ""Question 5. Whether one should count with the same numbers he adds with, up to isomorphism?" :-)
[p.23] "This section is about addition. The fact that the reader has been told this does not necessarily mean that he knows what the section is about, at all. He still has to know what addition is, and that he may not yet know. It is the author's fond hope that he may not even know it after he has read the whole section."
[p.28] "With a few brackets it is easy enough to see that 5+4 is 9. What is not easy to see is that 5+4 is not 6."
[p.40] He defines a cancellable number x as one for which x+p = x+q never holds unless p=q. He first proves that if x and y are cancellable so is x+y, then with great care proves that 1 is cancellable, and therefore all numbers are cancellable.
[p.44–48]. In just a few pages, he gives a category-theoretic construction of the group of integers. Surely, this has never been done before.
[p.25] (On mathematical "beliefs".) "Like the world of a science-fiction story, a system of beliefs need not be highly credible—it may be as wild as you like, so long as it is not self-contradictory—and it should lead to some interesting difficulties, some of which should, in the end, be resolved."
[p.37] "unfortunately, there is a flaw in the reasoning. [..] to say that each of two numbers cannot be bigger than the other is to repeat the statement that is to be proved. It is not correct in logic to prove something by saying it over again; that only works in politics, and even there it is usually considered desirable to repeat the proposition hundreds of times before considering it as definitely established."
[Starred exercise] "Show that 17 × 17 = 289. Generalise this result."

Ссылка на DJVU версию (1.7 MB)
Ссылка на PDF версию (24.3 MB)

Feb. 27th, 2010

Курс ФЛП, вторая лабораторная

Разработка
Задание

Файлы с кодом:
lists2.erl
control.erl
file_io.erl

Feb. 26th, 2010

Курс по языкам программирования от Ralf Lämmel

Ссылка с более подробным описанием

Материалы

Coverage
- Parsing and interpretation in Prolog
- Basics of small-step and big-step semantics
- Basics of untyped and typed lambda calculi
- Introduction to Haskell
- Basics of denotational semantics
- Denotational semantics in Haskell
- Basics of static program analysis
- Static program analysis in Haskell
- OO programming in Haskell
- The Expression Problem
- Basics of Constraint-Logic Programming
- Basics of Process Algebra (CCS)
- ... a few more specialized lectures

Characteristics
- English as the course language
- Slides, videos, exercises available online publicly
- 42 hours (45mins each) of lectures over 4 months
- 12 programming-oriented, interactive labs
- Transparent scheme for midterm and final exam
- Heavy reuse of material from other courses
- Use of Twitter for notification and aggregation

SQLite на GPU

На некоторых запросах SELECT быстрее в 70 раз.

Обсуждение на Reddit, с участием разработчика.

Feb. 25th, 2010

Mendeley

Новая версия Mendeley рулит.
1) Улучшили результаты поиска по названию в Google Scholar (хотя всё ещё не идеально).
2) Добавлять файлы любого формата теперь можно так же просто, как pdf. Правда, метаинформацию не извлекает, но см. пункт 1.

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

Feb. 23rd, 2010

Жизнь коротка, а искусство вечно

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

Feb. 22nd, 2010

Закон сохранения энергии

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

Feb. 21st, 2010

NextPlease (самореклама)

Понял, что забыл написать об этом в ЖЖ.

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

Проблема с ним была в том, что автор последнюю версию выпустил два года назад и она была совместима только с FireFox 3.0. Стандартный метод "изменить maxVersion в install.rdf" давал совместимость с FF 3.5, а вот с FF 3.6 не работал.

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

Feb. 20th, 2010

Один из самых тёплых январей в истории

Пока мы вместе с Европой и США мёрзли, в мире было вот что:

Источник: State of the Climate, Global Analysis, January 2010

Планы Oracle по развитию JDK

Две статьи:
http://itfreak.ru/news/bright-future-of-java/
http://java.dzone.com/articles/mark-reinhold-talks-about-jdk (на англ.)
Вторую я перевёл: http://habrahabr.ru/blogs/java/85034/

Я ожидал худшего, так что приятно удивлён.
Tags:

Feb. 17th, 2010

Skype

Купил гарнитуру и присоединился к 21-му веку. Имя в Скайпе: alexeyvromanov

Feb. 11th, 2010

foldl and foldr considered slightly harmful

Guy Steele про параллелизацию функциональных программ: слайды (в pdf), видео
Tags:

Feb. 10th, 2010

Не только у нас хватает идиотов

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

Плата за регистрацию: 5$.
Tags:

Feb. 9th, 2010

Курс ФЛП

Уже третий год в весеннем семестре я веду курс "Функциональное и логическое программирование" у двух групп. У нас будет 7 лекций и 7 лабораторных (по две пары). (В одной группе, возможно, 6).

Выбор языков:
По ЛП, понятно, Пролог. По ФП Эрланг ради простоты и синтаксической близости с Прологом.

Мои планы:
3 занятия по ФП, 4 по ЛП

Лекция 1. Преимущества неизменяемых данных, списки в ФП, хвостовая vs нехвостовая рекурсия
Лабораторная 1. Знакомство с Эрлангом, написание первых функций.
Лекция 2. Функции как значения. Напомнить лямбда-исчисление. Замыкания. Сравнить с указателями на функции в C и поговорить о ситуации в других языках.
Лабораторная 2. ФВП. Применение для работы со списками и как управляющих конструкций.
Лекция 3. Алгебраические типы данных. Если успею -- немного о выводе типов. Ленивость.
Лабораторная 3. List comprehensions. Представление сложных данных. Пример: деревья.

По ЛП куда меньше теории, которая не связана непосредственно с Прологом.

Лекция 4. Идея логического программирования. Синтаксис Пролога.
Лабораторная 4. Знакомство с Прологом. Простая БД. Написание правил и запросов.
Лекция 5. Арифметика. Операторы.
Лабораторная 5. Работа со списками. Представление сложных данных. Деревья.
Лекция и лабораторная 6. Алгоритм унификации и поиска с откатом. Порядок клозов в правилах. Сечения (зелёные и красные). Отрицание.
Если успеваю: Работа со свободными переменными. Разностные списки.
Лекция и лабораторная 7. Грамматики (DCG). Код как данные.

Ваше мнение? Есть ли что-то, о чём обязательно нужно рассказать, а у меня этого нет? Есть ли что-то явно лишнее?

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

Feb. 6th, 2010

Кто-нибудь разбирается в расширениях FireFox?

У меня возникла ситуация, совершенно невозможная, по моему пониманию. Описал её на форуме Mozilla Add-ons, но спрошу ещё и тут.

Есть два скрипта. Один -- главный, а другой для диалога опций.

Первый создаёт глобальный объект с именем "nextplease". Судя по всему, работает правильно. Ошибок в консоли не пояляется, "alert(typeOf(nextplease))" в Execute JS выдаёт "object". Все кнопки и клавиши работают как надо и т.д.

Беда в том, что второй скрипт его в упор не видит. Сейчас там стоит:
// $Id: nextpleaseOptions.js,v 1.16 2007/07/21 00:15:11 howie Exp $

alert(typeof(nextplease));

if (nextplease === undefined) {alert("nextplease is undefined!");}
if (nextplease && nextplease.DEBUG) {alert("nextplease is defined");}

Насколько я понимаю, nextplease === undefined -- правильный способ проверки на undefined; по крайней мере, в книге Крокфорда сказано именно так.

Так вот, при открытии диалога я вижу alert с "undefined". А "nextplease is undefined!" не вижу; вместо него в консоли появляются ошибки:

Error: nextplease is not defined
Source file: chrome://nextplease/content/nextpleaseOptions.js
Line: 5

Error: nextplease is not defined
Source file: chrome://nextplease/content/nextpleaseOptions.xul
Line: 1

Наконец, если я выполняю typeof(nextplease) и nextplease === undefined в консоли, а не в Execute JS, то я получаю undefined и Error: nextplease is not defined соответственно.

Есть ли у кого-нибудь объяснение этим фактам и/или идеи, что с этим можно сделать?

Feb. 5th, 2010

Интервью президента РАН

Источник
– Юрий Сергеевич, прокомментируйте, пожалуйста, открытое письмо ученых о состоянии российской науки.
– Какое письмо? Я его не видел. О чем там? Не знаю, не читал.

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

– А можете привести примеры?
– Конечно могу. Это, например, «Труды Института математики и механики» в Екатеринбурге. Или труды по математике Санкт-Петербургского или Московского университетов. Они не переиздаются на других языках.

<...>

<...> А чтобы поднимать наши журналы, нужно писать в них хорошие статьи, а не посылать их за границу.

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

via posic

Jan. 31st, 2010

Новая книга про реализацию компилятора для Haskell

Один из авторов проекта UHC написал книгу, описывающую их реализацию.
Tags: ,

Jan. 30th, 2010

Везёт мне в последнее время на журналы историков

cherniaev Легенды и сказки Киевской Руси
nikolamsu Национально-сознательный мем, Пересекающиеся пространства и многое другое
furia_krucha История истории: is Earth round and with a passage at North-West? и Анализ историографии: are Orbits of Discourse dense on Plateaux of P(h)alestine?
antoin Тюдоры: уголовное право и смертная казнь, Дело о партнёрстве

Вышел Tidier!

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

Jan. 24th, 2010

И бритва Оккама тоже...

не имеет отношения к Оккаму.

Jan. 23rd, 2010

Новая Хронология

Для начала должен сказать, что лет 12 назад я искренне верил в заключения Фоменко и Носовского. Потом думал, что в их рассуждениях есть здравое зерно, даже если они ошибаются в деталях. Со временем удалось разобраться в реальной ситуации.

Перед Новым Годом я набрёл на подробный разбор книги «Основания истории» А.Т.Фоменко (очередной версии Новой Хронологии). Как и сказано в шапке, это только выжимка из большой ветки форума kasparovchess.crestbook.com, так что там не хватает аргументации и вопросов сторонников НХ. Одним из ни всё-таки не могу не поделиться:
Прошу мнения профессионального историка, не в поддержку Хвоменки, как говорила моя бабушка, а во имя истины. Я тут залез в старый советский справочник и немножко завял. Есть вопросы:

1. Почему, начиная с Греко-персидской войны 500-449 до н.э. и до 3-ей Пунической 149-146 до н.э. все войны идут одна за другой, но потом, до начала Столетней войны 1337 - 1453 н.э. никаких войн вобще не было? Означает ли это, что все в этот период вдруг стали "братьями во Христе", или doch Фоменко - прав, что минимум 1000 лет истории Скалигер-Петавиус, по просьбе папашки Грыгория, приписали?

...

дословно переписал со справочника. "Альфа о Омега", Таллин, Валгу 1988, не зажмотничал в свое время аж 3 руб.! Круто, или не, но войн никаких не отмечено. То, что Никейский собор был, не должно вызывать никиаких сомнений, но у меня вызывает.:) Никто, до сих пор не доказал, где находится Никея, и почему, собственно, в то время надо было проводить собор в "Никее", а не в Константинополе? Он, что, был подпольный? То, что Никея находилась в Малой Азии - умозаключение некоторых. На карте Балкан 1849 года есть одна Никея (Nice) в Тракии, на притоке Хебруса, а так, Никея и сегодняшняя Ницца - очень даже... Вопрос не в этом. Вопрос в том, что (пусть даже) в 325-году Юлианский и Григорианский не имели разницы, она накопилась лишь к 1582-ому году и составила 10 дней (теперь уже 13). Chich, мне просто некого больше спросить, я живу в Германии, а это - страна непуганных дураков и браконьеров, в смысле истории. Немцев так запугали евреи, после второй мировой, что никто не высовывается. Здесь даже есть закон, по которому карается "усомнение в факте холокоста", несмотря на конституцию, где каждому дано неотъемлимое право высказывать публично свое мнение...


Конечно, учёные много писали про НХ, но все статьи, которые я видел раньше, посвящены частным вопросам. Можно, прочитав статью Зализняка про лингвистику, сказать: "Зато НХ доказывается астрономией". Прочитав статью по астрономии сказать: "Зато историки пользуются радиоуглеродными и дендрологическими датировками, а Фоменко показывает, почему этого делать нельзя". И так далее. Этот разбор таких возможностей, по-моему, не оставляет.

Jan. 12th, 2010

Цитата

Читая блог Ayende Rahien'а, наткнулся на замечательную цитату Ральфа Уолдо Эмерсона, равно применимую в математике и в программировании:
Методов может быть миллион и более, а принципов мало. Понимающий принципы может выбрать подходящие методы; а тот, кто пробует методы и не думает о принципах, наверняка попадёт в беду.

Оригинал:
As to the methods there may be a million and then some, but principles are few. The man who grasps principles can successfully select his own methods. The man who tries methods, ignoring principles, is sure to have trouble.

Беда в том, что на семинарах требуют объяснять именно методы :( и как с этим бороться, неясно.

(no subject)

Попытка опровержения физикализма через парадокс лжеца (via flaass) Упражнение: найдите основные ошибки.

Jan. 10th, 2010

Объяснение ввода-вывода в Haskell без монад

Перевёл пост Neil Mitchell'а Explaining Haskell IO without Monads.

Jan. 9th, 2010

Гордость и предубеждение

в эмотиконах (via seawasp).

Jan. 5th, 2010

Про компилятор Intel

Вчера наткнулся на пост Agner Fog Will Intel be forced to remove the "cripple AMD" function from their compiler? Решил его перевести и выложить на Хабр: Придётся ли Intel убрать из компилятора функцию, намеренно выдающую плохой код для процессоров AMD?

Jan. 3rd, 2010

Новый рассказ Питера Уоттса

The Things

Это взгляд с точки зрения инопланетянина на события рассказа "Кто идёт" Кэмпбелла. (А точнее, снятого по нему фильма Карпентера "Нечто".)

Ленивость

Комикс про ленивость в HaskellCollapse )

Dec. 31st, 2009

Ну, с Новым Годом всех!

С праздником! И пусть в новом году случится всё, чего вы хотите! А ещё лучше то, что вам нужно!

Dec. 28th, 2009

Сравните

«Секвенирование первого в Индии генома человека открывает возможности для вхождения Индии в элитный клуб, что ... открывает новые горизонты для дешёвых и доступных здравоохранения и профилактической медицины» — Притвирадж Чаван, министр науки и технологии Индии, 8 декабря 2009 г.

Проект занял 6 недель и обошёлся в 30 тысяч долларов.

«Расшифровка генома человека в нашей стране означает, что Россия вошла в элитный клуб стран, которые могут читать генетическую тайнопись природы» — Михаил Ковальчук, научный руководитель Курчатовского центра конвергентных нано-био-инфо-когнитивных (НБИК) наук и технологий, 22 декабря 2009 г.

Проект занял 6 месяцев (по официальному заявлению; при этом в январе он уже шёл) и обошёлся в 1,5 миллиона долларов.

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

Источник (ссылки и ещё кое-что интересное там): http://riftsh.livejournal.com/118790.html

Как я не смог подать Microsoft идею

Bart de Smet пишет о новой Reactive Framework, которая войдёт в .NET 4.0 (очень интересная и полезная библиотека, кстати; и многие идеи взяты опять-таки из ФП, а точнее из Functional Reactive Programming).

В своём последнем посте он упомянул комбинатор Using, служащий для выделения ресурса и его освобождения после завершения работы с последовательностью. ...Collapse )

Dec. 19th, 2009

K&R&L (Brian W. Kernighan & Dennis M. Ritchie & H.P. Lovecraft)

Exercise 4-13. Write a function reverse(s) which reverses the string s by turning the mind inside out, converting madness into reality and opening the door to allow the Old Ones to creep forth once more from their sunken crypt beyond time.

Dec. 16th, 2009

Очень порадовала цитата

«Эти постулаты столь фундаментальны, что их не могут опровергнуть никакие эмпирические данные.»

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

На ту же тему: Об идеализациях в экономике (англ.).

Dec. 3rd, 2009

Douglas R. Hofstadter, Daniel C. Dennett, The Mind's I

Лежит на Blogspot. Я ещё не читал, но эти авторы неинтересно писать не умеют.

Dec. 2nd, 2009

Изложение второй теоремы Гёделя в односложных словах

First of all, when I say "proved", what I will mean is "proved with the aid of
the whole of math". Now then: two plus two is four, as you well know. And,
of course, it can be proved that two plus two is four (proved, that is, with the
aid of the whole of math, as I said, though in the case of two plus two, of
course we do not need the whole of math to prove that it is four). And, as
may not be quite so clear, it can be proved that it can be proved that two plus
two is four, as well. And it can be proved that it can be proved that it can be
proved that two plus two is four. And so on. In fact, if a claim can be proved,
then it can be proved that the claim can be proved. And that too can be
proved.

Now, two plus two is not five. And it can be proved that two plus two is not
five. And it can be proved that it can be proved that two plus two is not five,
and so on.

Thus: it can be proved that two plus two is not five. Can it be proved as well
that two plus two is five? It would be a real blow to math, to say the least, if
it could. If it could be proved that two plus two is five, then it could be
proved that five is not five, and then there would be no claim that could not
be proved, and math would be a lot of bunk.

So, we now want to ask, can it be proved that it can't be proved that two plus
two is five? Here's the shock: no, it can't. Or, to hedge a bit: if it can be
proved that it can't be proved that two plus two is five, then it can be proved
as well that two plus two is five, and math is a lot of bunk. In fact, if math is
not a lot of bunk, then no claim of the form "claim X can't be proved" can be
proved.

So, if math is not a lot of bunk, then, though it can't be proved that two plus
two is five, it can't be proved that it can't be proved that two plus two is five.
By the way, in case you'd like to know: yes, it can be proved that if it can be
proved that it can't be proved that two plus two is five, then it can be proved
that two plus two is five.

George Boolos, Mind, Vol. 103, January 1994

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

Ещё одно: специальная теория относительности в словах не более, чем из четырёх букв.

Dec. 1st, 2009

Две задачи

Позаимствовано из блога Concrete Nonsense (там есть решения). Первая простая, вторая посложнее.

1) Дано 51 различное целое число от 1 до 100 включительно. Доказать, что среди них найдётся два взаимно простых.

2) Дано 51 различное целое число от 1 до 100 включительно. Доказать, что среди них найдётся два, одно из которых нацело делится на другое.

Nov. 28th, 2009

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

Оказывается, Вольтер этого никогда не говорил.

Nov. 25th, 2009

Из лекции на polit.ru

Как мне сказал знакомый астроном, количество нейронных связей в мозгу больше, чем звезд во Вселенной, а после этого астронома физик знакомый сказал: «Не звезд во Вселенной, а частиц во Вселенной». Частиц! Это же ужас.

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

А мужики-то и не знают.
Есть несколько точек зрения, одна из них: «Все нейроны и синапсы действуют одновременно». Т.е. параллельно очень много процессов идет, в то время как компьютеры, в основном, имеют один или несколько процессоров.

Без комментариев (это всё ещё про суперкомпьютеры).
Это то, что у человека (а вот сейчас и это начинает подвергаться сомнению) есть способность, которую многие до сих пор считают только человеческим свойством, – строить модель психики «другого». ... Есть точка зрения, что это специфичная для нашего вида, т.е. для homo sapiens, способность, что ей не обладают животные. Зоопсихологи и вообще все, кто занимаются поведением животных, просто в обморок падают от такого. Насмерть стоят, что это, конечно, не так.

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

Вот это да. Это замечательно.
Дарвин говорил нам, между прочим, что разница между людьми и прочими существами, живущими на этой планете, не качественная, а количественная. Вот все, вокруг чего бедного Дарвина так ругают, вообще-то никакого отношения к тому, что он писал, не имеет, вот если вы дадите себе труд самого Дарвина почитать, то вы убедитесь. А я убедилась, когда это началось. Школьницы стали против Дарвина в суде выступать! И почитала я Дарвина и подивилась, во-первых, тому, как он умен, а, во-вторых, ничего он не писал там такого, в чем его обвиняют. У него слово Творец с большой буквы на каждой третьей строчке, это во-первых. Во-вторых, он никогда не писал, что человек произошел от обезьяны. Что мы родственники – так ясно, что мы родственники, у нас 99 (и после запятой еще несколько знаков) общих генов. Так я еще вас расстрою, что у нас 50% общих генов с дрожжами. Стало быть, когда вы утром круассаны едите, то имейте в виду, что это родственники. Поэтому об этом же речь не идет.


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

Nov. 18th, 2009

Юбилей

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

Подробно об арбидоле

http://www.novayagazeta.ru/data/2009/111/23.html

Прочитанное

Shapiro, Thinking about mathematics. Введение в философию математики. В начале ставятся два основных вопроса: "Существуют ли математические объекты?" и "Имеют ли математические утверждения истинностные значения?". Рассматриваются главные направления ф.м. в хронологическом порядке -- от Платона до структурализма -- и для каждого излагаются основные идеи, уделяя особое внимание ответам на эти вопросы.

Две вещи мне не понравились: 1) Узнал для себя мало нового. 2) Очень много повторений. Не раз думал "Я уже знаю, что Гильберт думал об этом вопросе, потому что это было написано 50 страниц тому назад. И ещё раз 30 страниц тому назад. И ещё раз 15 страниц тому назад."

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

С другой стороны, рецензии на Амазоне очень положительные.

Nov. 16th, 2009

Слегка напомнило Эгана

Славен, славен город Сатринакар, вместилище многих портов, библиотек и активных компонент! Не счесть его жителей - задолго до конца счёта их число изменится!

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

Nov. 10th, 2009

Исключение подтверждает правило

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

Идея происходит от защиты Цицероном Люция Корнелия Бальба Старшего, которого обвиняли в незаконном получении римского гражданства. Обвинитель привёл примеры договоров Рима с некоторыми племенами, которые запрещали давать их членам гражданство и предложил сделать вывод, что гадитанцам гражданства тоже давать нельзя. На что Цицерон ответил: «Quod si exceptio facit ne liceat, ubi non sit exceptum, ibi necesse est licere» («Поскольку это исключение делает принятие в гражданство незаконным, то отсутствие такого исключения необходимо делает его законным»).

В средние века юристы обобщили этот принцип до «exceptio probat regulam in casibus non exceptis» («исключение подтверждает правило в неисключённых случаях»). То есть если на в коридоре мехмата висит объявление «В День Пифагора занятия заканчиваются в 14:00», то мы знаем, что в другие дни они в 14:00 не заканчиваются (если, конечно, не висит соответствующее объявление). А если на улица стоит знак «В воскресенье парковка запрещена», то в среду под ним можно парковаться.

Потом последняя часть отпала и получилось знакомое «исключение подтверждает правило».

Nov. 8th, 2009

Лекции Алексея Миллера на polit.ru

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

Историческая политика
Историческая политика: update

Почему все континентальные империи распались в результате Первой мировой войны

Империя и нация в воображении русского национализма. Взгляд историка.

Империя Романовых и евреи

Цикл "Россия-Украина: как пишется история". Несколько в другом формате, совместно с украинским историком Георгием Касьяновым.
Часть 1. Голодомор
Часть 2. Вторая мировая война
Часть 3. От Хмельницкого до Мазепы
Часть 4. Между Гражданской и Второй мировой
Часть 5. Первая мировая
Часть 6. Российская Империя

Nov. 2nd, 2009

Задача

В прошлом посте с задачей анонимный комментатор предложил ещё одну.

При исследовании барьеров обучения один из испытуемых предложил следующий алгоритм сортировки массива: "Нужно просто двигать элементы, пока не получится правильный ответ." Уточним этот алгоритм таким образом:
Пока (массив a не отсортирован) {
  Выбрать два случайных индекса i и j в массиве;
  Поменять a[i] и a[j] местами;
}

1. Какова в среднем сложность работы этого алгоритма?
2. Как она изменится, если менять местами элементы только тогда, когда больший из них имеет меньший индекс?

О гриппе и масках в частности

Читаю довольно многих врачей, и говорят они примерно одно и то же:

http://www.komarovskiy.net/blog/svinoy-gripp.html

http://botalex.livejournal.com/44828.html

http://uncle-doc.livejournal.com/175541.html

http://galimsky.livejournal.com/448730.html

http://tanchik.livejournal.com/410097.html
http://tanchik.livejournal.com/410326.html
http://tanchik.livejournal.com/410469.html

Previous 50 | Next 50

October 2012

S M T W T F S
 123456
78910111213
14151617181920
21222324252627
28293031   

Page Summary

Syndicate

RSS Atom
Powered by LiveJournal.com