[personal profile] kostyad
там жил с 3 по 29 мая -у меня в питере был микроинсульт -два раза падал и терял сознание в метро и на улице -в Израиль почти все прошло -главное в Израиль хорошо жил 26 дней без алкоголь

фотки из жизни

Jun. 6th, 2026 04:06 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Новый насос бассейна


Дорожка вечером


Жаба хочет в бассейн


Гриб, довольно вкусный


Утренний отдых белки
chaource: (Default)
[personal profile] chaource
"Tagless-final" is an unfortunate piece of jargon in the functional programming community, but it is a bona fide FP design pattern. Hapless tutorials on tagless-final are just as numerous as monad tutorials, and they are as useless for learning about TF or for understanding it deeper as the monad tutorials for understanding monads.

Here is a recent blog post about TF:

https://blog.rafaelfernandez.dev/posts/tagless-final-is-denotational-semantics/

To understand "tagless-final" from the point of view of type theory, begin by extracting the type signatures from the following code snippet:
trait UserRepo[F[_]] {
  def find(id: UserId): F[Option[User]]
  def save(user: User): F[Unit]
}

def createUser[F[_]: Monad](repo: UserRepo[F], name: String): F[User] = ...


The type of "createUser" is a higher-kinded function type with type parameter F : * → * and an additional typeclass constraint (F : Monad). The argument "name : String" can be ignored as it is irrelevant for the tagless-final pattern. The important argument is UserRepo[F], which we can understand as this type:
UserRepo F = ( UserId → F (1 + User) ) × (User → F 1) 

For brevity, let's rename UserRepo to just U, and let's replace the domain-specific types by some fixed types A, B, C, D. We obtain:
U F = (A → F B) × (C → F D)

So, the type of "createUser" becomes:
∀(F : Monad). (A → F B) → (C → F D) → F E


Now, if this were all, it wouldn't be worth talking about "tagless final". This example is not general enough. The functions of type A → F B and C → F D will be more general in another domain-specific example; most importantly, we could get arguments of type F X for some X. A more general example could look like this:

∀(F : MonadAndOtherStuff). (A → F B → F C) → (D → F E → F G) → F H


where "MonadAndOtherStuff" could be a typeclass having more operations than just a monad.

My goal is to understand this in a categorical language, which is hopefully going to show what this design pattern is about, how does it compare with and where it would be appropriate to use it.
Read more... )

2026/6/6

Jun. 6th, 2026 10:57 am
vak: (Бодхидхарма)
[personal profile] vak
Ох и дата сегодня…
chaource: (Default)
[personal profile] chaource
Выношу изъ комментарiевъ у Иванова-Петрова.

evgeniirudnyi:
Причина разговоров про интерпретацию квантовой механики связана с правилом Борна. Это правило связывает теорию и эксперименты, но связь идет через введение распределения вероятностей. Таким образом проведение экспериментов связывается со случайной величиной, а представить себе существование случайной величины для нормального мышления невозможно.

Интерпретации — это воображаемые механизмы появления случайной величины. Основная проблема однако в том, что эмпирически доступно только распределение вероятности и с точки зрения экспериментов про воображаемые механизмы ничего нельзя сказать.


Хорошая формулировка про "представить себѣ случайную величину невозможно".

Но въ другой части я не согласенъ - мнѣ кажется, что причина безконечныхъ споровъ про интерпретацiю КМ не въ томъ, что КМ является теорiей съ фундаментально вѣроятностными предсказанiями. А въ томъ, что технически невозможно строго осуществить вычисленiя, необходимыя для описанiя перехода отъ квантоваго описанiя системы къ классическому. Въ терминахъ "многомiровой" интерпретацiи Эверетта, волновая функцiя системы должна распадаться на квази-классическiя вѣтви, которыя другъ съ другомъ не взаимодѣйствуютъ. Вотъ этотъ распадъ на вѣтви слишкомъ сложенъ, чтобы его записать въ явномъ видѣ въ учебникахъ КМ. Вмѣсто этого въ учебникахъ КМ пишутъ какую-то невнятицу о "коллапсѣ волновой функцiи" или доходятъ до обсужденiя метафизическихъ вопросовъ о томъ, "что такое реальность въ КМ".

Read more... )
vak: (бэсм-6)
[personal profile] vak
В статье описывается, как в памяти БЭСМ-6 хранятся все основные скалярные типы данных языка C — целые числа, числа с плавающей запятой, символы, логические значения и указатели.

