TLA+ should hold some sort of a record for the highest level of abstraction among programming/specification languages. http://lamport.azurewebsites.net/video/intro.html
Выписки, тангенциально-лингвистическое: "Larry Wall, creator of the Perl programming language, created a custom degree plan in college, an interdisciplinary course of study in natural and artificial languages, i.e. linguistics and programming languages. Many of the features of Perl were designed as an attempt to apply natural language principles to the design of an artificial language." https://www.johndcook.com/blog/2017/03/11/unnatural-language-... И "Надо сказать, что по образованию Н. Хомский не лингвист, а логик, и главные идеи «Синтаксических структур» выросли именно из этого источника. Он исходил из того, что в языке есть некоторый базис — конечный набор простейших синтаксических структур (как набор аксиом в логических исчислениях) и некоторые правила их преобразования — трансформации (как правила вывода в логических исчислениях). " http://trv-science.ru/2017/03/14/yuri-apresyan-mathwalks-2/
maxresdefault.jpg.jpg
У старого издания справочника репатрианта милая обложка
Screen_Shot_2017-03-03_at_23.50.24.png
Вот я и в Израиле. За первые сутки я встретил безумного ученого, валяющегося на полу певца, много счастливых детей, завернутого в ковер трансвестита, коворкинг, закрытый на два дня в неделю, коворкинг с упавшим интернетом, танцующих на улице подростков и подругу детства.
Тель Авив мiсто котiв! ‎· пустота ригидность мускулинность
Так. Сегодня меня позвали замуж. Вернее два человека, разнополых, давно мне знакомых, независимо друг от друга изъявили желание вступить со мной в групповой брак. Это всё очень здорово, но я хочу тут найти работу, тусовку, и выучить язык сначала. Никто со мной не хочет в трудовые отношения вступить? Или погулять по городу и показать что как вообще? ‎· стрёмный пустой фидик ‎· 4
Первого марта лечу из Москвы в Тель-Авив, могу что-нибудь привезти с оказией. И скоро захочу спрашивать про то, как там обустраиваться. Кто готов поделиться опытом?
А не летит ли кто в ближайшие дни из Израиля в Москву? Лекарство надо передать.
Лайк-шер-ретвит там, это всё. Спасибо. ‎· стрёмный пустой фидик
О, спасибо! ‎· стрёмный пустой фидик
Пристегиваюсь в Москву. #poidem https://events.yandex.ru/events/science-seminars/26-oct-2016/
Футуристы такие футуристы
image.jpg
Вся эта ваша математика -- огромный самореферентный фанфик.
Как говорил Гёдель, в штанах у себя самореферентный фанфик. ‎· the disconsolate chimera
Это физика фанфик (в её математико-теоретической части). А математика довольно герметична. ‎· 9000
There are more things that we are urged to remember than is humanly possible. A person succumbs becoming a palimpsest of cultures, mere wisps of tribes long gone continue reverberating, lending zest to their identity.
Закрыть гештальт и открыть снова,
вот эта запятая гениальна %) ‎· 9000
Это мне мерещится, или Фалько выглядит так, будто его много лет назад больно стукнули, и он до сих пор не отошел? https://www.youtube.com/watch?v=2T3Ih8MUBTA
maxresdefault.jpg.jpg
2016-07-24 16:00 фестиваль барочной музыки в Подмоклово. Кто там искал, что б в Москве поделать в воскресенье?
Подмоклово это сейчас примерно везде. Уточните координаты. ‎· пейсхолдер для забаненных
Блин, что ж я раньше не знала 8( ‎· Дониматрикс
You know GRRM and how they alway bash him for being brutal? I'm reading The Painted Bird, ostensibly a historical novel, and so far it's worse. Someone has just had their eyes gouged out. Ugh.
"Civilization now depends on self-deception. Perhaps it always has." http://www.nature.com/nature/journal/v436/n7047/full/436150a...., Ted Chiang
Доска для письма на кухне очень повышает качество жизни.
image.jpg
Разбираю тут семейный архив
image.jpg
Забрел сегодня в архив любавичских ребе
Regale me with your tales of yore!
Offend my gentle sensibilities. ‎· стрёмный пустой фидик
Speak swiftly while the noon is high ‎· стрёмный пустой фидик
утро после петанка
Foto_am_15.07.16_um_11.37__2.jpg
On n'aime pas Marcel, they say. Viens à Nice, il est tellement plus agréable, they say. And now this. ‎· стрёмный пустой фидик
Dig the sunset