Веб-версияОткрыть в Telegram
MMetaprogramming

Metaprogramming

@metaprogramming · канал · Технологии · в индексе с 2026-04-22
877подписчиков
446постов в индексе
Metaprogramming
Пропаганда как "пирамидальные продажи" без продукта и клиента (1/2) Помните, были такие MLM, также известные как "пирамидальные продажи" или "сетевой маркетинг"? Продавали всё: пылесосы, ножи, косметику, сок, БАДы. Получаешь не только деньги с продажи, франшизные скрипты и гайды и т.п., но и процент со своих рефералов (тех людей, которых привлёк в систему). Пирамиды делились на два класса. В первом продукт имел значение и внутреннюю ценность. Например, какая-нибудь неплохая косметика или бытовая химия. Представитель "солидной организации" (с порога заявлять о её сетевом характере – моветон) приходил и рассказывал потенциальным клиенткам: вот смотрите, какая замечательная тушь, как ровно она ложиться на ресницы, какая стойкая и какой насыщенный оттенок, как мощны её лапищи. Или, там, кондиционер для белья: дешёвый, гипоаллергенный, запах свежести. У продукта самого по себе была целевая аудитория (конечный потребитель), у потребителя некие свои ценности, а у продукта качества, которые к этим ценностям путём грамотного процесса продаж можно прицепить. После того как клиента подсадили на продукт можно – отдельно и независимо от этого – предложить вступить в секту сеть. Типа ну тебе ж нравится тушь, можешь подруг осчастливить, ещё немножко заработать. Вот смотри, мой месячный бюджет какой на пяти рефералах и постоянных клиентах, норм тема. Во втором классе продукт был априори бесполезный. Смысл пирамидально продаваемых БАДов не в уникальном составе, влияющем незаменимым образом на здоровье, а в том, чтобы продавать БАДы по цепочке. "Представитель компании" никакого продукта не имеет. Никаких важных для продаж свойств продукта нет, как и нет релевантных ценностей клиента. Как и самого клиента нет. Поэтому к жертве сразу заходят с сетевой компонентой: тебе не надоело ещё на работу ходить каждый день? Смотри, у меня десять рефералов и вот такой бюджет на месяц... выкупаешь N коробок... миллион за полгода... ну и далее по списку. В самом конце сетевого вовлечения мо
11 · 669 ·
M
Пропаганда как "пирамидальные продажи" без продукта и клиента (2/2) С самого изобретения пропаганды (в современном смысле) говорили как: вот ты сообразительный трудящийся, рациональный, мыслишь широкого, способен понимать общественные механизмы не хуже, чем понимаешь детали работы своего производства. Но не все такие умные, есть простые тупые работяги. Вот тебе фреймворк, чтобы этих работяг на путь истинный наставлять. Вот смотри, есть такие аргументы, есть вот такие, тут тезис-антитезис-синтез, туда-сюда, короче риторическая конструкция приличная. Ну да, может не совсем уж утончённая на твой вкус – ну так на кого рассчитана? На простого человека. А ты-то умный. А на самом деле "простых работяг" нет и не было никогда. Тот самый идиот, которому промывают мозги, и есть этот рациональный рабочий, и только лишь такие же как он. Группы конечных потребителей пропаганды не существует. Пропаганда всегда рассчитана и работает только на (вновь вербуемых) агитаторов пропаганды. И получается на выходе человек, который, повторяя заученные по скриптам и гайдам фразы, как бы обращается вслух к "простому народу" (как честный человек он, конечно, сам себя рефлексивно убедил, что тоже сорт простого народа, и сам себя заставил в верность фраз уверовать). Натурально в болвана превращаясь. И собираясь вместе они как бы с перемигиванием обмениваются этими кодовыми фразами, также молчаливо понимая, что, конечно, не то чтобы они сами в это верят, просто ради прекрасных общих целей как бы для простых трудящихся распространяют свет знания, как бы намеренно упрощая и опуская детали. Происходит такая атака "побега из виртуальной машины". Держи чувак бинарник, но это не исполняемый файл как таковой, а просто контейнер для виртуалки, тебе его как бы не на своём железе надо запускать напрямую, а дальше передавать. Для простых трудящихся. Парадоксально работающая версия "молдавского вируса". Казалось бы тривиальная, но в самом деле тонкая и остроумная механика! Ранее обсуждали похожие темы
17 · 880 ·
Metaprogramming
MCP не нужны Напомню, придумали два года назад этот протокол для привязывания к ИИшкам (LLM) "внешних инструментов". Получился типовой результат, когда большая корпорация пытается вымучить что-то "легковесное". Поверх JSON RPC (чудовищного бойлерплейта, позволяющего как бы сделать что угодно, оттого неудобного ни для чего конкретно) накрутили ещё универсальный протокол для model tool calling (вдвойне для любой конкретной задачи неудобного). Идея была в том, чтобы дать модели как бы структурированное описание и способ вызова (в виде JSON сообщений) тех внешних действий, что она может выполнять ("поискать в базе", "зайти на сайт", "отправить сообщение" и т.д.). При этом LLM учились то на чём – на естественном языке. Неудивительно, что простое описание текстом в markdown файле работает лучше, чем идиотская переупаковка той же документации в тяжеловесную (и одновременно ригидную) JSON-структуру. Попробуйте все MCP у себя отключить и заменить парой абзацев дополнительного промпта об использовании существующих внешних API – заработает всё быстрее и лучше. P.S. Забавно, что именно то что надо было стандартизовать – формат ответа текстовой модельки, когда она желает вызвать инструмент – делать принципиально не стали.
9 · 526 ·
Развитие LLM как интериоризация человеческой активности (1/3) Можно представить развитие языковых моделей как череду интериоризаций – присвоения/поглощения некоего внешнего знания и процессов, буквально погружение ранее внешних цепочек активностей в веса модели. Очень грубая хронология такая: 1. Освоение связей между буквами и словами (2010-2015) 2. Производство контента по подобию широкой библиотеки обучающих материалов (2015-2020) 3. Обучение человеческому инструктивному диалогу – наподобие тредов StackOverflow, Quora, в целом чатов (2020-2023) 4. Обучение "ризонингу": интериоризация инструктивных диалогов человека с машиной (2023-2026) "Ризонинг", т.е. как бы "рассуждения" или даже "размышления" (без зазрения совести сейчас прямо так и пишут, когда ждёшь результата: "Thinking..."), появились после накопления базы первых диалогов с чат-ботами как интериоризация подпинывающих реплик людей. Теперь "думай быстрее", "не тупи", "всё не так, начни сначала" (ну и содержательные замечания тоже) говорит не человек-оператор, а модель как бы сама себе внутри себя самой. Дальше проходит граница передовых исследований и разработок, в текущем моменте сложно приписать чему-то в отдельности главную роль. Однако всё же попробуем это сделать.
6 · 506 ·
Развитие LLM как интериоризация человеческой активности (2/3) Итак, основные направления дальнейшей "интериоризации" следующие. 1. Математическая формализация Также как игра в шахматы, автоматический перевод и т.д. (как писал в своей статье про историю ИИ) доказательство теорем считается признаком человеческого ума/сознания, посему много усилий по разработке ИИ было вложено в эту область. До недавнего времени решали через интеграцию LLM и proof assistants – специальных языков программирования типа Lean и Rocq, которые позволяют формализовать математические утверждения и автоматически проверять корректность доказательств. Недавно вышла новость, что непубличная моделька общего назначения смогла опровергнуть известную геометрическую гипотезу вроде как без использования внешних инструментов. Получается, в достаточной мере интериоризировала "формальные рассуждения" – получила что-то вроде способности "хорошо рассуждать устно", не пользуясь внешними подпорками. 2. Манипуляции в киберпространстве Настоящими вещами в области LLM может заниматься две с половиной компании в мире, у которых до верху забитые видеокартами ангары подключены, с одной стороны, к атомным электростанциям, а с другой стороны к денежному печатному станку. Использование ИИ дотируется, продаётся как бы ниже себестоимости. Однако правильно ли подводить баланс так грубо? Компании собирают бесценную информацию о человеческом поведении, за что по-хорошему должны доплачивать, а не скидку давать. Во множестве айти-компаний появился бюджет на ИИ, сотрудников заставляют тратить не менее фиксированной суммы на работу с LLM-агентами. С одной стороны получился косвенный налог в пользу LLM-монополистов. С другой бюджет у них то как будто не начал сходиться в плюс, нет оснований считать что таким образом для них генерируется прибыль, а не всё больший убыток. Плюсовая часть баланса снова имеет место в виде данных о человеческой активности. В данном случае ценен harness и взаимодействия компаний/сотрудников с
6 · 481 ·
M
Развитие LLM как интериоризация человеческой активности (3/3) 3. Мультиагентные воркфлоу Когда один ИИ-агент не справляется со сложной многошаговой задачей запускают целый рой: отдельная сессия исполняет роль "стратегического контролёра", который удерживает в целом контексты задач и пинает "рядовых исполнителей", порождаемых скопом по мере необходимости. Дальнейший очевидный шаг интериоризировать треки исполнения мультиагентных задач, сделав решение длинных многошаговых задач естественной способностью LLM (исполняемой в одной сессии/экземпляре) – в общем и целом повторив процесс разработки "ризонинга". 4. Коммерческая/экономическая деятельность Накопление данных о рабочем процессе организаций в целом (чаты, системы управления задачами, собственно общение с ИИ помощниками, корпоративные базы данных, HR-взаимодействия, презентации, покупки, финансовые решения и пр.) позволяет поставить задачу создания ИИ, который смоделирует в целом рабочую деятельность компании. За счёт интериоризации правильным образом сгруппированных данных будет возможно создать своеобразную автономную цифровую корпорацию. Далее может быть движение либо в сторону полной замены людей в сфере экономики, либо сохранения людей в роли своеобразных зиц-председателей. Как известно, современный пассажирский самолёт может автономно взлететь, проследовать по маршруту и, при подходящих условиях, приземлиться и проследовать к назначенному перрону. Из-за того что инциденты и катастрофы в авиации всегда являются сложными событиями, которые всегда тщательно разбирают на составные компоненты, относя ответственность за негативные исходы на разных лиц (собственно пилотов, обслуживающий персонал, диспетчеров, производителей компонентов и самолёта в целом и т.п.), самолёт начинает приобретать иллюзорную правоспособность. В самом деле, если люди виноваты понемногу, каждый лишь в какой-то отведённой доле, то на самом деле как бы виноват сам летательный аппарат – или, шире, сама безличная (тщательно формализова
9 · 718 ·
Metaprogramming
Фотография
нажмите — покажем
Фотография
нажмите — покажем
Лейденская декларация математиков против LLM-ок Кевин Баззард (говорили про него раньше) в числе подписантов "Лейденской декларации об ИИ и математике". Ещё в 2020 году объявил проект по дешёвому сбору данных для обучения ИИ – заставлять бакалавров математики переводить стандартный материал курсов на Lean. На этой волне и стал мировой знаменитостью. В 2026 году пишет: "техногиганты лезут к нам в математику, да что ж творят-то, караул!". А кто им дверь открыл и ковёр постелил? :) Саму декларацию подписало тысячи людей (подписать можно легко онлайн), среди которых несколько лауреатов Филдсовской премии и прочих выдающихся специалистов. Главная мысль декларации примерно такая: во-первых, гопатыч ничего не может и плохо работает; во-вторых, кто ж нам теперь будет деньги платить, если мы срочно не начнём его саботировать? В общем-то декларации писать поздно, так как вопрос с "доказательством теорем" закрыт. Ну, программисты точно такие же переживания испытали уже год-два назад.
8 · 662 ·
Фотография
нажмите — покажем
Картинка из "Гипериона" (классическое НФ произведение, которое я всё не доберусь прочитать, хех). Изобретена телепорация и решены все материальные проблемы, но при этом надо строить небоскрёбы. Не живётся без бетонных коробок человечеству. А может быть и в самом деле человечество ушиблено модерном настолько сильно, что обречено сохранять внешние черты модернизма навсегда – как периода, в котором в каком-то смысле себя впервые (на массовом уровне) осознало.
6 · 688 ·
Театр экономики В значительной мере любая организованная деятельность это театр: сам факт наличия зафиксированных ролей делает их исполнение чем-то наносным, "неаутентичным". Однако достижения ИИ обостряют и доводят до предела подобный расклад. Картинка получается вполне себе научно-фантастическая: достигнута технологическая сингулярность, а люди по-прежнему ходят работать в небоскрёбы. А зачем? Взять текущий уровень развития LLM и программирование: вполне можно заменить тестировщика на разработчика, разработчика на продуктового менеджера, продуктового менеджера на аналитика и т.д. во всех комбинациях. Через пару недель адаптации при наличии подписки на фронтирную модель никто не заметит разницы. В найме, однако, важно показать соответствие роли: ну, способность к импровизации, убедительность образа ("верю!"), знание классических произведений. Стейкхолдеры же вообще изначально являются сортом актёров. Репетируют речи, делают презентации, нетворкинг, то сё. Не трудно предположить дальнейшее распространение "актёризации". Например, водители будут играть роль водителей. То есть "обучаться", "получать права" и потом "держать руки на руле". Получается Илон Маск то в самом деле гений, если ещё 20 лет назад понял, что нужен не настоящий автопилот, а автопилот, который требует постоянное участие актёра-человека. Второй пример, банковские операционисты и, шире, сотрудники фронт-офиса любой публичной организации уже сейчас лишь играют роль клерков. Вся работа с клиентами сводится к нажатию в приложении кнопочек, соответствующих запросам, и зачитыванию с экрана стандартных ответов или результатов работы ИИ-моделей. Адвокатов, прокуроров и судей легко заменить на LLM – при этом среднее качество правосудия значительно возрастёт – однако кому такое придёт в голову? Будут распечатывать ответы чатгпт и отправлять по бумажной почте друг другу, манифестируя свою волю, интенцию и правоспособность. Сократить целые пласты "рабочего класса" без какого-либо ущерба для экономики
22 · 818 ·
M
@GrandHamsterGms отвечает на пост, вспоминая мысли К.А. Крылова: ...зачем городить огород с тоталитарными системами ущемления, если можно оставить всё как есть? Люди будут ходить в офисах, тыкать кнопки, получать зарплату... В самом деле, ни ММО, ни "образования будущего", ни гулагов не надо – людей может занять тем, что их и так уже сейчас занимает – теми же работами, что они сейчас делают. Только делать будет ИИ, превращая людей в зиц-председателей на своей собственной должности. В комментариях к предыдущему посту также выражают нейроскепсис. Думал, с чем бы это сравнить, что было прямо на наших глазах – да с интернетом. Помню в детстве родители иронически так смотрели, типа, ну хорошее место, анекдоты там почитать можно и всё такое. Это конец девяностых был, начало двухтысячных. "А реально-то что?!" Дальше, кстати, такая же ирония была про удалённую работу. Один друг рассказывал, жил в то время с бабушкой (родители умерли к тому времени), что она его месяцами пилила по поводу работы. Типа сидишь дома за компьютером целыми днями. В конце концов он сходил в банкомат, снял месячную зарплату наличкой, и дал бабушке подержать стопку – подействовало, жалобы прекратились, хоть и всё равно не вполне бабушка поняла в чём прикол. Это середина десятых была примерно. Где-то чуть позже ещё были облачные сервисы. Ну это нишевая тема уже, конечно, с другой стороны у меня среди подписчиков одни айтишники :) Помню говорил с неким руководителем проектов интеграции SAP-а (из поколения ещё советских "айтишников"), что мол в облака всё уходить будет, а он непонимающе отвечал, мол, ну и чего, это уже было, вот помню в наше время к мейнфрейму терминалы подключали и работали с разделением времени. Потом изобрели криптовалюту, уже была вторая половина десятых когда широко распространилась, над ней иронически хихикали даже неглупые финансисты типа известного Кримсональтера. После того как десять процентов Европы (даже по номинальному подсчёту, сколько де-факто – вопрос) убрали за б
6 · 757 ·
Metaprogramming
Вайб-математика и аппаратчики Эпоха искусственного интеллекта заостряет разделение математики на несколько частей. Главная и подавляюще распространённая (как по числу математиков, так и по объёму содержания или числу открытий) математика это, назовём так, "вайб-математика" – интуитивная ("неформальная") математика. Когда лектор пишет что-то на доске, размахивая руками – это вайб-математика. Когда студент решает в тетрадке задания из книги – это вайб-математика. Когда рецензент пишет замечания к статье в журнале – это вайб-математика. Казалось бы, вся математика по такому определению это вайб-математика (т.е. по идее "просто математика"), что не удивительно (вернёмся позже к вопросу иной математики). Лейденская декларация начинается со слов "технологические разработки постоянно трансформировали практику математики". Однако что эта фраза означает – её авторы, конечно, именно вайб-математики – совершенно не ясно. Как трансформировали-то? Теперь выкладки вместо почтового отправления на лошадях по электронной почте пересылать можно? Вместо меловой доски использовать электронный проектор? Ерунда, никаких трансформирующих вайб-математику технологических разработок за последние 300 лет не было. Вайб-математику можно назвать особым разделом интроспективной психологии (т.е. тщательным построением и исследованием конструкций ума), или сортом "настольной игры" (т.е. манипуляцией абстрактными объектами по строгим правилам), или художественной литературой определённого жанра (написанием текстов для взаимного развлечения и критики). Лейденская декларация призывает вайб-математиков сплотиться и... и что делать? Давайте посмотрим отдельные тезисы. Для громкого заявления мирового уровня, которое предполагается обсуждать на всегалактических конгрессах декларация на удивление беззубая, к тому же специфичность предметной области заведомо не вызывает сочувствия у широких кругов населения. "Искусственный интеллект нарушает авторские права математиков". А авторские права художников,
9 · 497 ·
Математика как верификация научного знания Антон Русинов (@hyperhistory) комментирует предыдущий пост: Там, кстати, есть проблема даже более существенная, чем чувства людей с учеными степенями. Сама академия — это же центр верификации т.н. объективного знания. Ну типа "глобальное потепление существует" :) Это работает потому что помимо очевидных пропагандистских лозунгов академия занята поддержанием номенклатуры реального знания, и, что важней, имеет на него монополию. Если разрушается монополия на верификацию теорем, то разрушается и монополия на объявление лозунгов "научными фактами". И тут не зря закрутилось именно вокруг математики. Она во-первых сама по себе слишком точная, если доказательство написано — не отвертишься! А во-вторых не требует дорогого оборудования, экспериментов, подтверждения экспериментов и т.п. Математическое доказательство верифицирует само себя. Максимальный анархизм. — Глобальное потепление существует — Кто сказал? — Ученые! — Почему им надо верить? — А они теоремы доказывают. Вот ты доказываешь? — Да, вот ссылка на мой блог — РЯЯЯЯ
4 · 1K ·
Другая математика (1/2) (Стоит отметить, что я не специалист в математике, так что дальнейшее, если угодно, можно воспринимать как наивный взгляд со стороны, к которому специалисты могут сделать замечания или целиком опровергнуть.) Можно провести такую аналогию: математика это блокчейн, у которого есть прикладные и системные (инфраструктурные) компоненты. Основная работа чистых математиков это что-то вроде майнинга – внешне бессмысленная трата когнитивных усилий по формулировке и поиску решений неких синтетических задач. В этой аналогии "вайб-математики" и их организации это различные узлы по производству и верификации математического знания. Возмущение внедрению искусственного интеллекта буквально сродни возмущению "расчётчиков" (была такая профессия) переходу на автоматику. Основой и определяющей чертой любого блокчейна является алгоритм консенсуса, реализующий некий способ того, как распределённая бухгалтерская книга может последовательно накапливать информацию и избегать противоречий (типа "двойных трат" и т.п.). Консенсусом в математике занимается математическая логика. Учитывая, что математика изначально претендует на некую универсальную абстрактную истину, "много математик" быть не может априори (если смотреть достаточно абстрактно и универсально, то истина по определению единственна). К началу 20-го века прямой человеческой интуиции перестало хватать для того, чтобы сохранять консенсус имплицитно. Начались поиски оснований математики, в роли которой примерно к 30-м годам XX века закрепилась теория множеств. Что является в значительной мере историческим курьёзом, чем объективно оправданным наилучшим выбором. Теория множеств (ZFC + FOL) служит чем-то вроде "языка ассемблера", низкоуровневого кода, в который можно потенциально перевести любое математическое утверждение из какой угодно теории. Потенциально можно, но реально этого никто не делает, также как программист, который пишет на языке высокого уровня не интересуется тем, в какие именно команды про
3 · 472 ·
M
Другая математика (2/2) Для обычных математиков тот язык, на котором они реально работают, это естественный язык (русский, английский и т.д.). Для математических логиков такое положение дел не является приемлемым. Создаются разнообразные теории, находящиеся в активной разработке и идущие на острие прогресса: логики высших порядков, теории типов, все эти HoTT, HOTT и SIP, множество разработок в области теории категорий и др. Не в малой мере рост интереса к математической логике вызван популяризацией proof assistants – языков программирования, выступающих в роли систем автоматизации математических доказательств (которые в свою очередь стали популярны на волне ИИ – общая идея захода в том, чтобы создать периметр безопасности/уверенности средствами формальной верификации, внутри которых ИИ мог бы искать оптимальное решение, гарантированно не нарушая заданные правила). Развитие математических теорий начинает идти по законам развития компьютерных систем, накопление знания соответствует росту кода библиотек, организация изложения материала превращается в дизайн архитектуры кода, декомпозицию модулей и стиль кодирования. Компьютеры стали неотъемлемой частью быта каждого человека, одновременно компьютерные алгоритмы стали метафорами, которыми мы живём – элементом культуры и ментальности. Математики беспомощно проспали этот момент, но математические логики давно были готовы, придумав современные передовые парадигмы языков программирования на сто лет заранее. Лейденский манифест де-факто приравнивает использование пруф-ассистентов к ИИ, ну какие-то технические штуки там, не то что наше, кондовое, читать тексты на бумаге и прямым озарением верифицировать верность написанного. При этом совершенно не понимая что в этот момент происходит, что сами делают – что вот эта подстановка "по определению" это альфа-эквивалентность, что вот это упрощение выражения это бета-редукция, и что вот этот перенос доказательств вдоль изоморфизма это вообще что-то из гомотопической теории типов
3 · 494 ·
Metaprogramming
Логика как "операционная система" для математики Всеволод Яшин (специалист по квантовой физике/теории информации) комментирует предыдущий пост: Хочу уточнить по поводу ценности логики и выступить в поддержку "вайб-математики". Аналогия с программированием компьютеров может быть высказана следующая: логика -- это создание операционных систем (в принципе, начиная с ассемблера до настройки оконного менеджера); вайб-математика -- это написание рабочих программ. Зачастую эти две области связаны и в каких-то местах идентичны, но у них разное мотивирование. Операционные системы создаются для того, чтобы запускать на них программы -- формальные системы дедукции создаются для того, чтобы формулироваь в них теоремы. Программы реализуются внутри операционной системы, но они самоценны, и если что их можно переписать под другую ОС -- точно так же с математическими теориями. Логика -- важнейшая часть математики. Но операционные системы без интересных программ не нужны (есть много примеров таких ОС!). Кроме того, во многих задачах полезны минималистичные операционные системы, и на какие-то баги операционных систем можно не обращать внимания. Усложнение структуры логики позволяет удобно работать с трудными математическими теориями, но разрабатывать сверхмудрённую операционную систему без прямой необходимости не нужно и вредно. И ещё, компьютерные алгоритмы тоже изначально пишутся на естественном языке!
1 · 516 ·
Логика как основа логики Ранее Александр Грызлов (специалист по логике и, в частности, теории типов; автор @covalue), отвечая на комментарий Антона Русинова, писал: Если совсем уже придираться, то "верифицирует сама себя" логика, математики одновременно логиков побаиваются и ими пренебрегают. Логики исторически как раз тесно были связаны с вычислительной техникой, и при этом зачастую под конец жизни слетали с катушек (Кантор, Гёдель, Тюринг, Пост).
2 · 560 ·
M
"Вайб-математика" как коллекция математических интуиций Если основаниями математики занимается логика, то что занимается основаниями логики? Та же логика. В основании разработки операционных систем – использованная в комментарии аналогия – получается тоже, в общем-то, лежит математическая логика (в самом широком смысле – а у неё именно такой смысл по умолчанию и есть) :) "Синтетический метод", т.е. разработка "маленьких логических фреймворков" под конкретные математические области, опирается в свою очередь на некие "методы разработки логических фреймворков". Что тоже является предметной областью математической логики. Такие "мини-фреймворки" по сути становятся "DSL", domain specific languages, в рамках некоего мета-логического (т.е. просто логического – "мета" в таком сочетании можно сокращать) "языка программирования". Как заметили выше, у конкретных областей математики есть свои внутренние основы, не сводящиеся к логической формализации – также как у конкретных прикладных компьютерных программ есть внутренний смысл, который было бы не естественно редуцировать до некоей последовательности вызовов API операционной системы. Главная задача этих конкретных областей в момент смены эпох, однако, мне кажется что та же самая – приращение "ламповой человечности" (которая в значительной мере недоступна современным ИИ – в основном из-за низкой "кросс-модальной" мощности). Проще говоря, основой "вайб-математики" является прирост именно неформального знания, "математических интуиций". Эталонным форматом фиксации таких интуиций являются видеозаписи в стиле 3b1b. (Конечно, сейчас этот формат далеко не совершенный – нужна большая интерактивность, динамичность и конфигурируемость.) "Вайб-математика" это, содержательно, коллекция вдохновляющих динамических иллюстраций. Иллюстраций, позволяющих напрямую прикоснуться к оригинальной ментальности математиков, погруженных в ту или иную предметную область.
718 ·
M
Metaprogramming
Ссылка
нажмите — покажем
Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Лаборатории формальной математики стартует курс по современным теориям типов. Лекции читают @akuklev и @clayrat по средам, примерно по часу, частота - раз в неделю (с летними пропусками). Начнём с обзора формальных языков и алгебраических теорий и пойдём до самого фронтира синтетических и направленных теорий типов. Примерная программа: 1. Вводная лекция 2. Языки и алгебраические теории 3. STLC и System T 4. PCF 5. System F и Fω 6. Зависимо-типизированные языки 7. Индукция 8. Рефайнмент- и фактор-типы 9. Эффекты в типах 10. HoTT 11. OTT/CuTT 12. □-полиморфизм 13. Модальные типы 14. Охраняемая рекурсия 15. Когезивные модальности 16. Направленные и симплициальные теории Не требуется предварительной подготовки по теории типов, но пригодятся базовые познания в функциональном программировании и алгебре. Знание теории категорий для понимания курса в целом не нужно, за одним исключением: мы будем обсуждать внутренние языки категорий и топосов (определение топоса дадим по ходу), где не помешает помнить определение декартово замкнутой категории. Ссылка на гугл-календарь, где будем публиковать даты лекций: https://calendar.google.com/calendar/u/0?cid=YzdkMGI0MTdlZjFiMTg1OGVmNzUyYjFkZjBjYjYwZjBhYTI0MGExNjlhMWVhZGY5OTcyOGYwOTM4OTVlMDliM0Bncm91cC5jYWxlbmRhci5nb29nbGUuY29t
6 · 630 ·
Metaprogramming
Фотография
нажмите — покажем
Blackjack Mulligan (что-то вроде – "Пират Второго Шанса"?) – профессиональный рестлер (настоящее имя Роберт Виндхем). В 1971 году во время одного из матчей произошла история, которую рассказывают так. Фанат, как бы прогретый образом антигероя, создаваемого Муллиганом, ударил его ножом в бедро. Нападающего схватил Мунсун, оппонент Муллигана, и отшвырнул. Считается, что его схватили офицеры полиции, дежурившие на представлении. Но отпустили, т.к. "посчитали частью представления". (Это объяснение добавил анонимный редактор википедии в 2015 году, до того момента не было никакого.) Муллиган провёл ещё один (тоже совершенно не постановочный, разумеется) матч сразу после, потом ушёл отдохнуть и залечиться. Наложили сотню швов (все рестлеры накладывают строго определённое число швов после подобных инцидентов). Таким образом проходной матч превратился в громкую историю, новость попала в газеты, Муллиган бустанул карьеру в небеса. Как-то мужик внешне напоминает одного президента, да и история с покушением...
612 ·
M
Политфандом и рестлинг Антон Русинов (История гиперинформации) регулярно сравнивает "политфандом" с рестлингом. Говорит что-то вроде, мол, не собираюсь на выборы ходить и вообще как-то всерьёз воспринимать политические события, пока политики не будут на сцене бороться, как в рестлинге. Аналогия, оказывается, идёт глубже чем можно было предположить. Всем очевидно, что рестлинг это постановка, поджанр циркового искусства, хотя до сих пор это официально не признаётся. Примерно как фокусничество, которое по-английски называется, как известно, "магия" (magic). В то время как сложно серьёзно заявлять, что монетка испарилась или угадывание карты объясняется телепатией там есть поджанр grand illusion, великих иллюзий: массовых исчезновений, левитаций, освобождения от цепей, прыжков с высоты, недельных голодовок и т.п., которые подаются как почти реальное чудо. В рестлинге перцу подсыпают вот как: говорят, мол, ты-то лично не веришь что это всерьёз, но есть люди – фанаты – которые верят. Они всерьёз ведутся на образ антигероев (типа злодеев из комиксов) некоторых рестлеров и нападают на них с ножом. С десяток таких громких случаев с 60х годов набирается. Подобный перчик позволяет и массовому зрителю проще практиковать suspense of disbelief (сознательно приостанавливать неверие, чтобы погрузиться в шоу) – раз какие-то дураки, которые в это верят, существуют, то и мне можно немножко поверить, всё как бы имеет смысл. Таким образом рестлинг является, конечно, образцом пропаганды. "Верит" в рестлинг не целевой зритель как таковой, а маленький гомункулус, который сидит у него в голове, этакий идеальный зритель, который получает право существовать в голове реального человека благодаря вере в то, что подобного сорта люди существуют в природе. На самом деле – не существуют. Весь десяток дел о том как пырнули рестлера ножом: 1. Зачастую вообще не содержат деталей нападения, составлены со слов самих рестлеров. 2. Если детали есть, подтверждаются только газетной статьёй и ссыла
8 · 672 ·
Metaprogramming
Фотография
нажмите — покажем
Вкратце про передачу денег через SWIFT Вот такие картинки рисуют обычно про SWIFT (крупнейшую международную систему межбанковских переводов). Складывается впечатление, что это в самом деле что-то типа древнего вебмани или современных блокчейнов. Слева решили деньги отдать, монетки по стрелочкам переходят, справа получаются. На самом деле SWIFT это просто сеть доставки сообщений. Типа факса или емейла – физическая сеть (сейчас уже в значительной мере, если не полностью, перешедшая на интернет), набор стандартных протоколов и системы адресов. Никаких денег она не передаёт, передаёт телеграммы: "высылайте 100 долл. на личные нужды". А деньги где? В американских банках. Банк плательщика даёт поручение перевести со своего счёта в американском банке на счёт банка получателя требуемую сумму. При этом американский банк имеет право запросить полный комплект документов по сделке (чтоб деньги не отмывали).
3 · 433 ·
Фотография
нажмите — покажем
Вкратце про CBDC и цифровой рубль В контексте SWIFT интересно взглянуть на CBDC – цифровые валюты центральных банков (в том числе цифровой рубль). На картинке китайско-ближневосточная система mBridge для взаимного (кросс-граничного) зачёта CBDC. Сверху типа "как обычно", т.е. как в SWIFT. Снизу как предлагается в экосистеме CBDC. Буквально выкинули американские банки из системы – два кружочка посередине. Вот в этом и всё различие, и больше никакого нет. Цифровой рубль обретает жизнь в контексте интеграции с цифровым юанем. Тема сближения с Китаем (напомню, до сих пор банковские переводы в Китай ходят ненадёжно, как и в другие страны) актуализируется на фоне общей геополитической обстановки, и на отдалённой периферии глобальных переговоров вспыхивают протуберанцы новых логотипов цифрового рубля и всё подобное прочее.
5 · 495 ·
Серия постов по CBDC Многократно обсуждали тему CBDC, в том числе в те периоды, когда она не была в тренде. Конечно, вкупе с изложенным выше есть и второстепенные вещи: одновременно с отвязкой от legacy американский платёжных систем, чтобы два раза не вставать, хочется провести социальные и технические эксперименты. Например, по ограничению категорий платежей, по "окрашиванию монет", по "двухконтурной экономике", по электронным оффлайн-платежам, по свободному доступу частных (включая небольшие) организаций к банковским API, по внедрению "блокчейна", собственно по урезанию роли частных банков и расширению роли центробанков в розничном обслуживании. Всё это глубоко второстепенно, вторично и является соблюдением приличий и служит легитимизации основной цели: выкидыванию из цепочки взаимных платежей американских банков. Ранее на тему СВDC писали: – Вкратце про стейблкоины (18.03.2022) – Про золоторубль и пример образа будущего (2/4) (20.04.2022) – Вкратце про CBDC (31.03.2023) – Единодушие по вопросам CBDC (07.04.2023) – Реофшоризация народных активов (06.05.2023) – Цифровые рупии в контексте международных отношений (16.07.2023) – Перевод цифровых рублей между пользователями (17.07.2023) – Вкратце о первой редакции цифрового рубля (17.07.2023) – Борьба экономистов с ракетостроителями (17.07.2023) – Вкратце про альтернативу "национальным валютам" (14.08.2023) – Окрашенные монеты: исторический контекст и текущие реалии (1/4) (16.08.2023) – Забытый мастерчейн и обретённый цифровой рубль (16.08.2023) – Окрашенные монеты: AML на стероидах? (2/4) (17.08.2023) – Эволюция взглядов разных ветвей власти на тему "окрашивания цифровых рублей" (17.08.2023) – Окрашенные монеты: "токенизированный безналичный рубль" (3/4) (18.08.2023) – Разметка реальности и биткоин (13.10.2023) – Криптоконспирология (12.01.2024) – Сотрудников возвращают с удалёнки в офис... А цифровой рубль не внедряют... (27.02.2025) – ИИ-специалист, идентичный натуральному – из комментариев 2/4 (30.11.2024) – В
5 · 536 ·
M
Из обсуждений по CBDC 1. Читатель пишет: Гипербанк может открыть гражданину РФ долларовый счет. ДядяЛяоБанк может открыть китайскому гражданину долларовый счет. ЛаоВайИнтернешнл оперирует в долларах среди прочих операций инвалюты. В таком случае, насколько я понимаю, перевод в долларах по SWIFT пройдет [без клиринга в американском банке] В теории возможна схема евродолларов (https://en.wikipedia.org/wiki/Eurodollar) – третий банк держит достаточный запас долларов США, в рамках которого можно производить зачёт долларовых переводов своим пользователям. На практике по подобным "вложенным расчётам", даже если нет движения средств по родительскому счёту, должна подаваться отчётность в банк родительского счёта, google e.g. "nested banking regulations". 2. Читатель пишет: Во всех таких соображениях надо всегда помнить, что юаня два, офшорный (конвертируемый, используется во внешней торговле) и оншорный (внутрикитайские билеты для отоваривания на складах-магащинах, раздаются населению, курс искусственный). В mbridge покупается офшорный юань (с огромным спредом), а потратить можем только на одобренные Пекином (внеэкономически) товары и услуги опять по завышенному курсу [...] Т.е. это скорее дегдарация финансовой системы [...] которая продиктована [...] внутрикоррупционными китайскими потоками, как перевести ИЗБЫТОЧНУЮ, сумасшедшую массу внутреннего юаня во внешний, а потом перевести внешний уже через гонконг и сингапур в настоящие доллары. Это очень интересно. Из общих соображений ясно, что "сближение РФ с Китаем" будет происходить максимально противоположно идеям "равноправного партнёрства" или "многополярного мира" 3. Читатели обсуждают: – [Чтобы можно было вести межбанковский клиринг наличной валюты и не беспокоиться об износе банкнот,] надо просто пачки по 100 купюр в пластиковый чехол класть и использовать для расчетов между банками и организациями. Возить ящики таких коробочек. – Или даже не возить. Свезти все в одно охраняемое помещение и сделать базу данных
3 · 623 ·

Открытая публичная лента из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Чего мы не делаем · Убрать страницу из выдачи · Каталог · Поиск · Как мы считаем