![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Ходили утром в магазин, потому что еда уже кончилась, а мы не в Отеле на пять звездочек на Ринге, как тут некоторые по линкам. Зато мы ходим и видим, и нас спрашивают про Цветаеву и Брюсова. Подите спросите этих чуч про Цветаеву и Брюсова; предположительный ответ будет: "шо?"
Ну это ладно; поверьте, я не смеюсь, не завидую, а просто развлекаюсь.
Итак, купили там колбаски, хлебушка, помидорок, малины... ну и какой-то еще выпечки, это ж Вена. Вот на завтрак и ели это все. Творожок со сметанкой и малиной, все такое. Ах.
Поехали в Art Museum. Подруга там уже успела все залы обойти, шесть часов там провела. Так что меня таскали только по избранному. Второй этаж, Дюрер, Кранах, Рембрандт, Тициан, все-все-все. Веласкес, первый импрессионист планеты. На фоне двух двойняшек-головорезок, Эсфири и Саломеи, я и сфотографировался на селфи. Фотки потом.
Первый этаж, где древности, проходили уже бегом, тем более, что эти египетские саркофаги я и с прошлого года еще помню, и портреты фаюмские, и всех этих; мне показали, как греческие терракотовые скульптуры выглядят сзади. Да никак, дырка квадратная сзади, и все так приблизительно.
На улице уже жарища стояла уже.
Мы пробовали зайти в парламент поглазеть на это все, но там за деньги; а, в следующий раз. Пошли зато, согласно плану, в университет, обедать в госстоловке. В меню три выбора комплексных. Картофельные пельмени, или шницель, или отварная говядина. Взяли шницель и пельмени, всего на 13 баксов. Кофе столько же стоит, сколько порцайка. Сидели ели у них там на крыше; это столовка на верхнем этаже, и с видами на церковь, на крыши, на все такое. Фотки потом.
Спустились вниз, пошли на пароход, по речке прокатиться (по дунайскому каналу). Но по пути еще зашли поесть мороженое, в кафе на набережной. Мороженое и чай. Уже объелись всего этого сладкого, объелись. Но вкусно! У нас так вкусно не делают.
Пароходный тур полтора часа; мы думали по кругу, но шел только вверх до шлюза, и обратно. Пили пиво, глядели на знакомые пейзажи.
Уже типа начинается ностальгия.
Пошли в Миттен покупать туфли. Подруга купила две пары в одном магазине, пошли в другой магазин. Я сидел пытался разобраться, почему это
Там еще дверь с такой же надписью, потом длинный такой лабиринт, а в конце я как будто в Сан Франциско попал. Сидят люди с лаптопами, разговаривают по-английски, один на стенку проектирует код. Оказывается, у Этереума свой язык. Вот. Свой язык. Ну там поговорил с ними чуток, да пошел обратно. Как раз в пять минут уложился - как домой сгонял.
Больше туфлей не купили; а поехали сразу домой. Вот сидим, смотрим какую-то чушь, я пишу дыбр, сейчас немецкий надо сделать, чайку попить да попрограммировать, что ли.
Кстати, тот инженер, чей wtf я утром запостил, на мой коммент ответил: #facepalm.
Все хорошо.
Ну это ладно; поверьте, я не смеюсь, не завидую, а просто развлекаюсь.
Итак, купили там колбаски, хлебушка, помидорок, малины... ну и какой-то еще выпечки, это ж Вена. Вот на завтрак и ели это все. Творожок со сметанкой и малиной, все такое. Ах.
Поехали в Art Museum. Подруга там уже успела все залы обойти, шесть часов там провела. Так что меня таскали только по избранному. Второй этаж, Дюрер, Кранах, Рембрандт, Тициан, все-все-все. Веласкес, первый импрессионист планеты. На фоне двух двойняшек-головорезок, Эсфири и Саломеи, я и сфотографировался на селфи. Фотки потом.
Первый этаж, где древности, проходили уже бегом, тем более, что эти египетские саркофаги я и с прошлого года еще помню, и портреты фаюмские, и всех этих; мне показали, как греческие терракотовые скульптуры выглядят сзади. Да никак, дырка квадратная сзади, и все так приблизительно.
На улице уже жарища стояла уже.
Мы пробовали зайти в парламент поглазеть на это все, но там за деньги; а, в следующий раз. Пошли зато, согласно плану, в университет, обедать в госстоловке. В меню три выбора комплексных. Картофельные пельмени, или шницель, или отварная говядина. Взяли шницель и пельмени, всего на 13 баксов. Кофе столько же стоит, сколько порцайка. Сидели ели у них там на крыше; это столовка на верхнем этаже, и с видами на церковь, на крыши, на все такое. Фотки потом.
Спустились вниз, пошли на пароход, по речке прокатиться (по дунайскому каналу). Но по пути еще зашли поесть мороженое, в кафе на набережной. Мороженое и чай. Уже объелись всего этого сладкого, объелись. Но вкусно! У нас так вкусно не делают.
Пароходный тур полтора часа; мы думали по кругу, но шел только вверх до шлюза, и обратно. Пили пиво, глядели на знакомые пейзажи.
Уже типа начинается ностальгия.
Пошли в Миттен покупать туфли. Подруга купила две пары в одном магазине, пошли в другой магазин. Я сидел пытался разобраться, почему это
S=JJ
, потом говорит мне - ну все. Ну все, сложил рюкзак - а она еще стала примерять. Тогда я что, сказал, дай мне пять минут, вышел из магазина, и зашел в соседнюю дверь, на которой было написано Ethereum Workshop. Там еще дверь с такой же надписью, потом длинный такой лабиринт, а в конце я как будто в Сан Франциско попал. Сидят люди с лаптопами, разговаривают по-английски, один на стенку проектирует код. Оказывается, у Этереума свой язык. Вот. Свой язык. Ну там поговорил с ними чуток, да пошел обратно. Как раз в пять минут уложился - как домой сгонял.
Больше туфлей не купили; а поехали сразу домой. Вот сидим, смотрим какую-то чушь, я пишу дыбр, сейчас немецкий надо сделать, чайку попить да попрограммировать, что ли.
Кстати, тот инженер, чей wtf я утром запостил, на мой коммент ответил: #facepalm.
Все хорошо.
no subject
Date: 2016-06-21 07:09 pm (UTC)no subject
Date: 2016-06-21 07:18 pm (UTC)Так что что там на работе, я надеюсь, скоро меня перестанет волновать.
no subject
Date: 2016-06-21 07:27 pm (UTC)no subject
Date: 2016-06-21 07:14 pm (UTC)Solidity называется, да. Тут на днях скандал был, с помощью малоизвестной особенности этого языка увели ~30 миллионов баксов. В воркшопе щас наверное аншлаг.
no subject
Date: 2016-06-21 07:18 pm (UTC)no subject
Date: 2016-06-21 07:25 pm (UTC)какие там омлеты... (он так ласково на salmon omelette говорит - "сальмонэ" :-) )
а капуччино - "капуччьо"
и тирамису
к сожалению, выбор выпечки и десертов маловат, но тирамису доведено до идеала
no subject
Date: 2016-06-21 07:29 pm (UTC)no subject
Date: 2016-06-22 12:59 am (UTC)не забудьте сказать, где нужно - бон джорно, граціе, чао
и он так радостно - ЧАО ГАЙС!!!
no subject
Date: 2016-06-21 07:49 pm (UTC)Нк, можно не на Ринге, а на Гюртле.
no subject
Date: 2016-06-21 08:14 pm (UTC)no subject
Date: 2016-06-21 09:57 pm (UTC)по определению!
По-моему, J найден как решение задачи нельзя ли выразить S и K с помощью одного комбинатора. Естественно, из инструментов остается только количетсво повторений.
no subject
Date: 2016-06-22 02:14 am (UTC)no subject
Date: 2016-06-22 05:14 am (UTC)no subject
Date: 2016-06-22 07:00 am (UTC)http://www.cs.uu.nl/people/jeroen/article/combinat/combinat.ps
красивое решение системы уравнений XX=K, X(XX)=S, и примеры решений для других однокомбинаторных базисов (судя по статье, у Шонфинкеля наоборот).
no subject
Date: 2016-06-22 07:56 am (UTC)no subject
Date: 2016-06-22 05:55 pm (UTC)no subject
Date: 2016-06-21 11:16 pm (UTC)Ностальгия по Европе, по России или по Силиконовой Долине?
no subject
Date: 2016-06-22 05:11 am (UTC)no subject
Date: 2016-06-22 05:56 am (UTC)no subject
Date: 2016-06-22 04:40 pm (UTC)no subject
Date: 2016-06-22 06:11 pm (UTC)