Besm6_Data_Representation.md

Ноев ковчег: выводы

Jun. 6th, 2026 12:46 am
chuka_lis: (Default)
[personal profile] chuka_lis
Первое: Не пропусти свой шанс построить лодку.
Второе: Живи, понимая, что все мы - в одной лодке.
Третье: Планируй дела заранее (когда Ной начал строить ковчег, дождя еще не было).
Четвертое: Поддерживай себя в форме (всегда есть шанс, что когда тебе стукнет 100 лет, тебя могут попросить сделать что-то грандиозное).
Пятое: Строй свое будущее - на возвышении.
Шестое: Не останавливай работу, если тебя критикуют,  или в тебе сомневаются, продолжай делать то, что должно быть сделано.
Седьмое: Помни: Ноев ковчег построил любитель, а «Титаник» — профессионалы.
Восьмое: Скорость движения - это не обязательное преимущество. Улитки попали своим ходом на ковчег, так же, как и гепарды.
Девятое: Когда испытываешь стресс, позволь себе какое-то время просто плыть по течению.
Десятое: Ради безопасности - путешествуй в паре.
Одиннадцатое: Каким бы сильным ни был шторм, если ты  веришь, тебя будет ждать светлое будущее...

Сезон роликов

Jun. 6th, 2026 10:36 am
ingenero: (Default)
[personal profile] ingenero
Прокатился на роликах 3 раза в этом сезоне. Дела так себе. Навыки с прошлого года сильно просели, надо было много времени хотя бы подтянуть до старого уровня. И вообще всё как-то слишком утомительно, сложно и опасно. Пол-часа покатаю и уже устал. Напрягаться, потеть – никакого желания и удовольствия. Все очень сложно – много месяцев тренируюсь, очень медленный рост. И опасно. Был сильный ветер, нападали ветки. Я убрал, но одну не заметил или счел слишком мелкой. Наехал и едва не убился. Рядом с воронкой от бомбы выщерблен асфальт – кое-как проехал, едва не убился. Ливневые решетки, брусчатка – слишком сложные преграды. Или даже просто на ровном месте не удержал равновесие.

Один раз покатал на снейк-доске, и то больше удовольствия получил, а пол-часа прошли быстрее. На ней хоть не так опасно – в случае препятствия просто слетаешь и прыгаешь в кроссовках, а не на роликах. Гораздо устойчивей. Да и кататься просто интересней, чем бесконечно делать упражнения.

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

С большой степенью вероятности всё уйдет в песок. Не то, что приму осознанное решение «прекращаю обучаться роликам». Нет, «давай перенесем на завтра». С другой стороны, свою основную задачу я выполнил – базовую езду освоил. Уже не зря ролики купил.

Hope and confidence

Jun. 5th, 2026 10:57 pm
gmz: (Default)
[personal profile] gmz

Вот как, оказывается, на английский переводится “заламывать руки” 🙂
Июнь 2010, где-то в Калифорнии.

(no subject)

Jun. 5th, 2026 08:29 pm
timelets: (Default)
[personal profile] timelets
Виктор Вахштайн очень хорошо объясняет влияние философии Витггенштейна в современной (пост-немецкой) социологии.




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

белый дыбр

Jun. 5th, 2026 10:01 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi

 С утра так всё нормальненько, и гипсокартон попривинчивал, и дуолинго сделал. Но потом, т.к. рынок вообще совсем, то настроения что-либо делать вообще не было. Надо было взять да поспать. Купаться - брр, вода холодная.

А к полудню где-то бац, и всё прошло, и я проплыл свои 400 метров (а ещё 400 вечером), и с Клодом мы улучшали скрипты, и ещё я постриг переднюю поляну.

Соседка Катя принесла персиков и кусочек пирога с персиками. Это у них в церкви принесли и всем раздавали.

Ходил гулял; натаптывал свои 10 тысяч шагов. Французское радио и интересно, а слушать не хочется, я лучше Шейтельмана да Наки. Ну правда.

Пробовал слушать Асланяна, но когда дошли до "трагедии в Старобельске", то написал ему "не охуели ли вы", и закрыл вопрос. Никаких Асланянов. Не знаю, как на ютьюбе ставят бан, но... и так запомню.

Ладно; уже 11-й час. Досмотрю-ка я The 5th Element.

Кстати, попал на ютьюбе на разъяснения насчёт Киндзадзы: оказывается КЦ - это инициалы Клары Цеткин.

Казнаяк

