![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
mikerrrjuan_gandhiВчера на твитере напоролся на жалобу (на отмену мультивиз), мол, а российские коррупционеры ездиют и ездиют, воруют и воруют; вот каб они не воровали, всё бы по-хорошему и было бы.
А я такой возьми да ляпни: пусть воруют, меньше вам на бомбы останется.
И мне она такая: "дурачок, бомбы же не коррупционеры оплачивают, а простой народ; деньги на бомбы у народа отнимают, а у коррупционеров не отнимают."
Для меня это в переводе означает, что войну оплачивает российский народ (что хоть и неожиданно, но, может быть, так и есть) - так и претензии же надо предъявлять народу (что, наверно, так и есть), а не коварным коррупционерам, которые лишают народ возможности купить ещё больше бомб и разнести весь мир вообще, ну или хотя бы Европу (не Китай же).
Но как-то стало ещё понятнее, что навальнизм - это не гуманизм, а русский империализм. И, наверно, их единственная претензия насчёт войны - это что слишком дорого война обходится российскому народу, надо награбить награбленное коррупционерами, и вот на эти деньги и победить всех.
ccproccpro
![[syndicated profile]](https://www.dreamwidth.org/img/silk/identity/feed.png){kind=small}
shipreck_s_feed
shipreck_s_feed
vakchaource предложил реализацию на Хаскеле.The following process, applicable to any finite nonempty set A of well-formed expressions, is called the Unification Algorithm:Переведём на современный язык.
- Step 1. Set σ₀ = ε and k = 0, and go to step 2.
- Step 2. If Aσₖ is not a singleton, go to step 3. Otherwise, set σ_A = σₖ, and terminate.
- Step 3. Let Vₖ be the earliest, and Uₖ the next earliest, in the lexical ordering of the disagreement set Bₖ of Aσₖ. If Vₖ is a variable, and does not occur in Uₖ, set σₖ₊₁ = σₖ {Uₖ / Vₖ}, add 1 to k, and return to step 2. Otherwise, terminate.
Step 1. InitializationБегая глазами по исходникам unify.gisp и по описанию, вроде всё однозначно соответствует, разве нет? Дело же не в количестве строк, а в лёгкости понимания.Step 2. Check Whether Unification Is Complete
- Start with a substitution σ₀ = ∅.
- Let k = 0.
- Continue to Step 2.
Step 3. Find a Disagreement
- Apply the current substitution σₖ to the entire set A, producing Aσₖ.
- If all resulting expressions in Aσₖ are identical, the algorithm stops and returns σₖ as the most general unifier.
- Otherwise proceed to Step 3.
Step 4. Process the Disagreement
- Identify the first position (in a left-to-right, top-down scan) where two expressions in Aσₖ differ.
- Let the disagreeing subexpressions be p and q.
Depending on the form of p and q:
1. If one is a variable and it does not occur inside the other term (occurs-check in modern terminology):
2. If both are variables but different:
- Construct a substitution that maps that variable to the other term.
- Compose this substitution with the current one to produce Aσk+1.
- Increment k; return to Step 2.
3. If both are compound expressions with different functors or different arity:
- Substitute one variable with the other, compose as above, and repeat Step 2.
4. If both are compound expressions with the same functor and arity:
- Unification fails; the set has no unifier, and the algorithm terminates unsuccessfully.
- Add their corresponding arguments to the set of expressions being unified.
- Return to Step 2.
mikerrrvakσ(y) = xσ оставляет остальные переменные без изменений.
σ₁ = { x ↦ 1 } даёт результат f(1, y).Оснований менять y нет, поэтому σ₁ предпочтительнее.
σ₂ = { x ↦ 1, y ↦ 5 } даёт f(1, 5).
( исходный код )
linux_org_ru_feedXXI конференция «Свободное программное обеспечение в высшей школе» (OSEDUCONF-2026) состоится 6-8 февраля 2026 года в Институте программных систем РАН в Переславле-Залесском Ярославской области.
В ней примут участие представители образовательного сообщества, использующие или создающие свободное ПО в учебном или научном процессе. Основной целью является налаживание личных контактов между специалистами, обсуждение перспектив и новинок области.
( читать дальше... )
Публикация программы ожидается 21 января 2026 года.
Участие в конференции для докладчиков и слушателей бесплатное, докладчикам оплачивается проживание в отеле (по одному человеку на доклад), всем участникам предоставляется трансфер из Москвы и обратно, а также от гостиницы «Переславль» до места проведения конференции: Ярославская область, Переславский район, с. Веськово, улица Петра Первого, д. 4А (Институт программных систем имени А.К. Айламазяна РАН).
Видеозаписи докладов и презентации будут размещены в открытом доступе «Базальт СПО» в VK, на странице мероприятия и 0x1.tv. Тезисы докладов выйдут отдельным сборником и будут опубликованы в национальной библиографической базе данных научного цитирования РИНЦ.
michaelkoloboffvitus_wagnerКогда-то давно я писал, что странно отсутствие альтерантивно исторических текстов где главной героиней является Софья Алексеевна, и что малореально написать альтернативную историю, где переигрывается Крымская война.
С тех пор Галина Гончарова написала аж пять томов про Софью-попаданку, а Сергей Лысак - "Черномонский призрак".
Но есть еще один период в русской истории где что-то пошло не так - убийство Павла I.
Вот теперь мы с Ириной обсуждаем концепцию романа про попаданца, предотвращающего гибель Павла и те политические и экономические последствия, к которым это может привести.
Ирина предложила в качестве реципиента для попаданца Николая Петровича Шереметьева. Мне эта идея не понравилась. Шереметьев достаточно хорош и сам по себе, как и Безбородко. Поэтому использовать его тело в качестве реципиента для попаданца - растрата ценного ресурса.
Мой вариант был - попаданец попадает сначала в париж, и активно участвует в деятельности Якобинского клуба. После термидора бежит в Россию, где выдает себя дворянина, бежавшего от революции (возможно, реципиент и в самом деле был дворянином, а может и нет, это не важно).
Изображает из себя этакого Калиостро - мистика, алхимика, целителя. Эта роль позволяет довольно мотивированно вбрасывать и технологии и предсказания будущего. Хотя может лучше выдавать себя за индийского целителя, бежавшего из Индии после захвата его родины англичанами (вопрос в том какая это родина - для Бенгалии поздно, для Майсура и Дели - рано). Правда тогда попытка открыть кому-то там глаза на происки Уитворта, активно поддерживавшего заговор может быть принята за естественную у индуса англофобию.
В частности, вылечивает от туберкулеза Прасковью Ковалеву-Жемчугову, и от гипертензии Безбородко. Если Безбородко немного подлечить, то глядишь Платон Зубов до 1801 года и не доживет. Или доживет где-нибудь в опале в отдаленном поместье. У Безбородко есть что ему припомнить.
Хотя конечно заговор против Павла был обширен и одними Зубовым и Паленом не ограничивался. Поэтому одного Безбородко мало.
Шереметьеву в общем чин гофмаршала был сильно пофиг. В реальности он плюнул и удалился от двора. Но есть Прасковья. Которая на графа имеет достаточно сильное влияние, В частности когда тот запил после смерти отца, именно она заставила его взять себя в руки. В нашей истории в конце правления Павла Прасковье не до того - у нее обострение туберкулеза, пропал голос, она страдает от того, что живет с Шереметьевым в грехе (обвенчались они уже при Александре).
А если у неё будет здоровья побольше? И тот же самый иноземный мистик и целитель подскажет Николаю Петровичу, что если он не женится на Прасковье сейчас, то через пять лет её потеряет?
ccpro
Spokane homebuyers searched to move into Issaquah more than any other metro followed by Houston and San Franciscoccpromikerrrmikerrrmikerrr - Письма на «плавающем складе»juan_gandhi - поговорил с навальнисткойccpro - малый лёдccpro - château laroque grand cru classé saint émilion 2021shipreck_s_feed - Сумасбродshipreck_s_feed - Ад и Пакистанvak - Унификация по Робинсонуdmarck - Point of Presencemikerrr - (no subject)ccpro - осторожно фотограф - и любознателиmikerrr - Юморvak - Унификацию помните?linux_org_ru_feed - XXI конференция «Свободное программное обеспечение в высшей школе»michaelkoloboff - Повелители времениvitus_wagner - Спасти Павлаccpro - север не пляшетccpro - муз открытияccpro - азлык - битый и ещё более битыйmikerrr - Дядя, который просил в долг, чтобы не давать в долгmikerrr - Мысли о чулкахbranchandroottimeasmymeasure