Artificial Intelligence Review

Сравнение разных стран

Mon, 30 Nov 2009 00:08:33 GMT

	Против	За
Австралия, Новая Зеландия	?	Климат, дешевизна
Евросоюз (континент)	Высокие налоги	Образование, медицина, экология
Великобритания, Ирландия	Дороговизна, климат	Медицина, экология
Израиль	Нестабильность, войны	Климат, море
Канада	Климат	Медицина, экология
Россия	Коррупция, экология, криминал	Низкие налоги
?	?	?
США	Медицина, высокие налоги, войны	Климат, образование, дешевизна
Япония	Дороговизна, климат	?

Хотелось бы уточнить и дополнить таблицу информацией. Для каждого государства допускается максимум 3 за и 3 против доводов.

go: Первые впечатления

Wed, 11 Nov 2009 13:55:39 GMT

package main
import fmt "fmt"

var HelloMsg string; //global variable

func printer(){      //thread
    fmt.Fprintf(HelloMsg);
}
func main(){
    HelloMsg = "Hello, new world!";
    go printer();    //fork thread
}

Язык масимально напоминает С с примесью чего-то паскале-адовского. Читаемость кода получается не лучше, скорее даже чуть хуже чем в С. Однако, язык в отличии от С имеет нормальный grammar (видимо без ambiguities?) что позволяет добиваться быстрой компиляции. Система мульти-срединга вставленна в средства самого языка. Присутствует так же и гарбадж-коллектор (интересно, насколько эффективный?), остутствует арифметика указателей. Язык задуман быть лёгким для компиляции и довольно портируемым. Интересно бы было посмотреть результаты тестов производительности и сравнить с С/C++ программами.

Рождаемость в Германии

Sun, 08 Nov 2009 12:45:46 GMT

Большинство женщин рожает в среднем в возрасте 30-31 год. Десять лет назад это был возраст 29 лет, а 40 лет назад такой средний возраст был 25 лет. При этом ожидаемая средняя продолжительность жизни новорождённых мальчиков 76.6 лет, а у девочек 82.1 года.

Когда матплотлиб не установлен, а нужно быстро "увидеть".

Wed, 04 Nov 2009 16:28:20 GMT

In [57]: a={1:0, 2:1, 3:3, 4:6, 5:10}

In [58]: for i in xrange(6,1000):
   ....:     a[i] = a[i-1]+(i-1)
   ....:

In [59]: ['*'*(i/5000)+str(i) for i in list(a.values())[::100]]
Out[59]:
['0',
 '*5050',
 '****20100',
 '*********45150',
 '****************80200',
 '*************************125250',
 '************************************180300',
 '*************************************************245350',
 '****************************************************************320400',
 '*********************************************************************************405450']

Учёные шутят

Thu, 29 Oct 2009 12:49:27 GMT

Что подумает человек, который "не в теме", услышавший случайно следующее:

Мы накормили её образцами, но она слишком долго переваривает.
Придётся сделать ей оптимальное повреждение мозга.

Бумага и Экономия

Wed, 28 Oct 2009 10:58:56 GMT

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

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

Цена на золото

Wed, 21 Oct 2009 12:45:22 GMT

Все кто вложился в золото года так 3-4 назад, сейчас практически удвоили свои вложения. Однако из графика явно видно что долговременный moving average явно ниже, так что цена будет вскоре сильно опускаться.

Экзопланеты 2009

Mon, 19 Oct 2009 22:12:28 GMT

Количество открываемых новых планет в год. В этом году уже рекорд.

Источник

Относительная сложность

Fri, 16 Oct 2009 13:16:10 GMT

Интересно, почему мы пользуемся в основном 32х или 64х (иногда и 128и) битными целыми числами? Конечно, для ответа нужно учесть историю развития процессоров, компиляторов, возможности технологии, и потребности человека. Переформулирую - почему же тогда такие потребности? Почему в большинстве задач 32 бита (т.е. +/- 2 миллиарда состояний) для обозначения уникальности-порядка вполне достаточно? Скажем, на некоторой планете X величина сложности может быть иной и 32 бита не хватит даже для решения элементарных задач (например нам 4х бит явно мало:)).

