chaource: (Default)
[personal profile] chaource
Reading the book https://www.amazon.de/-/en/dp/0137262744 I finally got to algebraic specification; the book explained why multi-sorted algebras are used. Then it dawned on me that I have seen a similar construction in a disguise here: https://chaource.dreamwidth.org/231660.html

By the way, I couldn't find that book online in any form, which is a pity! It's a good tutorial book, it explains things clearly and simply. I wish I could read that book earlier.

In the context of programming languages, a single-sorted algebra is just an F-algebra of some functor F. That is, we must have a type T and a function p of type F T → T, and then (T, p) is an F-algebra.

What is a multi-sorted algebra? It is a construction involving several types and as many functors and functions. For example, we may have 3 types U, V, W and three functors F, G, H (each with 3 type parameters!). Then (U, V, W) is a 3-sorted algebra of the functor triple (F, G, H) if we have three functions of types:
p1 : F U V W → U
p2 : G U V W → V
p3 : H U V W → W


Functor algebras are used in two ways for programming language theory:

- As method signatures for typeclasses that define abstract data types with given method types.

- For defining algebraic data types as initial functor algebras.

There are the corresponding ways for using multi-sorted algebras:

- As method signatures for multi-parameter typeclasses. Such typeclasses can also serve as a full algebraic specification of several abstract data types at once.

- For defining algebraic data types that are mutually recursive, as initial functor algebras.

Trying to understand initial algebra-based definitions and Church encodings for mutually recursive types is what got me first enlightened on why such constructions might be useful.

Apart from the Church encoding and initial algebras, there are important connections between functor algebras, monad algebras, and typeclass laws that I have been exploring before:

https://chaource.dreamwidth.org/236514.html

https://chaource.dreamwidth.org/237852.html

Now with multi-sorted algebras, exactly the same constructions should work. Laws of multi-sorted algebras should be specified via algebras of multi-sorted monads.

What are multi-sorted monads?Read more... )

Ко вчерашнему

Jun. 9th, 2025 09:24 am
chasovschik: (Default)
[personal profile] chasovschik
California Will Sue Trump Over National Guard Deployment, Newsom Says

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

Черно-белое

Jun. 9th, 2025 09:05 am
chasovschik: (Default)
[personal profile] chasovschik
Как известно, в новой экранизации Гарри Поттера Северус Снейп будет черным, в смысле играть его будет англо-африканец Paapa Essiedu. По этому поводу с момента объявления происходит незатухающий фэн-скандал, потому что черный Снейп сильно противоречит всему, что о нем в книжках написано. Так вот оказывается, недавно начался симметричный фэн-скандал вокруг Марвеловской Черной Пантеры - Black Panther внезапно стал белым. Что как бы тоже плохо сочетается с ихним каноном. Но там, насколько я понял, у фэнов есть надежда, что белый пантер окажется самозванцем, негодяем и символом колониализма. У фэнов Снейпа никаких надежд нету, черный Снейп символом колониализма не окажется.

Нелегка жизнь фэнов в эпоху борьбы маркетинга с расизмом.

вопрос о нормах

Jun. 9th, 2025 01:02 pm
avva: (Default)
[personal profile] avva
Запрошу помощи аудитории. В комментариях к своей записи про войну в Израиле я написал:

"Вообще говоря, традиционно в Израиле лидер, при котором случался провал такого масштаба (и даже меньшего), брал на себя ответственность и уходил в отставку. Это была очень хорошая и правильная норма, и после 7/10 ее выполнили разные лидеры в системе безопасности, но не сам Нетаниягу, который отказался даже риторически взять на себя ответственность. Это очень очень очень плохо, и долгосрочный вред от этого Израилю, вполне вероятно, перекрывает преимущества (сомнительные) от лидерства Нетаниягу сейчас в сравнении с тем же Ганцем."

В ответ на это Евгений Кобелев возразил:

"- традиционно в Израиле лидер, при котором случался провал такого масштаба (и даже меньшего), не брал на себя ответственность и не уходил в отставку.
А формировал правительство и занимал в нём прежние посты (Голда и Даян), продолжал работать начальником военной разведки (Хаим Герцог, Аарон Ярив и Эли Зеира) и т. п."

Кто из нас (более) прав? Мое утверждение о существовании такой исторической нормы в Израиле - является по сути верным, пусть даже можно подобрать примеры обратного? Или оно безнадежно наивно, и скорее контрпримеры, которые мне дали, подчеркивают и иллюстрируют ее наивность? Я никогда не был силен в израильской истории. Помогите мне разобраться. Спасибо.

