Santa Cruz Operations

Ветераны помнят. Были такие боевые, судились со всем миром насчет линукса.

Жизнь продолжается, однако.

"On February 26, 2016, SCO and IBM filed a joint motion for final entry of judgement against SCO. This enables SCO, if it wishes, to appeal the partial summary judgements in favor of IBM. Due to its bankruptcy, its only remaining asset is its right to appeal the failure of its legal claims against IBM."

http://www.groklaw.net/pdf4/IBM-1162.pdf 

25 байт!

Расстояние между точками на поверхности Земли Вычисление расстояния между точками на поверхности земного шара. >>

ЭКР 25 байт

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

Перед началом работы следует установить размерность тригонометрических функций - градусы (ГРАД).

Далее необходимо ввести в стек координаты точек: (широта пункта 1) В^ (долгота пункта 1) В^ (широта пункта 2) В^ (долгота пункта 2) и нажать клавиши "В/О", "С/П". После останова программы в регистре стека X - расстояние между точками по поверхности Земли в км. 

http://mk.semico.ru/mkpr_r4.htm



Правда, файл не 25 байт, а 201.

Но старинное слово "останов"! Регистр стека!

И сколько ж все это стоит, интересно.

Goodstein, Hydra, a question

http://math.andrej.com/2008/02/02/the-hydra-game/

My question actually is this: can Goodstein sequence to be proven to stop in a lambda calculus? Naively, it should be.

And another question: can set theory be modeled in lambda? (Or should I reread Dana Scott's works?)

дыбр

Вот вторник, да. Можно не ходить на работу. Но пришлось. Но успел хотя бы несколько плашек присандалить к ступенькам. Три еще осталось.

Ехал, слушал сначала бранденбургские, потом Radio Amor, там смешно развлекали. И опять же Ана Габриэль, вах.

В 4:30 мы собирались встретиться с Хуаном Эскобаром из одной очень интересной конторы (где автоматическая онтология). В coupa coffee. Я когда собрался, понял, что не брит; пошел побрился, порезался, приложил бумажку, и пошел на встречу с Эскобаром в таком виде, как будто мне кто-то хотел горло перерезать. Он пришел на 12 минут раньше, а я на 11. Окей, сидели чесали языками. Я ж тоже канаю под Хуана иной раз.

Все это мы перетерли, потом про их продукт, то да се; он интересуется, как там у нас.

И тут я понял. Дошло до меня, о великий царь. Он со мной связался не ради чтобы меня в свою контору сманить, а чтобы нашпионить про нашу контору. А я ему такой - да все наши ушли, я не знаю, с кем и связываться, сижу примус починяю. А ему надо насобачиться, как их онтологию с нашей сынтегрировать. А если я не продаюсь, то они и не покупают. Нет, ну ребята, какой из меня шпион, какой из меня дядя Юра. Я ж на первом допросе... тем более, мне пох. Так что под конец сказал ему, что мне уже в университет надо, и убежал.

В университет-то мне надо было гораздо раньше, под ихним випиэном зафайлить всякую дурь (тьфу, зачем мне это все?); но уже трафик, уже тащился хз сколько времени; мало того, waze впал в панику, и посылал меня "а давай вот на эту дорогу", "нет, заезжай сюда в жилой квартал, развернись там, и давай обратно, я передумал". Успел, правда, но это уже спасибо не вейзу, а моему упорству. Еще раз он так сделает - и выкину нах.

Студенты сдали домашку, ладно. Впаривал им Пеано. Конечно, с непривычки доказать коммутативность сложения не шутка. Уже не говоря о коммутативности умножения.

Одна студентка, наглая дуреха (двоешница), фотографирует мои слайды. Э, девушка, вы про интернет слыхали? Силлабус видели? Все линки доступны.

Впарил им и последовательность Гудстейна. Потом включил кино "про лямбду". И на этом закончил; густовато же.

После уроков сначала один хороший китайский студент просил еще раз доказать, что 1 != 2 в Пеано; потом другой, Раян, просил повторить доказательство коммутативности. Вот пример человека, который сразу не врубается, но не уйдет, пока не врубится. Уважаю. Образцовый китайский студент. Вообще-то он, очевидно, ABC.

Вот, и поехал домой; а, заправиться надо было. Заправлялся, громко играл музыку по Radio Amor. Ну люблю же я их, уже больше 20 лет как (раньше они Recuerdo назывались).

Дома что, подруга сделала мне чай с пенкой (молоко взбитое), и все, и в душ.

Скоро 11. Подруга делает испанский, а я только один урочек сейчас, да и все, basta para la noche.