14 Jul 2026, 00:12 UTC346 views21 reactionsread 6 August 2026 Политфандом и рестлинг
Антон Русинов (История гиперинформации) регулярно сравнивает "политфандом" с рестлингом. Говорит что-то вроде, мол, не собираюсь на выборы ходить и вообще как-то всерьёз воспринимать политические события, пока политики не будут на сцене бороться, как в рестлинге.
Аналогия, оказывается, идёт глубже чем можно было предположить.
Всем очевидно, что рестлинг это постановка, поджанр циркового иску…
👍11❤5🔥5
14 Jul 2026, 00:10 UTC323 views8 reactionsread 6 August 2026 Photo
Blackjack Mulligan (что-то вроде – "Пират Второго Шанса"?) – профессиональный рестлер (настоящее имя Роберт Виндхем).
В 1971 году во время одного из матчей произошла история, которую рассказывают так.
Фанат, как бы прогретый образом антигероя, создаваемого Муллиганом, ударил его ножом в бедро.
Нападающего схватил Мунсун, оппонент Муллигана, и отшвырнул. Считается, что его схватили офицеры полиции, дежурившие на пр…
🔥6👍2
7 Jul 2026, 14:32 UTC449 views3 reactionsread 6 August 2026 Онлайн-курс «Современные теории типов»
В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Лаборатории формальной математики стартует курс по современным теориям типов. Лекции читают @akuklev и @clayrat по средам, примерно по часу, частота - раз в неделю (с летними пропусками). Начнём с обзора формальных языков и алгебраических теорий и пойдём до самого фронтира синтетических и направленных теорий типов. Примерная прог…
🔥2❤1
22 Jun 2026, 09:47 UTC586 views16 reactionsread 6 August 2026 "Вайб-математика" как коллекция математических интуиций
Если основаниями математики занимается логика, то что занимается основаниями логики? Та же логика. В основании разработки операционных систем – использованная в комментарии аналогия – получается тоже, в общем-то, лежит математическая логика (в самом широком смысле – а у неё именно такой смысл по умолчанию и есть) :)
"Синтетический метод", т.е. разработка "мале…
🔥8👍6❤2
22 Jun 2026, 08:32 UTC425 views8 reactionsread 6 August 2026 Логика как основа логики
Ранее Александр Грызлов (специалист по логике и, в частности, теории типов; автор @covalue), отвечая на комментарий Антона Русинова, писал:
Если совсем уже придираться, то "верифицирует сама себя" логика, математики одновременно логиков побаиваются и ими пренебрегают. Логики исторически как раз тесно были связаны с вычислительной техникой, и при этом зачастую под конец жизни слетали с катуш…
🔥5👍3
22 Jun 2026, 08:17 UTC395 views9 reactionsread 6 August 2026 Логика как "операционная система" для математики
Всеволод Яшин (специалист по квантовой физике/теории информации) комментирует предыдущий пост:
Хочу уточнить по поводу ценности логики и выступить в поддержку "вайб-математики".
Аналогия с программированием компьютеров может быть высказана следующая: логика -- это создание операционных систем (в принципе, начиная с ассемблера до настройки оконного менеджера); вайб-м…
❤3👍3🔥3
20 Jun 2026, 21:30 UTC370 views15 reactionsread 6 August 2026 Другая математика (2/2)
Для обычных математиков тот язык, на котором они реально работают, это естественный язык (русский, английский и т.д.).
Для математических логиков такое положение дел не является приемлемым. Создаются разнообразные теории, находящиеся в активной разработке и идущие на острие прогресса: логики высших порядков, теории типов, все эти HoTT, HOTT и SIP, множество разработок в области теории катего…
🔥9👍6
20 Jun 2026, 21:30 UTC347 views14 reactionsread 6 August 2026 Другая математика (1/2)
(Стоит отметить, что я не специалист в математике, так что дальнейшее, если угодно, можно воспринимать как наивный взгляд со стороны, к которому специалисты могут сделать замечания или целиком опровергнуть.)
Можно провести такую аналогию: математика это блокчейн, у которого есть прикладные и системные (инфраструктурные) компоненты.
Основная работа чистых математиков это что-то вроде майнинг…
🔥9❤3👍2
20 Jun 2026, 20:13 UTC851 views11 reactionsread 6 August 2026 Математика как верификация научного знания
Антон Русинов (@hyperhistory) комментирует предыдущий пост:
Там, кстати, есть проблема даже более существенная, чем чувства людей с учеными степенями. Сама академия — это же центр верификации т.н. объективного знания. Ну типа "глобальное потепление существует" :) Это работает потому что помимо очевидных пропагандистских лозунгов академия занята поддержанием номенклатуры ре…
🔥8👍3
20 Jun 2026, 14:17 UTC381 views23 reactionsread 6 August 2026 Вайб-математика и аппаратчики
Эпоха искусственного интеллекта заостряет разделение математики на несколько частей.
Главная и подавляюще распространённая (как по числу математиков, так и по объёму содержания или числу открытий) математика это, назовём так, "вайб-математика" – интуитивная ("неформальная") математика.
Когда лектор пишет что-то на доске, размахивая руками – это вайб-математика. Когда студент решает в …
👍9🔥8❤6
13 Jun 2026, 22:16 UTC642 views21 reactionsread 6 August 2026 @GrandHamsterGms отвечает на пост, вспоминая мысли К.А. Крылова:
...зачем городить огород с тоталитарными системами ущемления, если можно оставить всё как есть? Люди будут ходить в офисах, тыкать кнопки, получать зарплату...
В самом деле, ни ММО, ни "образования будущего", ни гулагов не надо – людей может занять тем, что их и так уже сейчас занимает – теми же работами, что они сейчас делают. Только делать будет ИИ,…
❤15👍3🔥3
13 Jun 2026, 19:25 UTC653 views19 reactionsread 6 August 2026 Театр экономики
В значительной мере любая организованная деятельность это театр: сам факт наличия зафиксированных ролей делает их исполнение чем-то наносным, "неаутентичным".
Однако достижения ИИ обостряют и доводят до предела подобный расклад. Картинка получается вполне себе научно-фантастическая: достигнута технологическая сингулярность, а люди по-прежнему ходят работать в небоскрёбы.
А зачем?
Взять текущий уро…
👍12🔥6❤1
Showing the 12 most recent of 19 posts we hold for @metaprogramming. 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.