(всегда надеюсь, что в моем журнале не нужно это отдельно проговаривать, но все же: я прошу не поддержки или "защиты", а истины, как вы ее понимаете)
rsokolov: (Default)
[personal profile] rsokolov
Sam Harris: "Elon needs help as a person. Obviously, he is not well. This is a story of psychological and social unraveling, enabled by all of the sycophants in his circle. Al this harem of surrogate mothers and fourteen kids - the warning signs are everywhere in this guy's life. He's just been unravelling for years now - and his engagement with Trump has been the sign of that unravelling."


Scott Galloway: "Somehow we've decided in America that innovation and money replaces or obviates or excuses depravity.

I think if somebody is making Nazi salutes, if somebody is being sued concurrently by two women for sole custody of their child because that person has not spent any time with that child, when someone is so severely addicted to drugs they can't get their shit together to show up to the White House without looking exceptionally high — I don't think that's the right role model for young men.

So what I would ask of all of us is: look at what money has done to us. If someone can land a rocket on metal scissors or create a great EV he's a genius. He's the wealthiest man in the world, but does that mean we should excuse depravity? Unlike Bill Gates he's not using his billions to help people. He's not planting trees the shade of which he won't sit under.

I think this is an individual who has literally come off the tracks, who is rapidly addicted to drugs, and is using his immense power to get people elected, and that too many of us excuse what is abhorrent behavior. I think his legacy is not going to be an EV or putting rockets into space. I think it's going to be unnecessary death, disease and disability of the world's most vulnerable. That is not what it means to be an innovator, it's not what it means to be an American, it's not what it means to be a man."


Не то, чтобы вторая характеристика противоречит первой - просто она звучит как-то... не по-современному. Так сейчас не говорят, в общем.


John Calvin: "Man, having been corrupted by his fall, sins voluntarily, not with reluctance or constraint; with the strongest propensity of disposition, not with violent coercion; with the bias of his own passions, and not with external compulsion: yet such is the depravity of his nature that he cannot be excited and biased to anything but what is evil..."


Дэвид Фрум пишет об упадке моральной традиции кальвинизма в послевоенной Америке в своем эссе "Were the Founding Fathers Libertarians?" (откуда я взял вышеприведенную цитату из Кальвина):

"It would be hard to imagine a mental outlook less conducive to the libertarian celebration of individual choice than that bequeathed by Calvinism not only to New England Puritanism but also to the “hardshell Baptists” of the South — such as for example the parents of Abraham Lincoln.

Only a very few Americans of the Founding generation enjoyed anything like material security. While most white Americans enjoyed a higher standard of living than European peasants, that comparative abundance was a desperately precarious state. An American who drank too much, who had too many children, who got into a fight and suffered a wound that could be infected — in short anyone who did not tightly control his impulses — risked disaster not only for himself or herself, but also for his or her loved ones. In such a world, the psychology of modern libertarianism — the desire to live unrestrained by any force outside oneself — would be seen by most as an invitation to self-destruction.

Libertarianism is very much a movement of post-1945 affluent society America, a society that has developed birth control and drug rehab, antibiotics and antidepressants. We are a society abounding in second chances. 18th century America was a society in which a personal misstep could easily lead to premature and unpleasant death. Self-actualization through self-expression was a concept not imaginable until GDP per capita rose many, many thousands of dollars higher than the level prevailing in 1776."

Интересно, что, согласно Википедии, отец Скотта Галловея - эмигрант из Шотландии. Может, там пуританский слог сохранился дольше, не знаю.

Война за нелегалов

Jun. 8th, 2025 08:29 pm
chasovschik: (Default)
[personal profile] chasovschik
Трамп, пишут, напал на Лос Анжелес с целью превратить его в Могадишо. "Drunk rapist crusader Pete Hegseth is frothing at the mouth to send in not just National Guard but active duty US Marines." Каждый день новые преступления кровавого режима.

Интересно, как далеко собираются демократы зайти, чтобы сохранить тут как можно больше нелегалов? С другой стороны, как многие отмечают, видеоряд из Лос Анжелеса - просто мечта Трампа: чувак на мотоцикле с мексиканским флагом на фоне горящих автомобилей, очень впечатляюще, прямо как в удачном предвыборном ролике.
rsokolov: (Default)
[personal profile] rsokolov
По требованию администрации телекомпания ABC отстранила от работы журналиста Терри Морана, за то, что он написал пост про Стивена Миллера - о том, что им движет исключительно ненависть.

"The thing about Stephen Miller is not that he is the brains behind Trumpism. Yes, he is one of the people who conceptualizes the impulses of the Trumpist movement and translates them into policy. But that's not what's interesting about Miller. It's not brains. It's bile. Miller is a man who is richly endowed with the capacity for hatred. He's a world-class hater. You can see this just by looking at him because you can see that his hatreds are his spiritual nourishment. He eats his hate. Trump is a world-class hater. But his hatred only a means to an end, and that end his his own glorification. That's his spiritual nourishment”.

