23 Jul 2026, 10:28 UTC≈3,890 views124 reactionsread 12 August 2026 В последнее время много шумят о способности языковых моделей доказывать математические теоремы и как, якобы, это что-то значит для наступления сингулярности. Думаю, стоит дать краткую политинформацию для широкой публики.
Еще до начала массового психоза на тему языковых моделей я писал, что формализация математики неинтересна самим математикам по внутрицеховым причинам, и этих средневековых мракобесов скоро начнут б…
👍122👎2
23 Jul 2026, 10:28 UTC≈4,240 views129 reactionsread 12 August 2026 Область, где языковые модели являются бесспорной инновацией в формализации доказательств, это самый первый шаг: запись теорем на формальном языке (т.е. до поиска контрпримеров, до написания и проверки собственно доказательств). Им можно скармливать красиво набранные в LaTeX статьи и получать на выходе машиночитаемые определения.
Ничего удивительно здесь нет, потому что языковые модели и были изобретены для перевода …
👍124👎5
18 Jul 2026, 16:05 UTC≈6,110 views182 reactionsread 12 August 2026 Пока в знак протеста против раздутой рекламной кампании «Одиссеи» Нолана все пересматривают «Трою» 2004 г., я решил пересмотреть «Триста спартанцев» 2006 г. Оказалось, что этот фильм не совсем о том, что казалось зрителям, когда он шел в прокате.
20 лет назад шла «война с терроризмом», и поэтому быстро сделали подводку: Греция это США, «оплот западной цивилизации», а Персия это Иран, который уже через несколько меся…
👍169👎13
10 Jul 2026, 09:30 UTC≈7,910 views163 reactionsread 12 August 2026 Говорят, что в повышении «неоднородности общества» через насильное расселение низов среди нормальных людей нет ничего необычного или нового, потому что еще барон Осман застраивал Париж семиэтажными зданиями, специально спроектированными для проживания всех социальных классов под одной крышей.
На втором этаже самые богатые и аристократы, на третьем успешные врачи и адвокаты, еще выше — средний класс, потом мелкие слу…
👍141👎22
9 Jul 2026, 13:32 UTC≈9,310 views132 reactionsread 12 August 2026 Насчет «социального жилья». В эпоху гиперфинансиализации «социальное жилье» это не способ помощи временно нуждающимся не умереть на улице, а способ расселения дисфункциональных перманентных низов общества там, где они никогда не смогли поселиться сами. Это способ уничтожения остатков свободы ассоциации.
Когда американское правительство начало бомбить свои собственные города неграми в 1910-1960хх гг., рядовые америка…
👍125👎7
8 Jul 2026, 11:12 UTC≈6,360 views164 reactionsread 12 August 2026 Прежде чем, кто-нибудь напишет, что Канян, как всегда, ничего не понимает, отмечу еще, что в последние годы во Франции есть такая шиза: застройщики обязаны продавать долю в новостройках муниципалитетам по цене ниже рыночной, под «социальное жилье».
Считается, что долгое время существующий формат «социального жилья» в виде многоэтажек советского типа в «пригородах» привел к созданию «параллельных обществ», с которыми…
👍164
8 Jul 2026, 10:49 UTC≈6,790 views117 reactionsread 12 August 2026 Микола в курсе и чуть ниже пишет, что HOA-фашизм это американская специфика.
«Жилкооператив» это не только HOA. В США это явление называется «condominium». Когда американцы «покупают» квартиру-«condo» (в отличие от аренды квартиры-«apartment» у «landlord»'а, владеющего всем зданием в одно рыло), это покупка акций в структуре, владеющей и управляющей зданием.
В Швеции аналогичное явление называется «bostadsrättsföre…
👍114👎3
8 Jul 2026, 10:32 UTC≈6,620 views180 reactionsread 12 August 2026 Какие-то молодые ребята пытаются привлечь мое внимание пассивно-агрессивной руганью. Не понимаю, откуда взялся такой метод общения, меня же можно просто попросить прорекламировать канал, при помощи нормальных, вежливых слов. Причем совершенно бесплатно!
Вот что пишут:
Европейский дедушка не понимает, как можно сдавать свою квартиру без высочайшего дозволения, у него это почти подпольное казино
Объясню, что я имел …
👍172👎8
5 Jul 2026, 19:50 UTC≈5,760 views108 reactionsread 12 August 2026 С этим материалом можно долго работать. Например, вспомнив, что Эдуард, еще будучи принцем Уэльским, научился летать и коллекционировал самолеты. После его отречения, коллекция пошла в основу King's Flight, монаршей авиаэскадрильи для официальных визитов, существующей до сих пор.
Естественно, там была своя летная ложа, которой заправлял Эдуард, и естественно, после отречения он забрал её с собой на Багамы. А затем, …
👍106👎2
5 Jul 2026, 17:04 UTC≈5,670 views79 reactionsread 12 August 2026 Связь мануальной терапии с малой авиацией в Северной Америке настолько сильна, что какие-то чудики посчитали необходимым написать её историю. Выходит, что мануальщики это и есть «воздушные рейнджеры».
Там сообщается, что ничего странного в этом нет, просто мануальщикам приходилось много передвигаться по стране, а на поезде было слишком медленно, оказалось проще купить самолет и научиться им управлять!
Интересна сле…
👍77👎2
5 Jul 2026, 16:14 UTC≈5,500 views78 reactionsread 12 August 2026 Дополнение. Некоторым может помочь более конструктивная гипотеза, с «фактами». Поэтому сейчас я набросаю более подробный возможный сценарий знакомства Эдуарда VIII с семьей Халдеманов.
Эдуард VIII владел ранчо неподалеку от Калгари (провинция Альберта) с 1919 г. по 1962 г. и неоднократно его посещал, в том числе вместе со своей женой-американкой. Известны некоторые детали их поездки в 1941 г., в том числе, пересечен…
👍71👎7
5 Jul 2026, 14:13 UTC≈5,840 views106 reactionsread 12 August 2026 В рамках празднования юбилея американской независимости прошла небольшая пиар-кампания Элона Маска. Дескать, он практически урожденный американец, потому что его мать Мэй практически урожденная американка, потому что её «отец» Джошуа Халдеман был урожденным американцем из Миннесоты в четырех поколениях.
Привлекать лишний раз внимание к «деду» Маска — большая ошибка. Постоянные читатели этого канала знают, что мать М…
👍100👎6
Showing the 12 most recent of 20 posts we hold for @mixail_kain. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.