Jun. 5th, 2026 04:19 pm
vak: (Українець)
[personal profile] vak
(переклад Володимира Панченка)

Варкало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.

"Чи чуєш, хлопчику, який
Між людом перекляк?
Реве в прапралісі струшний,
Зломісний Казнаяк!"

А той - сталізний меч узяв,
Страхетних повен дум,
І в думах тих покривував
Під дерево Тумтум.

Аж раптом чує злютий цвик -
То Казнаяк метить;
Прапраліс до землі поник,
Шморгонь навкруг горить!

Раз-два! Раз-два! Гордить трава,
Лунає дзист меча -
І вже збритає голова
З ворожого плеча!

Ти Казнаяка, хлопче мій,
У блитві подволав!
Твоєї сплави день гусний
На світі свім настав!

Варкало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.

Подробный разбор темы в статье Москвитиной и Корнелюка: zfs-journal.uzhnu.uz.ua/archive/31/25.pdf
gmz: (Default)
[personal profile] gmz

Начало
Недавно снова вспомнил эту историю и мне стало интересно – что же смотрели в день моего рождения, 9 октября 1958г?
В архиве газеты “Магнитогорский металл” есть все номера и за 1958й год, нашёл номер за 8 октября.
Оказалось, что программы телевидения в номере нет. Болван! – подумал я, – тогда и телевидения регулярного не было в Магнитке …
В интернетах нашёл, что телецентр в Магнитке начал работу в 1962 году.
Возвращаясь к нашим баранам: программы тв в номере не было, но была программа киновещания 🙂

Первый фильм совместный с Югославией, второй венгерский, третий из ФРГ и только “Очередной рейс” чисто советский.

(no subject)

Jun. 6th, 2026 12:04 am
pechkin: (Default)
[personal profile] pechkin
Господа переводчики! Как вы переводите футы в контексте древности (средневековья примерно) и в высоком стиле? Я раньше ничтоже сумняшеся писал "локоть", но тут мне вздумалось проверить, и выяснилось, что локоть это полтора фута. Такая неприятность, теперь столько текстов придется исправлять.

(no subject)

Jun. 5th, 2026 09:14 pm
dorimena: (Default)
[personal profile] dorimena
 Не люблю плоскатиков, которые по-комуняцки, с размаху, сводят сложную систему уравнений к одному примитивному с одной переменной, подгоняя ответ.

(no subject)

Jun. 6th, 2026 09:25 am
12_natali: 12-natali (Default)
[personal profile] 12_natali
 Взялась за – Оно мне надо- Кустурицы, ожидая такого же нестандартного и оригинального текста, как его фильмы, но, нет....обычные воспоминания, распад Югославии, ужасы войны(с чужих слов, он жил за границей) – младенец, распятый на кресте, тысячи беженцев, угрозы ему, как сербу. 
Для него Сербия – большое и важное место, для нас...маленькое пятнышко на карте, многие люди, о которых он пишет – абсолютно незнакомы. 
Но заодно спросила гугл об известных сербах, да, конечно, Тесла и ещё несколько учёных (я их не знала), и первая жена Эйнштейна, по существу – соавтор – делала все расчёты! Писатель (нобель) Иво Андрич....смутно помню его роман, надо перечитать, сам Кустурица и, ну и как же без неё – Милла Йовович:) Для такой маленькой страны очень даже неплохо, есть, чем гордится. И...присно памятный эрцгерцог  Фердинанд..
А ещё....Боснийские пирамиды, которые говорят о глубокой древности этой земли. 

Сербия такая красивая, посмотрела и восхитилась природой. И старые городки хороши.
 
Дальше Кустурица пишет про Марадонну – снимал о нём фильм, потом – строительство Андричграда и пр.
В принципе книжка не очень интересная, хотя для общего представления годится..... 
Есть продолжение - Кустурица Эмир - Где моё место в этой истории ...ну, может, как-нить доберусь и до него.
А вот фильмы иногда пересматриваем, особенно - Кошку:)
У него хороший вкус в культуре - любит Тарковского и Феллини, но....в политике просто....кошмар, поддерживал путина и СВО (заодно попросив у того денег на кино)! Вспомнив - /Мы, которые видели, что произошло с этими бандеровцами в Хорватии, когда они выгнали 230 тысяч сербских"/, - н-да....талант, это одно, а понимание политической реальности - совсем другое....Любопытно, кто ввёл фэйки про участие в той войне "бандеровцев"?

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