"Ненависть" тут, может - не совсем точное слово. Скорее, речь идет об особого рода радости.

Поводом для поста (одним из поводов?) послужило, по-видимому, недавнее сообщение о том, как Стивен Миллер наорал на руководителей ICE: "What do you mean you’re going after criminals? Why aren’t you at Home Depot? Why aren’t you at 7-Eleven?"

Не могу не отметить, что Миллер - в отличие от Трампа, который думает, что хлеб в магазине продают по паспорту - обладает определенным знанием реалий. Результатом устроенного Миллером разноса стал, в частности, рейд ICE на Home Depot в Лос-Анжелесе, который привел к протестам и беспорядкам.


Вчера Миллер подтвердил, что для него массовые депортации - самый важный вопрос, цена не имеет значения.


Ханания писал о Миллере так:

"Few people in public life strike me as purely sadistic in the way Stephen Miller is. He doesn't even seem that racist, just looking for ways to make people suffer, and I think if it wasn't immigration it would be something else."

И сегодня:

"Too bad the original tweet was deleted. As someone who has been deeply involved in right-wing circles, I can report that sadism and hate are common explanations for opposition to immigration.

Not every restrictionist, but among those who make this their calling in life, a very high percentage. Especially true in a case like Stephen Miller, who clearly gets joy out of the thought of others suffering and seems to have no positive vision or goal.

When Vance says Miller supports Trump because he wants everyone to play by the same rules, it gives the game away. There's nobody who is more into cronyism and favoritism than Trump! The guy is openly selling pardons and hosting foreigners at the White House because they bought his meme coin.

So clearly, "he just likes fairness" isn't credible as an explanation as to why Miller latched on to Trump early on and has stayed by his side all these years. The fact that Vance relies on this explanation shows he has nothing.

We have to look for an alternative reason, and Miller's passion for hurting innocents based on the excuse they were born in the wrong country gives away what is really driving him."



А в школьные годы Миллер, который тогда еще был волосат и, отчасти, бородат, отличился тем, что произнес речь следующего содержания:

"Am I the only one who is sick and tired of being told to pick up my trash? We have plenty of janitors who are paid to do it for us!"

Иммиграционный статус школьных уборщиц в Санта-Монике начала нулевых сейчас уже трудно установить.

о войне с хамасом

Jun. 8th, 2025 08:05 pm
avva: (Default)
[personal profile] avva
Думал написать длинную запись о том, что я думаю о текущем состоянии нашей войны, но потом понял, что вот этот краткий ответ А.М. в одной из веток комментариев (то есть мой ответ А.М.) вчера лаконично и вместе с тем полно описывает мою позицию:

Оставить у власти режим, который показал, что готов в пренебрежение всеми интересами и жизнью своих граждан пойти и резать всех нас до последнего человека в меру своих сил - что это для него САМАЯ ВАЖНАЯ ЦЕЛЬ - безумная и преступная идея. Я думаю, что с этим согласится более или менее любая страна и любое правительство за последние пару сотен лет. Я не знаю исключений. Если ты их знаешь, можем обсудить. Если нет, не понимаю, почему вообще ставится вопрос о том, чтобы Израиль стал первым таким государством.

Поэтому идет война, которая должна закончиться тем, что Хамас не существует как сила в Газе - никакая сила. Во время войны происходит много очень плохих и кровавых вещей. В том числе вполне вероятно, что мы далеко не всегда ведем себя правильно и хорошо. Думаю, что наше правительство ведет войну во многом неправильным образом, в том числе благодаря конкретно личным интересам Нетаниягу. Это очень плохо, но это то, что есть - у нас нет сейчас альтернативного Израиля и альтернативного правительства. Выходов из этого два: капитуляция Хамаса - которая может быть обставлена кучей уступок с нашей стороны, вроде разрешения лидерам покинуть Газу живыми и освобождения заключенных, но не оставлением Хамаса в Газе - или полное его уничтожение как силы в Газе путем полного ее захвата и насаждения, на первое время, военной израильской власти. Второе намного хуже, намного тяжелее, будет намного больше жертв, и палестинских, и наших солдат. Но на первое Хамас не согласен. Вот и все.

Протесты в ЛА

Jun. 7th, 2025 08:56 pm
chuka_lis: (Default)
[personal profile] chuka_lis
Как и в Миннеаполисе, иммиграционные полицаи в Лос Анжелесе устроили на неделе охоту на иммигрантоув Read more... )

make America something else

Jun. 7th, 2025 07:23 pm
rsokolov: (Default)
[personal profile] rsokolov
В провинции - беспорядки, в столице танки готовятся к параду на день рожденья президента, президент угрожает олигарху "серьезными последствиями", если он начнет поддерживать оппозицию.

