фотки из жизни
Jun. 6th, 2026 04:06 pm
Дорожка вечером

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

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

Утренний отдых белки

Difficulty in formulating "tagless-final" categorically
Jun. 6th, 2026 08:13 pmHere 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... )
Снова о проблемѣ измѣренiя въ квантовой механикѣ
Jun. 6th, 2026 12:52 pmevgeniirudnyi:
Причина разговоров про интерпретацию квантовой механики связана с правилом Борна. Это правило связывает теорию и эксперименты, но связь идет через введение распределения вероятностей. Таким образом проведение экспериментов связывается со случайной величиной, а представить себе существование случайной величины для нормального мышления невозможно.
Интерпретации — это воображаемые механизмы появления случайной величины. Основная проблема однако в том, что эмпирически доступно только распределение вероятности и с точки зрения экспериментов про воображаемые механизмы ничего нельзя сказать.
Хорошая формулировка про "представить себѣ случайную величину невозможно".
Но въ другой части я не согласенъ - мнѣ кажется, что причина безконечныхъ споровъ про интерпретацiю КМ не въ томъ, что КМ является теорiей съ фундаментально вѣроятностными предсказанiями. А въ томъ, что технически невозможно строго осуществить вычисленiя, необходимыя для описанiя перехода отъ квантоваго описанiя системы къ классическому. Въ терминахъ "многомiровой" интерпретацiи Эверетта, волновая функцiя системы должна распадаться на квази-классическiя вѣтви, которыя другъ съ другомъ не взаимодѣйствуютъ. Вотъ этотъ распадъ на вѣтви слишкомъ сложенъ, чтобы его записать въ явномъ видѣ въ учебникахъ КМ. Вмѣсто этого въ учебникахъ КМ пишутъ какую-то невнятицу о "коллапсѣ волновой функцiи" или доходятъ до обсужденiя метафизическихъ вопросовъ о томъ, "что такое реальность въ КМ".
( Read more... )
Форматы данных БЭСМ-6
Jun. 6th, 2026 02:55 amBesm6_Data_Representation.md
Ноев ковчег: выводы
Jun. 6th, 2026 12:46 amВторое: Живи, понимая, что все мы - в одной лодке.
Третье: Планируй дела заранее (когда Ной начал строить ковчег, дождя еще не было).
Четвертое: Поддерживай себя в форме (всегда есть шанс, что когда тебе стукнет 100 лет, тебя могут попросить сделать что-то грандиозное).
Пятое: Строй свое будущее - на возвышении.
Шестое: Не останавливай работу, если тебя критикуют, или в тебе сомневаются, продолжай делать то, что должно быть сделано.
Седьмое: Помни: Ноев ковчег построил любитель, а «Титаник» — профессионалы.
Восьмое: Скорость движения - это не обязательное преимущество. Улитки попали своим ходом на ковчег, так же, как и гепарды.
Девятое: Когда испытываешь стресс, позволь себе какое-то время просто плыть по течению.
Десятое: Ради безопасности - путешествуй в паре.
Одиннадцатое: Каким бы сильным ни был шторм, если ты веришь, тебя будет ждать светлое будущее...
Сезон роликов
Jun. 6th, 2026 10:36 amОдин раз покатал на снейк-доске, и то больше удовольствия получил, а пол-часа прошли быстрее. На ней хоть не так опасно – в случае препятствия просто слетаешь и прыгаешь в кроссовках, а не на роликах. Гораздо устойчивей. Да и кататься просто интересней, чем бесконечно делать упражнения.
На днях попробовал на роликах просто катать по парку без упражнений. Да, это частично помогает, уже не так душераздирающе скучно. Время летит быстрее. Еще риск – гораздо хуже смотрю по сторонам, ролики требуют слишком много внимания. А по парку вело и пеше шарахаются.
С большой степенью вероятности всё уйдет в песок. Не то, что приму осознанное решение «прекращаю обучаться роликам». Нет, «давай перенесем на завтра». С другой стороны, свою основную задачу я выполнил – базовую езду освоил. Уже не зря ролики купил.
Hope and confidence
Jun. 5th, 2026 10:57 pmВот как, оказывается, на английский переводится “заламывать руки” 🙂
Июнь 2010, где-то в Калифорнии.