Причин много - но вероятно какая-то степень сложности окружающего нас мира и нас самих играет в этом решающую роль.

Скалярное умножение в разных языках

Wed, 14 Oct 2009 19:02:17 GMT

Т.к. это одна из самых частых операций над векторами, интересно сравнить её различные варианты на различных языках:

Python:

u = [1.0, 2.1]
v = [0.2, -5.2, 1.3, 0.88]
def dot(x,y):
return sum(i[0]*i[1] for i in zip(u,v))
print "result=", dot(u,v)

На питоне старше-или-равно 3й версии, последняя строка должна быть print( "result=" + str(dot(u,v)))

VHDL:

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;

entity dots is
end dots;

architecture test of dots is

type vecN_t is array (integer range <>) of Real;
constant u:vecN_t:=(1.0, 2.1);
constant v:vecN_t:=(0.2, -5.2, 1.3, 0.88);

function dot(x:vecN_t; y:vecN_t) return Real is
    variable a: Real := 0.0;
begin
     if (x'length > y'length) then
       for i in y'range loop
         a := a + x(i) * y(i);
       end loop;
     else
       for i in x'range loop
         a := a + x(i) * y(i);
       end loop;
     end if;
    return a;
end dot;

begin
process
    variable result: Real;
begin
    result := dot(u, v);
    assert false report "result=" & Real'Image(result) severity note;
    wait;
end process;
end test;

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

C:

typedef double vec1_t;
typedef vec1_t vecN_t[];

#define max(a,b) \
          ({ typeof (a) _a = (a); \
                 typeof (b) _b = (b); \
               _a > _b ? _a : _b; })

#define min(a,b) (-max(-a,-b))

#define dot(x,y,a) \
{\
        int __i; \
        for(__i=0, a=0;__i<min((sizeof(x)/sizeof(vec1_t)),(sizeof(y)/sizeof(vec1_t))); __i++) \
                a += x[__i]*y[__i]; \
}

vecN_t v = {0.2, -5.2, 1.3, 0.88},
             u = {1.0, 2.1};

int main(void)
{
        vec1_t result;
        dot(u,v,result);
        printf("result=%f \n", result);
        return 0;
}

Этот код работает с GCC, который уже хорошо поддерживает C99, поэтому возможна непереносимость кода.

PS: всем типам я даю названия vecN_t где N количество элементов. Для неизвестного заранее количества элементов указывается N. Все примеры работают с произвольным количеством элементов.

Из инженеров в финансы

Tue, 15 Sep 2009 16:18:53 GMT

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

Лекарство от безработицы

Mon, 14 Sep 2009 10:32:09 GMT

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

AI 201X Roadmap

Sun, 06 Sep 2009 22:46:21 GMT

Текущая ситуация с технологиями обозначенна ярко движением в сторону ubiquitous intelligence когда практически все и даже довольно примитивные устройства обработки информации интегрируются в глобальную сеть знаний планеты. Мобильность востребованна и экономически сильно стимулирует развитие и остальных прикладных отраслей. Производительность труда во многих отраслях продолжает расти за счёт перехода на контрольные и управляющие системы, интегрированные в сеть. Ситуация будет интенсифицироваться дальше и в следующем десятилетии.

В то же время, интерфейс между пользователем и вычислительной системой пока не претерпевает существенных улучшений - только в направлении от сети к человеку заметен незначительный прогресс. В ближайшие годы возможно ситуация начнёт меняться, т.к. универы и лабы довольно много сил бросают сейчас на решение проблем распознования паттернов. На мой взгляд однако, ситуация быстро начнёт меняться лишь когда NP проблемы начнут решаться за приемлимое на практике время - тут возможно помогут наследники нынешних FPGA, которые будут представлять из себя нечто симбиозное в виде SDRAM с интегрированными Processing Units и даже MEMS. Не стоит и забывать что весь мир уже сколько лет сидит в заложниках всего нескольких компаний, среди которых самая известная конечно Intel, быстрее всего снижающая размеры нанометровых структур.
Вполне понятно сегодня, что многие задачи так же не решаемы эффективно по причине отсутсвия прямых взаимосвязей между отдельными областями обработки/хранения информации. Поэтому расходы на кэш, на обход всех остальных ботлнеков выливается в практическую непригодность вычислений по распознаванию образов в реальном времени. Думаю, в область кремниевых нанотехнологий как-раз и следует направлять усилия, но к сожалению рынок уже монополизирован до предела и ситуация смахивает на застой - возможно только Китаю удастся в следующее десятилетие что-нибудь изменить (если Xilinx их не купят с потрохами).

