?

Log in

kouzdra [entries|archive|friends|userinfo]
kouzdra

[ website | www.kouzdra.org ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Disclaimer: [Jan. 1st, 2020|01:36 am]
kouzdra
Итак:Collapse )
Upd: если кому-то ннтересен мой ЖЖ - это здесь

В данном же дневнике я дублирую те посты, которые хочу довести до более широкого круга публики, на которые мне интересна реакция или просто те, которые мне хочется. Иногда эти ЖЖ совпадают почти полностью, иногда - здесь содежарится небольшой процент.
Link123 comments|Leave a comment

Для связи. [Nov. 7th, 2017|12:01 am]
kouzdra
Здесь можно оставить мне сообщение. Комменты скринятся.
Link53 comments|Leave a comment

Так просто; [Jun. 26th, 2017|08:08 pm]
kouzdra
https://www.litmir.me/br/?b=549502&p=6
Жук. Не повредился он?
Жучиха. Что ты! Нетнет! Слава богу, нет. Уж как я перепугалась. Шарик мой миленький, не правда ли, ты целехонек? Ах… ты… ты… ты наша радость!
Жук. Гага, наш капиталец, наш навозик, наше золотце, наше… все!
Жучиха. Наш чудесный катышек, наш клад, наше сокровище, наше возлюбленное состояньице!
Жук. Наша любовь и единственная отрада! Уж как мы экономили и копили! Сколько навозу насобирали, вонючих катышков наберегли, во всем себе отказывали…
Жучиха. Сколько ходили, бродили, ножки намаяли, в дерьме рылись, пока мы тебя собрали да скатали…
Жук. …и закруглили, наше солнышко!
Жучиха. Наше сокровище!
Жук. Наша жизнь!
Жучиха. Дело всей нашей жизни!
Жук. Ты только понюхай, старая. Что за прелесть! Ты только прикинь, какой он увесистый.
Жучиха. Послалтаки господь!
Жук. Благословил нас...


© оба Чапека
Link8 comments|Leave a comment

Инварианты типа и зависимые типы [Jun. 26th, 2017|05:58 am]
kouzdra
Кажется, кстати, в языках с всей этой наукой про пред- и пост- условия и проч. зависимые типы возникают естественным образом - в качестве ответа на потреность в инвариантах, зависящих от каких-то контекстных параметров:
  type array 'a model { length : int; mutable elts : map int 'a }
    invariant { 0 <= self.length }
val ([]) (a: array 'a) (i: int) : 'a
    requires { "expl:index in array bounds" 0 <= i < length a }
...

let  rev (len : int) (a : array 'a) (b : array 'a) 
      requires { a.length = len = b.length }
      ensures  { forall i : int . (0 <= i < len -> b [len - 1 - i] = a [i]) }
	=
      for i =  0 to len - 1 do
	invariant { forall k : int . (0 <= k < i -> b [len - 1 - k] = a [k]) } 
	b [len - 1 - i] <- a [i] 
      done
В общем-то поле length в типе array в данном коде лишнее и только мешает - например тем, что приходится доказывать условие a.length = len = b.length, которое в варианте вроде (если бы его язык допускал):
Read more...Collapse )
Link1 comment|Leave a comment

Именно такъ! [Jun. 25th, 2017|03:07 pm]
kouzdra
Xenos WIGHT: Разработчики типовых конфигураций под 1С обязательно должны попадать в рай. И чтоб в раю были черти с вилами, сковородки, огонь и сера. И хренова гора хитро спрятанных в разных местах кнопочек, рычажков и переключателей, которые нужно "только настроить", чтоб появились обещанные ангелы и облака. При этом большинство переключателей вообще не дают видимого эффекта, а остальные изменяют цвет чертей и форму сковородок. А каждую неделю рай обновляется, после чего появляются новые кнопки и переключатели, все настройки слетают, черти опять берутся за вилы и тащат на сковородку.
Link40 comments|Leave a comment

Вопрос [Jun. 24th, 2017|11:37 pm]
kouzdra
Вот известный пойнт - что посредством джынсов, севы новгородцева и рокенролла разложили совецкую молодежь. Наверно даже правильный - вроде как действительно разложили.

