Category: путешествия

Category was added automatically. Read all entries about "путешествия".

with Cat The Cat

Всякое разное про отпуск и работу.

Съездили в Италию, в Финале Лигуре, что на Лигурийском море, через Милан. В Милан попали на начало недели моды, поэтому в воскресенье любовались выставкой машин на одной из главных улиц Милана - от мельчайших Фиатов и даже Изетты, до Хуяры, да простится мне вольность в написании имени этой модели.

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

("легендарное" выше - это "преподносимое нам пропагандой")

Обгорел.

Финале Лигуре можно обойти за час по периметру весь. И там, как минимум, три замка в периметре, один просто близко и ещё один чуть дальше, на горе. Пять штук на десяток квадратных километров.

Местность в Финале умеренно пересечённая. Мы даже сходили в гору, пусть и невысоко, что оказалось легче, чем я мог подумать - я смог не отставать от дочки 17 лет с 5-тилетним Василием на плечах. Думается мне, что на побережье Италии легко поддерживать выносливость или её приобретать.

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

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

В общем, мне понравилось. ;)

По работе работаю с SPIN. Читатели моего твиттера знают об этом, ибо твиттер предназначен для стонов.

Promela, входной язык SPIN, довольно неортогонален. byte a[10] это массив байтов, но chan c = [10] { byte}; это канал передачи байтов с очередью в 10 элементов максимум. А массив из пяти каналов будет chan [5] qs = ....

В канал можно подсматривать сравнением с образцом, но сравнивать можно только целые - структуры данных пользователя уже разобрать сравнением с образцом нельзя.

Можно объявить структуру данных с массивом, но передавать такие данные нельзя.

И тд, и тп.

Но самое интересное вот: в SPIN конструкция вида if (cond) act; при ложном условии cond не только не выполнит act, но и не пропустит выполнение дальше! Поэтому всегда надо делать аналог if (cond) act; else skip; - тогда сработает ветка else, выполнится skip (как null в Ada) и управление передастся на код после if.

При этом товарищи специализируются на доказательстве свойств кода на Си. С таким-то отличием поведения. ;)

В общем, интересно. Старые технологии поинтересней новых будут.
with Cat The Cat

Побывал в Китае.

Вот уж совсем иностранная страна!

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

Например, великолепный чай каждый день. Такого плана что-то.

А решил я этот пост написать вот поэтому. Из того, что я наблюдал в Китае, это соответствует национальному характеру. ;)
with Cat The Cat

Читая прицельно некоторые блоге на Жуйке...

...наткнулся на упоминание мелатонина для засыпания.

У нас есть ещё и гормон орексин, уровень которого колеблется с уровнем сахара в крови. Чем больше в крови сахара, тем ниже орексин - тем сильнее тянет спать.

Поэтому после перелета надо скушать длительных углеводов в виде вкусных макарон или риса (суши) и заесть мороженым (чтобы быстрее стукнуло).

Это придется как-то израсходовать на тренировках (или где ещё) после, но это уже другая тема. ;)
with Cat The Cat

SSA book и прочее.

http://ssabook.gforge.inria.fr/latest/ - сборник статей-глав книги по разным представлениям компиляторов, включая SSA, Program Dependence Graph, Gated SSA, Value State Dependence Graph, Array SSA и прочим.

Что-то я наткнулся на проблему с насыщением равенствами. Причём я даже показать граф не могу - снова graphviz рушится. ;)

Вот программа (код полностью тут):
data List a = Nil | Cons a (List a)

-- это преобразуется в naiveRev = \xs -> ...
naiveRev xs = case xs of
	Nil -> Nil
	Cons x xs1 -> listConcat (naiveRev xs1) (Cons x Nil)
listConcat xs ys = case xs of
	Nil -> ys
	Cons x xs1 -> Cons x (listConcat xs1 ys)
Вызов naiveRev ссылается на определение naiveRev и моё правило appAbs пытается запихнуть туда что-то странное.

В общем, застрял.

Ну, и ладно.

На тренировке в понедельник ошибся и повесил на штангу для жима лёжа 120 кг вместо 110. Поскольку в приседании до этого мне было тяжеловато, то я ничего не заподозрил и пожал необходимые 10 раз, два подхода. Обнаружил ошибку только в процессе разбора штанги.

Вчера то же самое произошло на приседаниях, превысил вес на 10 кг, только на второй подход меня не хватило - во время подъёма на 6-м повторении меня повело вперёд и я поставил штангу.

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

Несмотря на это, тренировка под названием Hypertrophy Specific Training работает. ;)

Что ещё раз доказывает необходимость спорта - чтобы хоть где-то что-то шло по плану или близко.