The tradition of theoretical science

Feb. 21st, 2026 03:15 pm
chaource: (Default)
[personal profile] chaource
Imagine a dispute in a classroom where learned scholars disagree about some theoretical problem. What and how are they doing to resolve their dispute? When do they all agree that a certain aspect of the problem has been resolved?

What I'm thinking about is that a theoretical disagreement can be productively discussed and resolved only within the framework of a certain tradition. The tradition dictates what questions are to be discussed and how to decide whether a question is resolved. It is not possible to "just use logic" or "just derive the answer" even when the theory under discussion is formal and mathematical. One needs to be guided by unwritten tradition, which is transmitted from teacher to student.
Read more... )
ahilaes: (Default)
[personal profile] ahilaes
 Несколько лет назад Евросоюз внедрил программу реновации старых домов (утепление всех фасадов, сэндвич минвата+штукатурка). С целью снизить рассеивание ими тепловой энергии в атмосферу, а то все эти ваши хрущобы приближают окончательное глобальное потепление.
Но я не об этом, об этом я уже устал.
Тут интересно, что еврофонды стали компенсировать 70% затрат на реновацию. В отдельных случаях и 80%.
Так вот, до принятия этой программы подобная реновация дома (4 подъезда, 80 квартир) обходилась в 300 тысяч евро. Были такие дома, сделали это утепление, теперь выплачивают тридцатилетний кредит, но то ладно.
После того, как приняли эту полуообязаловку про утепление (да, можно использовать разные методы, чтобы заставить, не обязательно так уж впрямую), стоимость утепления фасадов такого же дома вдруг повысилась до  1 миллиона 300 тысяч евро.
В итоге этих евроблагодеяний жильцы должны выплачивать не меньший, а больший кредит... А стоимость любых строительных услуг в стране выросла вчетверо.

А вы еще говорите о "безусловном базовом доходе"...

P.S. Ровно то же самое произошло, когда несколько лет назад государство гарантировало оплату разницы содержания в доме престарелых между пенсией постояльца и "фактическими расходами". (Ну, примерно так, без нюансов.) Нужно ли говорить, что стоимость места в таком доме вдруг выросла вдвое?

Rep. James Talarico on Colbert

Feb. 17th, 2026 04:39 pm
ira_k: (Default)
[personal profile] ira_k


This interview did not air on CBS...only available on youtube...

(no subject)

Feb. 16th, 2026 03:02 pm
whz: (Default)
[personal profile] whz
Тут много сейчас разговаривают об искусственном интеллекте, будто бы он помогает в работе. Не знаю. Когда мы учились на физфаке, было это давно, то наиболее ценным качеством среди студентов первых курсов считалась нетривиальность мышления. Без этого, как бы было понятно, новое знание не создаётся. ИИ же копается только в том, что уже известно. Это как в каком-то японском романе описано существо в виде палочки, с одной стороны которой рот, а с другой, соответственно, жопа, и которое (существо) питается своими испражнениями и в ходе своего жизненного цикла крутится на месте, с полукругом дерьма между передом и задом. Вот это вот то что есть ИИ. Для тупой канцелярской работы, может быть и полезен. Я обратился к ИИ с совершенно конкретным вопросом. Среди моих любимых музыкальных произведений на одном из первых мест стоит (сидит, висит) пинкфлойдовская сюита Atom Heart Mother. Уже писал когда-то, но повторю, слушать я её могу хоть каждый день (в отличие, скажем, от Dark Side of the Moon). Нереальная местами пафосность уравновешивается сонными пасторалями и мнимая многозначительность оборачивается саркастическим стёбом. Ну это моё мнение, я его никому не навязываю. Да, и слов там нет, что есть скорее достоинство, чем недостаток. Но в четвёртой части есть, как пишут сайты, non-lyrical vocals. Целый хор тёток и дядек выкрикивают какие-то слоги, звуки и шипение. Так вот я захотел узнать, что именно, какой текст поют хором эти вокалисты. То, что текст существует, ясно из ютюбовских роликов, на которых видно как эти тётки заглядывают в свои тетрадки, чтобы не сбиться и не попутать. Ну вот я и поинтересовался у ИИ, не может ли он мне предоставить либретто хотя бы одной четвёртой части этой сюиты. И получил в ответ десять ссылок, половина из которых содержала общие сведения, которые я и без того знал из википедии и похожих мест, а остальные пять были от сдвинутых меломанов, вроде меня, и содержали примерно тот же вопрос, который меня интересовал. Ответа же, ясное дело, не было.