(no subject)
Jun. 5th, 2026 08:29 pmУдивительно хорошо объясняет. До чего же все-таки мудацкая страна Россия, что такие люди, как он, живут в эмиграции да еще и с клеймом иностранного агента. Стране реально повезло, что талантливый человек в ней родился, но общество не способно воспользоваться своим везением.
белый дыбр
Jun. 5th, 2026 10:01 pmС утра так всё нормальненько, и гипсокартон попривинчивал, и дуолинго сделал. Но потом, т.к. рынок вообще совсем, то настроения что-либо делать вообще не было. Надо было взять да поспать. Купаться - брр, вода холодная.
А к полудню где-то бац, и всё прошло, и я проплыл свои 400 метров (а ещё 400 вечером), и с Клодом мы улучшали скрипты, и ещё я постриг переднюю поляну.
Соседка Катя принесла персиков и кусочек пирога с персиками. Это у них в церкви принесли и всем раздавали.
Ходил гулял; натаптывал свои 10 тысяч шагов. Французское радио и интересно, а слушать не хочется, я лучше Шейтельмана да Наки. Ну правда.
Пробовал слушать Асланяна, но когда дошли до "трагедии в Старобельске", то написал ему "не охуели ли вы", и закрыл вопрос. Никаких Асланянов. Не знаю, как на ютьюбе ставят бан, но... и так запомню.
Ладно; уже 11-й час. Досмотрю-ка я The 5th Element.
Кстати, попал на ютьюбе на разъяснения насчёт Киндзадзы: оказывается КЦ - это инициалы Клары Цеткин.
Казнаяк
Jun. 5th, 2026 04:19 pmВаркало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.
"Чи чуєш, хлопчику, який
Між людом перекляк?
Реве в прапралісі струшний,
Зломісний Казнаяк!"
А той - сталізний меч узяв,
Страхетних повен дум,
І в думах тих покривував
Під дерево Тумтум.
Аж раптом чує злютий цвик -
То Казнаяк метить;
Прапраліс до землі поник,
Шморгонь навкруг горить!
Раз-два! Раз-два! Гордить трава,
Лунає дзист меча -
І вже збритає голова
З ворожого плеча!
Ти Казнаяка, хлопче мій,
У блитві подволав!
Твоєї сплави день гусний
На світі свім настав!
Варкало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.
Подробный разбор темы в статье Москвитиной и Корнелюка: zfs-journal.uzhnu.uz.ua/archive/31/25.pdf
Продолжение истории с моим днем рождения
Jun. 5th, 2026 02:18 pmНачало
Недавно снова вспомнил эту историю и мне стало интересно – что же смотрели в день моего рождения, 9 октября 1958г?
В архиве газеты “Магнитогорский металл” есть все номера и за 1958й год, нашёл номер за 8 октября.
Оказалось, что программы телевидения в номере нет. Болван! – подумал я, – тогда и телевидения регулярного не было в Магнитке …
В интернетах нашёл, что телецентр в Магнитке начал работу в 1962 году.
Возвращаясь к нашим баранам: программы тв в номере не было, но была программа киновещания 🙂