В принципе, нормальное такое положение дел для банановой республики. Разве что бананы - завозные. А так - жить можно, только осторожно.

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

Улыбнемся-85

Jun. 7th, 2025 11:57 am
chuka_lis: (Default)
[personal profile] chuka_lis
Все что ни делается- к лучшему. Read more... )

немного об упырях

Jun. 7th, 2025 11:25 am
avva: (Default)
[personal profile] avva
Замечательное зрелище.


Писатель-зетник Вячеслав Рыбаков жалуется на цензуру. Ему недавно предложили переиздать все его крупные романы давних лет. Что ему, конечно, нравится. Но оказалось, что издательство в обязательном порядке пропускает все рукописи через внутреннюю экспертизу, чтобы не иметь проблем с цензурой. Эксперт написал заключение с таблицей крамольных цитат на 17 страниц, все эти отрывки надо удалить или перефразировать. "Призыв к смене власти в России", "Обвинение спецслужб России в насилии над народом", "Презрительное отношение к армии и солдатам", "Пропаганда ЛГБТ"...

Рыбаков сокрушается: мол, все эти слова произносит главный отрицательный персонаж, демократ-либерал, который потом оказывается предателем и таким образом дискредитирует эту идеологию, в этом же и есть вся суть, это же торжество патриотизма! Но нет, такой хитрый замысел - это слишком тонко для эксперта, слишком хитро для цензуры. Надо удалить.

Другие писатели-упыри (Лукьяненко, Дивов...) в комментариях ему сочувствуют и вторят: эх, опять перегибы на местах!

Friday offtopic. Your top 3 M and F

Jun. 6th, 2025 03:37 pm
kiaa: (evilcat)
[personal profile] kiaa posting in [community profile] talkpolitics
Quick question for everyone - who do you think are the top 3 most attractive women and 3 most attractive men in the world right now? Just curious what the consensus is.

Personally, I'd go with:

Women – Ana de Armas, Margot Robbie, Zendaya
Men – Henry Cavill, Timothée Chalamet, Chris Hemsworth

What about you?

пустая трата места

Jun. 6th, 2025 07:52 am
avva: (Default)
[personal profile] avva
waste.png

Этот код - часть исходников ранней версии компилятора C, написанного Деннисом Ритчи. Олдскульным программистам на C я предлагаю задачу - разобраться, зачем нужна странная функция waste() и как компилятор ее использует. Этот отрывок из файла c10.c.
kireev: (Default)
[personal profile] kireev
Еще пара интересностей президентских выборов в Польше. Во-первых, Григорий Шерстюк собрал суммарные результаты по 14 участкам, для которых на сайте ЦИК написано "дом студента". Какие красивые получились результаты! Зандберг не просто победил, он тут уверенно победил! Манцен был на втором месте.

Первый тур:
Зандберг 42.1%
Менцен 18.0%
Тшасковский 12.7%
Беят 6.6%
Навроцкий 6.1%
Головня 5.1%
Браyн 1.9%

Второй тур:
Тшасковский 69.8%
Навроцкий 28.0%

Но результат Тшасковского откровенно слабый. И вот почему. В Википедии есть классное сравнение результатов экзит-пола второго тура 2025 и 2020 года.  То есть голубой цвет- сдвиг в пользу кандидата от ПиС, а оражневый - к Тшасковскому.  У Тшасковского сильно постарел электорат, а у Навроцкого - молодел. Может быть тут дело в том, что Менцен помог ему с молодежью (ведь сам Навроцкий не был их первым выбором) или какие-то более глобальные факторы. Так же Навроцкий прибавил среди мужчин, а Тшасковский - среди женщин.  Тшасковский- среди менее обарзованного электората, а Навроцкий - более образованного. Но это уже может быть просто следствием изменения поддержки по возрастным группам. При этом Навроцикй даже прибавил на селе и в малых городах, а Тшасковский - в средних и больших городах.

exit-poll-change.png
exit-poll-change2.png

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

team spirit (or lack thereof)

Jun. 5th, 2025 09:36 pm
rsokolov: (Default)
[personal profile] rsokolov
"Just don’t understand the need to drag this out on X and allow Democrats to win." - рандомный "американский патриот" в комментах к одному из последних твитов Маска

Эта сентенция идеально отражает суть того явления, которое в последние лет 10 принято обозначать как "трампизм". "Мне не интересно разбираться, кто из вас - наркоман, а кто - педофил, главное, чтобы демократы не одержали моральную победу." (Моральная победа не всегда эквивалентна политической и они даже могут вступать в противоречие.)

Profile

blue_mood

November 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728 2930   

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 9th, 2025 04:37 pm
Powered by Dreamwidth Studios