Микроэкономическое

Feb. 15th, 2026 04:52 pm
chaource: (Default)
[personal profile] chaource
Думаю вотъ записать такой недавно обнаруженный мной фактъ.

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

Поэтому, если работникъ дѣйствительно то, что надо отремонтировалъ, то лучше всего заплатить работнику наличными безъ выставленiя счета, чтобы помочь ему скрыть этотъ доходъ отъ налоговой службы.

Вотъ примѣрный расчетъ.
Read more... )

Чозачушь

Feb. 12th, 2026 11:54 pm
ahilaes: (Default)
[personal profile] ahilaes
 На этой неделе власти России задействовали новый механизм блокировок интернет-ресурсов - под него попали многие соцсети и крупные западные СМИ, включая Би-би-си, Deutsche Welle и «Радио Свобода.

Ну офигеть технология. Они выкинули доменные имена со своих серверов DNS.  Кстати, Ютуб в том числе.

Ой лышенько, что ж теперь делать-то. Удавиться и не жить.

К слову, у нас тоже всякие рашатудей и рашасюдей убрали с DNS-серверов  еще в 2022 году. Можно подумать, это кому-то чем-то помешало.

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

Неужто еще кто-то не знает, как обойти это дурацкое ограничение? Уж это-то делается за полминуты и совершенно бесплатно.

ahilaes: (Default)
[personal profile] ahilaes
 Опять об Нюрнберг

В разговоре тут
опять всплыл миф о том, что Нюрнбергский трибунал признал СС преступной организацией. Это такой ментальный штамп; это считается настолько само собой разумеющимся, что мало кто делает усилие, чтобы проверить информацию.
Хотя в Сети этот вопрос разбирался неоднократно, но эти разборы, очевидно, попадают аккурат на зрительное слепое пятно широкой публики.

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

Вот цитата из приговора, касающаяся СС:

Рассматривая вопрос об СС, Трибунал включает сюда всех лиц, которые были официально приняты в члены СС, включая членов «общих СС», войск СС, соединений СС «Мертвая голова» и членов любого рода полицейских служб, которые были членами СС. Трибунал не включает в это число так называемые кавалерийские соединения СС. Вопрос о службе безопасности рейхсфюрера СС (общеизвестной под названием СД) рассматривается в приговоре Трибунала по делу гестапо и СД.

Трибунал объявляет преступной согласно определению Устава группу, состоящую из тех лиц, которые были официально приняты в члены СС и перечислены в предыдущем параграфе, которые стали членами этой организации или оставались ее членами, зная, что эта организация используется для совершения действий, определяемых преступными в соответствии со статьей 6 Устава, или тех лиц, которые были лично замешаны как члены организации в совершении подобных преступлений, исключая, однако, тех лиц, которые были призваны в данную организацию государственными органами, причем таким образом, что они не имели права выбора, а также тех лиц, которые не совершали подобных преступлений.
Настоящее решение основывается на участии этой организации в военных преступлениях и преступлениях против человечности, связанных с войной; эта группа, признаваемая преступной, не включает поэтому лиц, которые перестали быть членами организаций, перечисленных в предыдущем параграфе, до 1 сентября 1939 г.

Примерно то же самое об СД и Гестапо:

Рассматривая дело гестапо, Трибунал имеет в виду всех оперативных и административных чиновников четвертого управления главного управления имперской безопасности или тех, кого касались вопросы, связанные с гестапо, в других отделах главного управления имперской безопасности, и всех местных чиновников гестапо, которые служили как внутри Германии, так и за ее пределами, включая сотрудников пограничной полиции, но не включая сотрудников таможенной пограничной охраны или тайной полевой полиции, за исключением тех членов, о которых говорилось выше.
По предложению обвинения Трибунал не включает лиц, находившихся на службе в гестапо для выполнения чисто канцелярской, стенографической, хозяйственной или подобного рода технической повседневной работы. Рассматривая дело СД, Трибунал имеет в виду управления III, VI и VII главного управления имперской безопасности (РСХА) и всех других членов СД, в том числе всех местных представителей и агентов, почетных или каких-либо других, независимо от того, являлись они формально членами СС или нет.

Трибунал признает преступной согласно Уставу группу, состоящую из тех членов гестапо и СД, занимавших посты, перечисленные в предыдущем параграфе, которые вступили в организацию или оставались в ней, зная о том, что она использовалась для совершения действий, объявленных преступными в соответствии со статьей 6 Устава, или как члены организации лично принимали участие в совершении подобных преступлений. Основой для вынесения настоящего приговора является тог участвовала ли организация в совершении военных преступлений и преступлений против человечности, связанных с войной; поэтому эта группа, признанная преступной, не может включать лиц, которые более не занимали постов, перечисленных в предыдущем параграфе, после 1 сентября 1939 г.
P.S 12/02/2026: ссылки на текст приговора НТ в этом посте уже не работают, но найти его в Сети не составляет труда.
ehidnaya_arhivistka: (Default)
[personal profile] ehidnaya_arhivistka
В полдень довелось (не по своей воле) прослушать краем уха выпуск новостей — кажется, на НТВ, но могу ошибаться. В начале — оптимистичный репортаж о том, как войска РФ поразрушали жилые дома и инфраструктуру в Украине. В конце выпуска — подробный рассказ о мальчике из РФской провинции, который болен тяжёлой болезнью, требующей дорогих лекарств и лечения за границей. Журналист просит добрых людей скинуться на лечение ребёнка.
Попутно обнаружила на сайте НТВ заметку годовой давности (февраль 2025): «Страдающему ДЦП 16-летнему Алексею нужны деньги на сложную операцию… Благотворительный фонд открыл сбор средств на операцию. Нужно собрать 2 миллиона 371 тысячу 90 рублей» (https://www.ntv.ru/novosti/2878106/).
И никакого когнитивного диссонанса.

Free monads are least fixpoints

Feb. 11th, 2026 11:27 am
chaource: (Default)
[personal profile] chaource
The free monad on a functor F is often defined like this in Haskell:
data FreeMonad f a = Pure a | Join (f (Freemonad f a)

This is a recursive definition written schematically as a type equation `r = a + f(r)`.

However, as Haskell is lazy by default, this defines r as the greatest fixpoint of that type equation.
The free monad actually needs to be the least fixpoint, not the greatest fixpoint. Otherwise the properties of the free monad will not hold. I believe this detail is not usually emphasized or clarified.

What happens if we define the free monad as the greatest fixpoint? It will not be possible to have a unique arrow in the category of monads (monad morphism) from the free monad to an arbitrary other monad, in the following way:
Read more... )
chaource: (Default)
[personal profile] chaource
Là, Panurge interrompt, disant : Vous avez parlé, masque !
François Rabelais. Pantagruel



I gave Google's AI the task of writing a post about agentic AI in software engineering. I told it to write "in my style, tone, and formatting" and gave it plenty of examples of my previous posts on the topic.

Gemini 3 "Thinking" said:
---
Read more... )
---
I would have never said this, I disagree with several points here (emphasized in italics above), the text doesn't really make much sense as a whole, and my style and tone hasn't really been understood well. I write in a less flowery language with less repetition, I usually emphasize negative points and problems more than positive results, and I usually make a clear point. The LLM largely regurgitated what is often said on the topic and some of what I said in the examples I gave. This output is unusable. The God-awful AI tried to wear a human mask but the faangs are still visible.

Profile

bgmt: (Default)
bgmt

March 2022

S M T W T F S
  1 2345
6789 101112
131415161718 19
20 212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 25th, 2026 05:08 am
Powered by Dreamwidth Studios