С другой стороны, многие же заняты не только гипотезой Риманна, но и решением насущной P=NP проблемы. Большинство атакует её через NP-complete и PSPACE задачи, хотя в последнее время появилось много экстравагантных предложений, впрочем пока всё безрезультатно. Большинство убеждено что P!=NP. С другой стороны, доказательство позволит не только оптимизировать практику. Понимать границы возможного, закрепляя это доступными формальными методами, позволяет ориентироваться в направлении развития, решать куда двигаться, планировать, создавать стратегии.

Лирическое настроение

Wed, 19 Aug 2009 08:23:35 GMT

Ode to the continuum

My finite world I have created,
Some rules, some objects within placed.

I've started count them and soon,
I've realized it would be cool

If this process I'll do forever
And no results of my endeavor

Will be complete and ever known -
World's destiny will be its own.

Definite laws, countable objects,
Complexity of systems, interactions,

Their correlations with each other
Give birth to something strange as fractions.

And these new creatures come to play
Entangling turns this world could take:

The real numbers, transcendental Pi,
The e pass through the world of mine.

The countable hence will be dismissed,
The continuous emerges, world's squeezed.

Now, in this infinite ensemble
I cannot even find a symbol

Of the uniqueness, independence,
Inhabited by weird creatures,

My world of sudden transformations
Possess no rules more, no relations.

No objects more, no closed forms,
The continuous is now world's norm...

Открытое общество

Fri, 14 Aug 2009 16:02:02 GMT

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

Живой Сатурн

Thu, 13 Aug 2009 19:08:42 GMT

Часть полярного гексагона на одном из полюсов Сатурна (сам гексагон виден лишь частично). Напоминает нечто живое видимое через микроскоп.

Как Кеплер обнаруживает новые планеты

Sun, 09 Aug 2009 21:22:51 GMT

Поиск планет Венеро-Земного класса потребует многолетних наблюдений за звёздами-кандидатами. Кеплер наблюдает одновременно за множеством таких звёзд и всего за пару месяцев работы обнаружил одну планету-гигант (HAT-P-7b). Результаты помогут расчитать вероятность существования планет земного класса и плотность распространения жизни и интеллекта во вселенной (не обновляемой ещё со времён К.Сагана).

Стандартные процедуры

Wed, 05 Aug 2009 06:52:11 GMT

На любом новом рабочем месте я выполняю стандартные процедуры: настраиваю .bashrc и .vimrc, устанавливаю аддоны в файрфокс, выдираю все кнопки с клавиатуры между Ctrl и Alt (не из идеологических убеждений, а просто мешают быстро печатать).

Solving a Hamiltonian Path Problem with a bacterial computer

Sun, 26 Jul 2009 10:47:53 GMT

http://www.jbioleng.org/content/3/1/11/abstract

Интервью с Гуглом

Thu, 16 Jul 2009 17:24:26 GMT

В прошлом месяце у меня было два интервью с ребятами из гугла. Сначала мне написал один человек и сообщил что они набирают людей в Дублин. Я проявил интерес и через неделю состоялось первое интервью. Мне позвонила девушка из израйльского HR и задала всего четыре простых вопроса:
1) Дан массив из 10000 элементов типа int16 каждый и неограниченная оперативная память. Необходимо найти общее количество бинарных единиц всех элементов массива самым быстрым способом.
2) К какому классу сложности относится Quick Sort ?
3) Расположить в порядке увеличения затрачиваемого времени на: чтение из регистра процессора, контекст-свитч, чтение из кеша процессора, чтение из кеша жёсткого диска.
4) Что означает "void *smth;" ?