Первый фильм совместный с Югославией, второй венгерский, третий из ФРГ и только “Очередной рейс” чисто советский.
(no subject)
Jun. 6th, 2026 12:04 am(no subject)
Jun. 5th, 2026 09:14 pm(no subject)
Jun. 6th, 2026 09:25 amА ещё....Боснийские пирамиды, которые говорят о глубокой древности этой земли.
Сербия такая красивая, посмотрела и восхитилась природой. И старые городки хороши.
У него хороший вкус в культуре - любит Тарковского и Феллини, но....в политике просто....кошмар, поддерживал путина и СВО (заодно попросив у того денег на кино)! Вспомнив - /Мы, которые видели, что произошло с этими бандеровцами в Хорватии, когда они выгнали 230 тысяч сербских"/, - н-да....талант, это одно, а понимание политической реальности - совсем другое....Любопытно, кто ввёл фэйки про участие в той войне "бандеровцев"?
Интересно, что путин денег пообещал, но пока не дал, а это делает Кустурицу его заложником - не смеет изменить взгляды, даже если уже понял, во что вляпался:) Некролог испорчен, как и отношения с Западом.
В общем, давайте помнить творцов по их прекрасным произведениям, обогатившим мировую культуру, а не по заблуждениям, а то придётся выкинуть всех (нет безгрешных), оставив Гомера, да Эсхила, о которых мало, что известно, впрочем, Эсхил под подозрением - культ вина?:)) Аристотель был уверен в превосходстве своего народа над всеми, т.е. правом их уничтожать и делать рабами, а Платон не уважал женщин, их, как рабынь, не спрашивая, предлагал отдавать замуж за "философов" и т.д.
парадокс и экономическая деформация
Jun. 5th, 2026 05:53 pmКак сообщило министерство финансов в своем официальном пресс-релизе, перед новой командой поставлена задача разработать детальные планы помощи компаниям, которые столкнулись с трудностями из-за укрепления национальной валюты."(с)
Кастель-Гандольфо
Jun. 5th, 2026 01:13 pmПрилетели мы вовремя, машину получили без приключений. По пустой дороге от Фьюмичино до Кастель-Гандольфо 40 минут езды: 15 км от аэропорта до Римской кольцевой дороги, 20 километров по ней (это ее южный сегмент) и затем, свернув с кольцевой дороги на юго-восток - еще 10 км. В общем, это весьма ближнее Подримье. Ну, у нас дорога заняла прилично больше, как из-за трафика, так и из-за того, что проголодавшаяся дочка потребовала завернуть в придорожный Макдональдс. По дороге я переписывался с хозяином снятой через Букинг квартиры. Он подтвердил, что ждет нас. Но выяснить, куда в точности нам надо подъехать, чтобы припарковаться (бесплатно, как было указано в бронировании) мне не удалось. Когда мы наконец доехали и встретились с хозяином стало понятно почему: английским он не владеет абсолютно, а гугл-переводчик освоил очень приблизительно. Но ничего: он сел в машину и жестами показал куда надо ехать, где остановиться, чтобы он вышел и отодвинул заборчик со злобным знаком "проезд запрещен", задвинул заборчик обратно за нами и показал, где встать практически у входа в наши аппартаменты.
Аппартаменты у нас оказались поистине королевские, двухэтажные. Огромная гостинная с кухней на нижнем этаже, две спальни, ванная и туалет - на верхнем. Для таких хором обошлось совсем недорого - 148 евро. Жаль, что мы там были только одну ночь. Вскоре после ухода гостеприимного хозяина мы обнаружили и некоторый минус нашего жилья: очень спорно организованную WiFi-сеть. Об этом я писал тогда по горячим следам :)
В остальном наше жилье было весьма комфортным. Разве что пришлось попотеть над кранами в ванне. Смеситель там какой-то очень старинный, никогда мною не виденной системы, и как сделать так, чтобы вода шла горячая, я понял далеко не сразу. Но переночевали мы хорошо, позавтракали, и в положенное время выкатились, готовые к туристическим подвигам. Билеты в папский дворец были куплены заранее, еще дома, на определенное время, удобное для не страдающих жаворонковостью путешественников.
А вот и папский дворец. От нашего жилья до него было минут 5 ходьбы.

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

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

