дыбр

Jun. 21st, 2016 12:08 pm
juan_gandhi: (VP)
[personal profile] juan_gandhi
Ходили утром в магазин, потому что еда уже кончилась, а мы не в Отеле на пять звездочек на Ринге, как тут некоторые по линкам. Зато мы ходим и видим, и нас спрашивают про Цветаеву и Брюсова. Подите спросите этих чуч про Цветаеву и Брюсова; предположительный ответ будет: "шо?"

Ну это ладно; поверьте, я не смеюсь, не завидую, а просто развлекаюсь.

Итак, купили там колбаски, хлебушка, помидорок, малины... ну и какой-то еще выпечки, это ж Вена. Вот на завтрак и ели это все. Творожок со сметанкой и малиной, все такое. Ах.

Поехали в Art Museum. Подруга там уже успела все залы обойти, шесть часов там провела. Так что меня таскали только по избранному. Второй этаж, Дюрер, Кранах, Рембрандт, Тициан, все-все-все. Веласкес, первый импрессионист планеты. На фоне двух двойняшек-головорезок, Эсфири и Саломеи, я и сфотографировался на селфи. Фотки потом.

Первый этаж, где древности, проходили уже бегом, тем более, что эти египетские саркофаги я и с прошлого года еще помню, и портреты фаюмские, и всех этих; мне показали, как греческие терракотовые скульптуры выглядят сзади. Да никак, дырка квадратная сзади, и все так приблизительно.

На улице уже жарища стояла уже.

Мы пробовали зайти в парламент поглазеть на это все, но там за деньги; а, в следующий раз. Пошли зато, согласно плану, в университет, обедать в госстоловке. В меню три выбора комплексных. Картофельные пельмени, или шницель, или отварная говядина. Взяли шницель и пельмени, всего на 13 баксов. Кофе столько же стоит, сколько порцайка. Сидели ели у них там на крыше; это столовка на верхнем этаже, и с видами на церковь, на крыши, на все такое. Фотки потом.

Спустились вниз, пошли на пароход, по речке прокатиться (по дунайскому каналу). Но по пути еще зашли поесть мороженое, в кафе на набережной. Мороженое и чай. Уже объелись всего этого сладкого, объелись. Но вкусно! У нас так вкусно не делают.

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

Уже типа начинается ностальгия.

Пошли в Миттен покупать туфли. Подруга купила две пары в одном магазине, пошли в другой магазин. Я сидел пытался разобраться, почему это S=JJ, потом говорит мне - ну все. Ну все, сложил рюкзак - а она еще стала примерять. Тогда я что, сказал, дай мне пять минут, вышел из магазина, и зашел в соседнюю дверь, на которой было написано Ethereum Workshop.

Там еще дверь с такой же надписью, потом длинный такой лабиринт, а в конце я как будто в Сан Франциско попал. Сидят люди с лаптопами, разговаривают по-английски, один на стенку проектирует код. Оказывается, у Этереума свой язык. Вот. Свой язык. Ну там поговорил с ними чуток, да пошел обратно. Как раз в пять минут уложился - как домой сгонял.

Больше туфлей не купили; а поехали сразу домой. Вот сидим, смотрим какую-то чушь, я пишу дыбр, сейчас немецкий надо сделать, чайку попить да попрограммировать, что ли.

Кстати, тот инженер, чей wtf я утром запостил, на мой коммент ответил: #facepalm.

Все хорошо.

Date: 2016-06-21 07:09 pm (UTC)
From: [identity profile] ulrith.livejournal.com
Скучно читать про путешествия. Очень интересно узнать - что там на работе...

Date: 2016-06-21 07:18 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Один бывший коллега с радостью написал, что дал на меня референс.

Так что что там на работе, я надеюсь, скоро меня перестанет волновать.

Date: 2016-06-21 07:27 pm (UTC)
From: [identity profile] ulrith.livejournal.com
Так вот это и интересно, как раз.
Edited Date: 2016-06-21 07:28 pm (UTC)

Date: 2016-06-21 07:14 pm (UTC)
From: [identity profile] blackyblack.livejournal.com
"Оказывается, у Этереума свой язык."

Solidity называется, да. Тут на днях скандал был, с помощью малоизвестной особенности этого языка увели ~30 миллионов баксов. В воркшопе щас наверное аншлаг.

Date: 2016-06-21 07:18 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Да, я в курсе. И да, там аншлаг.

Date: 2016-06-21 07:25 pm (UTC)
From: [identity profile] punk-floyd.livejournal.com
мы нашли здесь на районе ресторанчик с владельцем из Сицилии
какие там омлеты... (он так ласково на salmon omelette говорит - "сальмонэ" :-) )
а капуччино - "капуччьо"
и тирамису

к сожалению, выбор выпечки и десертов маловат, но тирамису доведено до идеала

Date: 2016-06-21 07:29 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Хм, спасибо. Это где?

Date: 2016-06-22 12:59 am (UTC)
From: [identity profile] punk-floyd.livejournal.com
http://www.yelp.com/biz/fiero-caffe-san-mateo-2

не забудьте сказать, где нужно - бон джорно, граціе, чао
и он так радостно - ЧАО ГАЙС!!!

Date: 2016-06-21 07:49 pm (UTC)
From: [identity profile] lazoukov.livejournal.com

Нк, можно не на Ринге, а на Гюртле.

Date: 2016-06-21 08:14 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Можно и на Гюртле.
Edited Date: 2016-06-21 08:14 pm (UTC)

Date: 2016-06-21 09:57 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
"Я сидел пытался разобраться, почему это S=JJ"

по определению!

По-моему, J найден как решение задачи нельзя ли выразить S и K с помощью одного комбинатора. Естественно, из инструментов остается только количетсво повторений.

Date: 2016-06-22 05:14 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Да, я это видел; спасибо.

Date: 2016-06-22 07:00 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
вообще-то я другое видел.

http://www.cs.uu.nl/people/jeroen/article/combinat/combinat.ps

красивое решение системы уравнений XX=K, X(XX)=S, и примеры решений для других однокомбинаторных базисов (судя по статье, у Шонфинкеля наоборот).

Date: 2016-06-22 07:56 am (UTC)
From: [identity profile] spamsink.livejournal.com
Я, когда увидел вольфрамовскую страницу, тут же подумал, что в принципе должно быть можно и наоборот: первый аргумент у J по сути - enum type.

Date: 2016-06-22 05:55 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Прекрасно! Буду читать в самолете.

Date: 2016-06-21 11:16 pm (UTC)
dennisgorelik: 2020-06-13 in my home office (Default)
From: [personal profile] dennisgorelik
> Уже типа начинается ностальгия.

Ностальгия по Европе, по России или по Силиконовой Долине?

Date: 2016-06-22 05:11 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
По жизни нашей силиконовой.

Date: 2016-06-22 05:56 am (UTC)
From: [identity profile] andybil.livejournal.com
Самое главное, когда есть о чем ностальгировать

Date: 2016-06-22 04:40 pm (UTC)
From: [identity profile] garrr07.livejournal.com
>Подите спросите этих чуч. Чуч - австрийцы пренебрежительно называют эмигрантов с экс югославии.

Date: 2016-06-22 06:11 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Фигасе; не ожидал.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

July 2025

S M T W T F S
  12345
6789 1011 12
13141516171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 13th, 2025 04:05 pm
Powered by Dreamwidth Studios