После этого (я дал все верные ответы кроме первого), мне назначили следующее интервью уже непосредственно с инженерами. Через две недели мне позвонили из швейцарии в форме конференц-кола с двумя софт-инженерами. В этот раз интервью длилось около часа и в течении его требовалось решить несколько задач и ответить на ряд вопросов:
1) Что такое MTU? Что происходит в драйвере если поступающий пакет превышает MTU?
2) Что такое virtual directory? Как связыванны доменные имена с виртуальными каталогами?
3) Если ввести в баше следующую строчку: "mkdir a; cd a; touch b; ls > c; cat c", то что выдаст консоль? Почему так а не иначе? Перенаправление потока происходит в баше или в ядре? Что такое VFS? Как представленны файловые дескрипторы непосредственно в ядре?
4) За 3 минуты написать алгоритм уровня сложности O(n) для решения такой задачи: дан массив разных неотсортированных элементов - требуется убрать все дубликаты элементов. На любом языке (я делал на питоне, затратил дольше времени чем 3 минуты).
5) Объяснить механизм работы binary search tree. К каким классам сложности принадлежат операции над этими структурами? Как эффективно (ближе к O(lg) или к O(n)) преобразовать предыдущий массив?
Плюс ещё несколько вопросов, уже и не вспомню о чём. В целом, интервью прошло нормально, я ответил процентов на 70 правильно, а вот с задачей немного запарился и только с помошью подсказок решил кое как :)

Зарплаты насколько я знаю в Гугле неплохие, но предлагаемая позиция была несколько не совсем то, чем я хотел бы заниматься. Сам же переезд в Дублин так же затруднителен да и большого желания у меня нет - вот в Цюрих уже другое дело :)

Вывод из всего сказанного: Вопросы уровня первого-второго курса (data structures and algotithms). Уровень английского не важен - сами интервьюеры говорят порой неясно и аккустически иногда трудно понять вопросы.

Возобновляемая энергия

Thu, 18 Jun 2009 12:55:13 GMT

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

О природе математики

Mon, 01 Jun 2009 19:51:15 GMT

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

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

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

Таким образом, математика относительна и, возможно на планете X у существ Y совершенно иные простые числа.

Как установить браузер Chromium в Ubuntu

Sun, 31 May 2009 07:47:49 GMT

Chromium - это оупенсорнсый браузер от гугла. Браузер уже вполне работоспособный и в Убунте устанавливается следующим образом:

1) На странице
https://launchpad.net/~chromium-daily/+archive/ppa
выбрать свою версию убунты в строке "Display sources.list entries for:"

2) Скопировать две сгенерированные строки и добавить их в файл
/etc/apt/sources.lst

3) На той же веб-странице кликнуть на линк сразу после слов This repository is signed with, затем скопировать текст, выделенный жирным шрифтом после 0x не включая апостроф.

4) В терминале сделать:
sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com ВСТАВЛЕННЫЙ_ТЕКСТ
т.е. должно выйти что то типа:
sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com B0BE17C2A0C914F086B7B8327D2C7A23BF810CD5

5) sudo aptitude update

6) sudo aptitude install chromium-browser

После этого в Applications->Internet появится "Chromium Browser". На первый взгляд, работает заметно быстрее чем Firefox. Но без привычных плагинов и флэша толку от него мало. С другой стороны, для скажем старых слабых машинок может оказаться полезным.

Простые числа

Thu, 28 May 2009 16:05:27 GMT

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

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

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

Space Exploration Day

Wed, 27 May 2009 10:05:24 GMT

20 Июля состоится замечательный юбилей - 40 лет со дня первой высадки человека на Луне. Астронавт Нил Aрмстронг - первый землянин, ступивший на Луну. В этом году ему исполнится 79 лет. 40 лет назад, ступив на поверхность Луны, он произнёс фразу: "Небольшой шаг для человека, но гигантский прорыв для всего человечества".

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

Вот здесь собираются подписи за то, что бы день 20 Июля стал национальным днём космонавтики в США.