http://en.wikipedia.org/wiki/Temporal_logic_of_actions

Manhunt (25.01.2010 1:59:07)

If Microsoft ever does applications for Linux it means I've won.

Linus Torvalds

vertexua (25.01.2010 12:10:03)

Темпоральная логика судя по названию, добавляет к Истине и Лжи еще варианты "Когда рак на горе свистнет" и "После дождичка в четверг"

FatBastard (25.01.2010 12:10:28)

По ходу тупое быдло таки окончательно захватило лор -_-

Сабж сделал Microsoft _Research_

GAMer (25.01.2010 12:13:54)

Занятно.

sv75 (25.01.2010 12:23:12)

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

MuZHiK-2 (25.01.2010 12:27:33)

Эта тулза лично мне не нужна. Кому то может нужна? Не стесняемся.

Ждем еще софта, авось что-то достойное новости на лоре.

vertexua (25.01.2010 12:31:12)

ОН?

QUANTUM (25.01.2010 12:31:19)

По чуть-чуть...

vertexua (25.01.2010 12:31:44)

40 метров, что можно туда запихнуть?

lester_dev (25.01.2010 12:33:29)

>>Эта тулза лично мне не нужна. Кому то может нужна? Не стесняемся.

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

MuZHiK-2 (25.01.2010 12:33:34)

Угу, они понимают, что ОН неизбежен =)

Lindows (25.01.2010 12:33:48)

>>Угу, они понимают, что ОН неизбежен =)

Не волнуйся, ОН даже близко не подошел. Наоборот, в последнее время он только отдаляется.

MuZHiK-2 (25.01.2010 12:34:52)

Юрий, перелогиньтесь.

Рубрику посмотри, да?

ChALkeR (25.01.2010 12:37:42)

Тогда зачем им писать что-то вообще под открытыми лицензиями?)

Lindows (25.01.2010 12:38:53)

Предвижу тред в >20 глав.

ОН! ОН вернулся! :)

shty (25.01.2010 12:42:12)

Temporal logic of actions (TLA) is a logic developed by Leslie Lamport

Leslie Lamport == LaTeX

> Не волнуйся, ОН даже близко не подошел. Наоборот, в последнее время он только отдаляется.

Кони несут вперед и в обрыв,
Вот это напор, вот это надрыв!

PS а ведь психиатр рекомендовал тебе поубавить экспрессию :)

Manhunt (25.01.2010 12:45:28)

На этом можно переписать машину времени для LOR?

Biga (25.01.2010 12:47:31)

>>Рубрику посмотри, да?

Ну это они пока, потом откроют, тем более у них есть port25.

MuZHiK-2 (25.01.2010 12:48:07)

>>Тогда зачем им писать что-то вообще под открытыми лицензиями?)

Грамотные корпорации смотрят еще и вперед.

MuZHiK-2 (25.01.2010 12:48:54)

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

Fixed.

>Грамотные корпорации смотрят еще и вперед.

Угу, все верно. Майкрософт в данном случае видит ЕГО.

Lindows (25.01.2010 12:55:53)

Microsoft Research!=Microsoft

timth (25.01.2010 12:56:54)

Я уточнил, что мне не надо. Попросил кого-нибуть отписать кому надо. В чем проблема?

vertexua (25.01.2010 12:57:35)

> Темпоральная логика судя по названию, добавляет к Истине и Лжи еще варианты "Когда рак на горе свистнет" и "После дождичка в четверг"

Если в классической логике пример if (рак на горе свистнул) { Истина } как будет выглядеть в TLA ? :)

Кстати где применяется TLA ?

Под какой лицензией? Есть ли в репо? Или как всегда, без кряка и бубна не запустишь?

LightDiver (25.01.2010 13:00:52)

Понятно, что MS Research это не M$, но зачем это им надо? Они что, сами Windows на Linux сменили? (хотя, учитывая, на каких компьютерах с какими ОС _настоящие вычисления_ производятся, то Linux-версия неудивительна)

"Темпоральная логика" - как красиво звучит...
Тогда так: "Одно из рисерчевых департаментов компании Microsoft зарелизило (задиплоело) Linux-версию интегрированного дивелопментового энвайенмента - для девелопинга и чекинга спецификаций языка" - далее по тексту - там и так ни слова по-русски.

TI_Eugene (25.01.2010 13:24:41)

> Если в классической логике пример if (рак на горе свистнул) { Истина } как будет выглядеть в TLA ? :)

Скорее if ( Истина and рак на горе свиснул ) { Истина } else { wait_for_rain(thursday); }

FatBastard (25.01.2010 13:30:10)

>Если в классической логике пример if (рак на горе свистнул) { Истина } как будет выглядеть в TLA ? :) (рак на горе свистнул)U(истина)

> Кстати где применяется TLA ?
Может нейро-сети?

Nao (25.01.2010 13:57:26)

Что то я не понял а где спецификации языка? А то Promela страшная, думаю на что можно заменить...

theos (25.01.2010 13:58:50)

>Кстати где применяется TLA ?

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

theos (25.01.2010 13:59:29)

Китайская поговорка гласит: "Если не можешь победить врага, то обними его так крепко, чтобы он не смог вынуть своего оружия".

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

>Темпоральная логика

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

theos (25.01.2010 14:01:47)

Прямо скажем, не одно из, а единственное.

Ну и не в первый раз они под линукс пишут.

jackill (25.01.2010 14:02:06)

Microsoft Research (MSR) — подразделение корпорации Microsoft, созданное в 1991 году для исследования различных вопросов и тем в области информатики. Здесь в данное время работают обладатели премии Тьюринга Чарльз Хоар и Батлер Лэмпсон, обладатель Филдсовской премии Майкл Фридман, обладатель Премии МакАртура Джим Блинн, обладатель Премии Дейкстры Лэсли Лэмпорт, а также множество других высокоцененных экспертов в области информатики, физики и математики, включая Джима Грея до его исчезновения во время мореплавания.

>Грамотные корпорации смотрят еще и вперед.

Т. е. сливают винду и переходят на линукс?

kraw (25.01.2010 14:07:53)

Замечательная пословица... только вот нужно еще смочь обнять... они, извините тупы, чтобы понять одно... люди выбравшие "unix way" НЕ ПОХОЖИ на их клиентов. В большинстве своём это грамотные специалисты, и те, кто умеет правильно интерпретировать сказанное.

во-первых, баян
во-вторых, M$ Research и M$ - 2 большие разницы

PayableOnDeath (25.01.2010 14:20:33)

Ты идиот? Или так троллишь?

>во-вторых, M$ Research и M$ - 2 большие разницы

>Microsoft Research (MSR) — подразделение корпорации Microsoft

В новости так и написано, причём тут разница?

Открытый != свободный, ну сколько можно уже. Вот если мелкомягкие будут выпускать продукты под _свободной_ лицензией - то (если удовлетворят в плане юзабильности и стабильности) почему и не пользоваться ими?

Chaser_Andrey (25.01.2010 14:28:25)

+1 Нет разницы от кого продукт, главное чтоб он был чистым и нужным.

на заборе тоже много чего пишут

PayableOnDeath (25.01.2010 14:38:25)

> включая Джима Грея до его исчезновения во время мореплавания.

Таки начали пропадать! Передел голов?

valich (25.01.2010 14:42:08)