TLA Toolbox теперь доступен и под GNU/Linux

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

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

Linus Torvalds

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

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

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

Занятно.

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

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

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

ОН?

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

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

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

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

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

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

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

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

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

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

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

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

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

Leslie Lamport == LaTeX

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

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

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

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

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

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

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

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

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

Fixed.

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

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

Microsoft Research!=Microsoft

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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