В общем, давайте помнить творцов по их прекрасным произведениям, обогатившим мировую культуру, а не по заблуждениям, а то придётся выкинуть всех (нет безгрешных), оставив Гомера, да Эсхила, о которых мало, что известно, впрочем, Эсхил под подозрением - культ вина?:))  Аристотель был уверен в превосходстве своего народа над всеми, т.е. правом их уничтожать и делать рабами, а Платон не уважал женщин, их, как рабынь, не спрашивая, предлагал отдавать замуж за  "философов" и т.д.
dorimena: (Default)
[personal profile] dorimena
 "Министр финансов Израиля Бецалель Смотрич провел встречу с высокопоставленными чиновниками своего ведомства и распорядился создать специальную рабочую группу для решения экономических проблем в сфере высоких технологий.

Как сообщило министерство финансов в своем официальном пресс-релизе, перед новой командой поставлена задача разработать детальные планы помощи компаниям, которые столкнулись с трудностями из-за укрепления национальной валюты."(с)

Кастель-Гандольфо

Jun. 5th, 2026 01:13 pm
fizzik: (Default)
[personal profile] fizzik
Первым пунктом нашего осенного путешествия по Италии был городок Кастель-Гандольфо. Нам нужно было место, чтобы переночевать после вечернего прилета в Рим, на следующий день посмотреть что-нибудь интересное, и двинуться дальше, в Салерно. Кастель-Гандольфо подошел для такого плана идеально: он расположен в 45 км от аэропорта Фьюмиччино, славится папской летней резиденцией, красив сам по себе и расположен на обрыве над живописным вулканическим озером Альбано.

Прилетели мы вовремя, машину получили без приключений. По пустой дороге от Фьюмичино до Кастель-Гандольфо 40 минут езды: 15 км от аэропорта до Римской кольцевой дороги, 20 километров по ней (это ее южный сегмент) и затем, свернув с кольцевой дороги на юго-восток - еще 10 км. В общем, это весьма ближнее Подримье. Ну, у нас дорога заняла прилично больше, как из-за трафика, так и из-за того, что проголодавшаяся дочка потребовала завернуть в придорожный Макдональдс. По дороге я переписывался с хозяином снятой через Букинг квартиры. Он подтвердил, что ждет нас. Но выяснить, куда в точности нам надо подъехать, чтобы припарковаться (бесплатно, как было указано в бронировании) мне не удалось. Когда мы наконец доехали и встретились с хозяином стало понятно почему: английским он не владеет абсолютно, а гугл-переводчик освоил очень приблизительно. Но ничего: он сел в машину и жестами показал куда надо ехать, где остановиться, чтобы он вышел и отодвинул заборчик со злобным знаком "проезд запрещен", задвинул заборчик обратно за нами и показал, где встать практически у входа в наши аппартаменты.

Аппартаменты у нас оказались поистине королевские, двухэтажные. Огромная гостинная с кухней на нижнем этаже, две спальни, ванная и туалет - на верхнем. Для таких хором обошлось совсем недорого - 148 евро. Жаль, что мы там были только одну ночь. Вскоре после ухода гостеприимного хозяина мы обнаружили и некоторый минус нашего жилья: очень спорно организованную WiFi-сеть. Об этом я писал тогда по горячим следам :)

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

А вот и папский дворец. От нашего жилья до него было минут 5 ходьбы.



Все фотографии кликабельны, открываются "в полный экран" в отдельной вкладке.

Сначала посетитель попадет в сад, разбитый при дворце. Сад снабжен обзорными площадками, с которых открываются приятные виды на запад.



Дворец и его сад расположены на кромке кальдеры озера Альбано, так что в обе стороны от дворца, на восток - к озеру, и на противоположную сторону, на запад, рельеф весьма круто обрывается. Когда-то на этом месте находился замок XIII века, купленный для Святого престола при Папе Клименте VIII в 1596 году. Существующий дворец, построенный в XVII веке при Папе Урбане VIII, никаких особых укреплений не имеет. Но, глядя на рельеф, легко поверить в то, что прежний замок был неприступен.

Движемся ко входу в само здание дворца.
+37 фотографий и немного текста... )

Больше фотографий - в альбоме на Фликре.

Profile

galgal: Aryeh Ben-Menashe (Default)
Aryeh Ben-Menashe

February 2025

S M T W T F S
      1
2345678
9101112131415
16171819202122
232425 262728 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 7th, 2026 12:28 am
Powered by Dreamwidth Studios