Вопрос - а какие свойства должны быть у молодежы чтобы ей это было как-то интересно? Тойсть я был морально устойчив к этому воздействию просто потому что мне это все было неинтересно. Может в смысле пропагандонства и надо было работать не на "замещение местным продуктом", а на то чтобы "и не было интересно"?
Link219 comments|Leave a comment

Котеги - "дайте два" [Jun. 24th, 2017|01:54 pm]
kouzdra
Зашел только что на бис. Успешно снова. Видимо предыдущий шашлык понравился
Link12 comments|Leave a comment

Какая прелесть: [Jun. 24th, 2017|01:52 pm]
kouzdra
http://www.hellopiter.ru/Ahmatovojs_monument.html
На набережной Робеспьера, напротив здания Петербургской тюрьмы в 2006 году был установлен памятник А.А.Ахматовой.

Памятник открыли в год 40-летия со дня смерти поэтессы. Как рассказала скульптор Галина Дадонова, место для установки монумента указала сама А.А.Ахматова, так в поэме "Реквием" она просит поставить ей памятник : "…здесь, где стояла я триста часов, и где для меня не открыли засов".

По замыслу автора героиня Серебряного века смотрит через Неву на печально знаменитую тюрьму "Кресты". С тюрьмой связаны трагические дни жизни поэтессы.

В годы сталинских репрессий здесь находился в заточении ее сын-Лев Гумилев. Вместе с сотнями других несчастных женщин она простаивала в огромных очередях, чтобы увидеть родного человека, передать посылку. Официальное открытие памятника состоялось 18 декабря 2006 года. Авторская гипсовая модель так же открыта 25 декабря в коридоре "Крестов", ведущем к тюремному храму.


В общем - даешь искусство простому народу ;)

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

Это я к новости что в Киеве теперь тоже
Link43 comments|Leave a comment

Забавное о смысле культа страстей христовых и не только их: [Jun. 24th, 2017|12:30 pm]
kouzdra
http://ltraditionalist.livejournal.com/1122522.html
В ритуальном действе человек предоставляет себя в распоряжение Богу примерно так же, как хороший актёр не просто исполняет свою роль, но и проникается гением драматурга.

Ну, и при этом гений драматурга "поселяется" (или "подселяется") в душе актёра. После этой роли актёр уже не тот человек, что был прежде. Это похоже на одержимость духами.

После того как в 1979-м Александр Кайдановский сыграл главную роль в фильме Андрея Тарковского, он стал жаловаться близким: «Я никем не могу быть после «Сталкера». Это всё равно что, сыграв Христа, взяться за роль бухгалтера».

Кайдановский "пропитался" «Сталкером» и сам стал как сталкер. Очевидно, и апостол Павел, в своё время, примерно так же "пропитался" Иисусом Христом, после чего заявил: "Уже не я живу, но живёт во мне Христос" (Гал. 2:20). Павел стал "одержимым" Духом Христа.

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

Почему дети так любят ролевые игры? Потому что их души как пустые сосуды, ещё ничем не наполнены. А в процессе игры, воображая себя различными персонажами, "входя в образ", они как раз и "проникаются" духом этого образа.


Замечу что я никогда не любил "играть в кого-то" (кроме как в самого себя) даже в детстве. C тем же видимо связана неприязнь к шмоткам "с символикой" и прочему. Что наверное довольно забавный водораздел между мной и ко и "людьми христианского мира" (кажется больше нигде сейчас "ролевые игры" не являются основой ценностной системы) - потому как все эти "идентификации" "команды" "выбор стороны/идеологии" и прочее имеют смысл только в рамках "ролевой ментальности"
Link98 comments|Leave a comment

Действительно удавшийся перформанс: [Jun. 24th, 2017|09:13 am]
kouzdra
Закончился хеппенинг в отделении милиции.
Впрочем, хороший хеппенинг так и должен заканчиваться

© кто-то в hippy.talks
Раз уж вспомнил А.К.Толстого:

«по Высочайшему повелению сего 9 января 1851 г. представление сей пиесы. на театрах воспрещено. Кол. Асе. Семенов».

Это про пьесу Фантазия, в которой "политики" нет от слова совсем. Подозреваю, что от высочайшего запрета пьесы после первого же представления коллектив авторов тащился как удав по колючей проволоке.
Link8 comments|Leave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]