Alexander Granin - Lambda Calculus MC

Говорят, Jason Arday, о котором я написал один пост назад, найден мертвым. Такие дела

Но как с агентом ни садитесь, Вы в программисты не годитесь.

💪 Он пробежал 600 миль за 6 дней (965 км). 🦾 Он пробежал 30 марафонов за 35 дней, последние 9 - с переломом ноги. 🎞️ Он даже снимался в документальных фильмах 1964 года. Надо полагать, в возрасте -21 (минус 21) год, поскольку сам родился в 1985. 📖 А еще он опубликовал книгу "Being Young, Black and Male (Palgrave)", - уже в будущем, потому что сейчас книги никакой нет, а есть заявка на нее. Ну прекрасно же? "Тебе бы не Бродяжником зваться, а Крылоногом. Придет время - песни сложат об этом вашем походе. За неполные четверо суток одолели вы четырежды двадцать и пять лиг! Крепки же мышцы у потомков Элендила!" А началась история с того, что он стал "самым молодым черным профессором Кембриджа". Надо полагать, он предъявил свою машину времени ⏳, на которой катался в прошлое и в будущее, и ему дали профессорское звание. По дисциплине Critical Race Theory. Ну а куда еще с такими достижениями? Жаль, что вскрылся плагиат его диссертаций. Такой талант загубили, черти-правдоискатели! Большой талант. Большой черный... талант. Плагиат в области псевдонаучной чуши. Хороший штрих к портрету этого тотального лгуна, а? Зовут его Jason Arday. Рекомендую ознакомиться: как холодный душ, когда понимаешь, в какое время живем. Не первая такая история, да и не последняя. Явление это массовое, скандалов было уже много - и еще будут. Скажете - ну и пусть сидят в своей идеологической DEI псевдодисциплине. Чай, не физика или биология... Однако я не сомневаюсь, что в физике и биологии то же самое. Свидетельства у Сабины Хоссенфельдер ищите или, например, у Дробышевского. А по литературе можно с каналом Pens and Poison ознакомиться. Там девушка славянского происхождения рассказывает, как на литературном отделении училась, и литературы там не было. Сплошная критическая теория и пропаганда. Тут себя уговариваешь подставлять к своим книгам (реально существующим!) эпитет "великолепная", "замечательная". Но сомневаешься - нескромно как-то, может, не надо? Надо. Мы и без того проигрываем конкуренцию, потому что все делаем по-настоящему, руками и мозгом: долго, трудно, через страдания. Если еще и скромничать будем, вот такие товарищи все заполонят.

Разработка с агентами прекрасна, говорили они. LLM умный как человек, говорили они.

Мне 40. Подводить итоги не хочется, а планами поделиться можно. Через год я допишу НФ роман "Сопряжение Грампуса Грисеуса". Уже сейчас видно: это невероятное произведение. Так научную фантастику еще не писали. Я заложил несколько принципов: - Принципы Стругацких ("ЧУДО, ТАЙНА, ДОСТОВЕРНОСТЬ", "Отказ от объяснений", "Фантастика - это литература", "Моральная и этическая неоднозначность" ("Проблема вагонетки")) - Некоторые принципы Лема (философичность, технологическая достоверность, документальность) - Принцип Хемингуэя ("Принцип айсберга") - Принцип Чехова ("Чеховское ружье") - Ряд других (структурных, нарративных, стилистических) И ввожу свой собственный принцип: "Научная фантастика - это математическая теорема". Принцип наследует "чеховскому ружью", но расширяет его. Если для "ружья" достаточно, чтобы оно висело в начале произведения (заявка предмета) и выстрелило где-нибудь в конце (использование заявленного предмета), то для теоремы нужно, чтобы было много аксиом (заявки), были промежуточные выводы (механизмы) и в конце - неизбежная теорема, где эти вещи использованы для доказательства. Детективный жанр частично следует принципу математической теоремы с той разницей, что сыщик находит и накапливает улики. Он не вправе их создавать, он - наблюдатель. А в моем принципе герой создает и использует элементы нарративной теоремы. Аксиомы даются тезисами, персонаж комбинирует их в сюжетных и смысловых механизмах, получает новые элементы, с которыми уже приходит к финалу. Элементы подобного повествования участвуют в сюжете и судьбах персонажей, а не просто присутствуют. Этот принцип я впервые опробовал на рассказе "Лунное сияние". Там аксиомами дана природа пришельцев, потом ученые используют приборы, чтобы добыть новые знания (механизмы, леммы), и из этого знания строится финальная защита Земли. Попробуйте придумать другой результат, то есть, опровергнуть теорему или доказать ее иначе. Когда закончу первый роман, следует написать еще два. Одна книга - случайность, две - инерция, три делают автора. Будет сложно. Структурно и идейно сделать лучше, чем "Сопряжение", вряд ли получится. Возможно, навык письма и возрастет, но такое же богатое наполнение брать неясно где. P.S. Так как люди потеряли способность читать внимательно, для рассказа "Лунное сияние" я добавил раздел "Скрытое", где перечислил тайные элементы, скрытые или явные отсылки и прочие аллюзии. Помимо прочего, никто, похоже, не понял явной параллели с "Одиссеей". Рассказ, напомню, участвовал в конкурсе и дальше первого круга не вышел. https://graninas.com/%d0%bb%d1%83%d0%bd%d0%bd%d0%be%d0%b5-%d1%81%d0%b8%d1%8f%d0%bd%d0%b8%d0%b5/

В апреле я написал сатирический научно-фантастический рассказ "Для колыбели человечества". В рассказе всего две страницы, и на этих двух страницах я применил около десятка писательских техник, включая двойные смыслы, иронию и новаторскую игру слов, которой горжусь. Нашлось даже место одной оригинальной научно-фантастической идее. Кроме того, у произведения нестандартный нарративный принцип. https://graninas.com/2026/07/19/%d0%b4%d0%bb%d1%8f-%d0%ba%d0%be%d0%bb%d1%8b%d0%b1%d0%b5%d0%bb%d0%b8-%d1%87%d0%b5%d0%bb%d0%be%d0%b2%d0%b5%d1%87%d0%b5%d1%81%d1%82%d0%b2%d0%b0/ Но ничто из этого не помогло рассказу на конкурсе, куда я его отправлял. И вообще, то, как я пишу: с глубиной, с подтекстом, с писательскими приемами - это все вне ожиданий и предпочтений сегодняшнего читателя. Я не пишу жвачку. Я не пишу "про чуйства". Эмоции - не главное в моих произведениях. Потому что я пишу о вечном и общечеловеческом, а "чуйства" и эмоции - мимолетны, индивидуальны и общество не улучшают. Но сегодня человечество живет в постоянной экзальтации. По сути, общество находится в состоянии тихой непрекращающейся истерики. Откройте Ютуб - он завален контентом, адресующим к низменным человеческим сторонам и резким эмоциям. Негатив распространяется со скоростью взрыва, тогда как спокойные интеллектуальные произведения игнорируются как скучные, медленные, требующие усилия. Чтение художественной литературы, к сожалению, тоже умирает. Все книжные умы, которых я уважаю, уже не могут отрицать этот тренд. Чтение несовместимо с современным образом жизни. Литература уходит в глубокую нишу. Человеку понимать человека больше не нужно - достаточно притворяться. Да и как понимать, если все, действительно, притворяются теми, кем не являются. Людям сегодня выгоднее казаться, а не быть. И все же я продолжаю писать научно-фантастический роман под рабочим названием "Сопряжение Грампуса Грисеуса". Готово чуть больше половины, 7 глав, 300К знаков. Я пишу так, как никто не пишет (тем более ИИ). Конечно же, применяю очень многие писательские приемы и техники - не потому что могу, а потому, что это имеет смысл и согласовано с общей идеей и архитектурой произведения. И появляется удивительная глубина, которая уже сейчас меня чрезвычайно радует. К сожалению, я понимаю, что и здесь я бегу за поездом, который уже наполовину сорвался в пропасть. Как вы видите, я очень недоволен временем. Просто мрак какой-то. Но я приверженец философии стоицизма, поэтому все равно делаю важное дело. Так было и с программистскими книгами, которые, я знал заранее, не получат должного внимания. Так и с НФ-романом, который, весьма вероятно, вообще не удастся издать. Но - поглядим.

Художественный текст - это способ говорить. А вы в своих книгах только и делаете, что молчите.

Путь страдания Весь май я разрабатывал игру Zeplrog с моим верным товарищем Агентом Смитом. (Стек - Qt C++ и Prolog, работающие в связке). Это было здорово. Быстрые циклы обратной связи. Стремительная разработка. Мгновенное прототипирование идей. Движок Prolog интегрирован за считанные моменты. Workflow для игровых сущностей реализован в мгновение ока. Общий каркас приложения - получите и распишитесь. Я только говорил, как раскладывать функциональность по папкам/слоям/архитектуре. И я сразу же заказал себе черновой интерактивный UI (основываясь на опыте, который я получил из разработки QtTGE). Это было классное время. Все мои хотелки воплощались в жизнь, и я видел свой прогресс каждый день, каждый час. Но прошел месяц и я упёрся в стену. Точнее - агент. Он, в принципе, мог и дальше фигачить код. Но я держал руку на пульсе и смотрел, что он генерирует. А развидеть это уже нельзя. Потому что это все - полнейший мусор. Работает? Более-менее. Фичи создаются? Да. Подсистемы нарастают? Конечно. Но сам код — полный хлам и откровенная дрянь. Я застрял. Точнее, не хотел двигаться дальше. Агент и так уже начинал жечь токены больше, чем нужно. Плохой код тратит токены с нарастанием воды из прорванной плотины. AI-агенты создают сложность из ничего. Как и многим человеческим разработчикам, концепция простоты им неизвестна. В общем, я получил код - чудовищно неэффективный и идиотский. Моя игра - сложная по задумке. Впереди самые важные подсистемы. Но так не будет - для них нет места в текущем бардаке. Не на уровне архитектуры и дизайна - я это жестко контролировал. На уровне кода. Весь июнь я страдал, переписывал, подчищал за Искусственным Идиотом. Выматывающее занятие. Самого Смита не запускал - бесполезно. Я - человек. Я знаю, что такое «хороший код» (правда, некоторые - не будем показывать пальцем (пока) - распространяют в хаскельных чатиках слухи, что я так себе программист и инженер; это помимо того, что я, оказывается, инфоцыганин с отвратными курсами (где они?) и что у меня нет высшего образования, которое я-де не осилил и бросил). А для него подобных категорий не существует. Результатом я, в целом, доволен, но вот неясно, где тот 100-кратный прирост скорости разработки. Похоже, его нет. В лучшем случае - десятикратный. Но и с таким приростом игру реализовать полностью будет проблематично. Так что ничего не обещаю. Картинка в следующем посте.

Роман "Джек из Тени" Желязны начинается со смерти и перерождения главного героя. Обладающий многими жизнями, Джек после отрубания ему головы пробуждается в отвратительном месте: на озере нечистот Глайв. Все люди, рожденные в Темных землях возрождаются тут, на Западном Полюсе, если у них остались жизни. Книжное место спауна в типичном Желязновском метафизическом стиле - в точности как координаты (0,0) в Майнкрафте. После смерти оказываешься там: без пожитков, без снаряжения, голый и уязвимый. Если не успел организовать кровать, конечно. Особенно интересна параллель гнойного озера Глайв и спауна анархического сервера 2b2t. Нулевые координаты сервера представляют собой безрадостное место хаотичной застройки, уничтожаемое и перестраиваемое поколениями майнкрафтеров, которые за многие годы преобразовали обычные майнкрафтовские ландшафты в характерный нечеловечески изысканный декадансный вид. Спаун майнкрафтовских анархических серверов неизбежно такой. На нем нельзя толком выжить без специальных навыков, и ничего не построишь. Любая постройка обречена. На спауне бывают все и неизбежно несут миру хаос и разрушение. Аналогия полная. Джек днями выбирается из мерзского места, перебиваясь случайными находками: дождевая лужа, неудавшийся грабитель (хотя что грабить у голых новорожденных? их убивают, как и в 2b2t - чтобы не занимали серверные слоты), почти ничего съедобного... несколько дней выживания в постоянной нужде и опасности, прежде чем выберешься в цивилизованные места. Получается, Желязны придумал спаун Майнкрафта, когда еще не было даже того, кто потом придумает сам Майнкрафт. https://static.wikitide.net/2b2twiki/e/e7/2b2t_Spawn_February_2020.jpg

Познал новую стадию фрустрации: нет ничего более раздражающего, чем подчищать за искусственным идиотом. LLM-based AI-агенты фундаментально ограничены. У них нет категории "хороший" и "плохой". Дай ему один и тот же художественный текст - и это будет "превосходно" или "полный шлак" в зависимости от промпта. Использовать LLM для оценки или редактуры текста - плохая идея. У него нет позиции, нет характера, нет первопринципов и жизненной философии. LLM мнется, как теплый пластилин, когда его сжимаешь. Можно придать какую угодно форму - но это будет не его позиция, а результат твоего усилия. Художественный редактор без личной позиции - это нонсенс. Пусть она будет какая угодно, пусть редактор говорит, что ваши тексты - шлак. Но позиция должна быть. Это базис для дискуссии. Каждый из вас может сказать "нет, должно быть именно так", потому что "я художник, я так вижу". Потому что у каждого из вас есть сверхзадача. Ваша - создать уникальное, вне текущих человеческих предпочтений. Его - удовлетворить эти самые предпочтения. Сверхзадачи противоречат друг другу, но они хотя бы есть. И можно поискать другого редактора. У LLM ничего этого нет. Ни сверхзадач, ни первопринципов, ни категорий "что такое хорошо" и "что такое плохо". Все усредняется к тому, что доминирует в информационном пространстве - к серости, по недоразумению называемой "культурным пластом человечества". Чего больше, на том текстовые генеративные нейросети и учатся. Точных определений у названных категорий нет. Сверхзадачи? Первопринципы? "Хорошо" и "плохо"? Как померить? По какой шкале? Это не математика, это философия. Многие считают философию пустой болтовней, недостойной внимания. Называют философию лжедисциплиной ни о чем. Не признают даже, что подобные заявления - уже позиция, следовательно - философия. Такой парадокс. Я слышал, что среди математиков и физиков нелюбовь к философии весьма распространена. Но практика показывает: без этих "эфемерных" (вполне реальных) категорий у LLM нет внутреннего substance. Нет содержания. Есть только форма, которую придает оператор. Как и у пластилина, внутри которого только пластилин. Как ни печально, мы живем в эпоху подмены содержания формой. Смотреть сквозь форму и видеть содержание (или понимать, что его там нет) - навык исчезающий, вымирающий из-за энергозатратности. Фейки, вранье, мошенничество, пустота, обман, постмодернизм. LLM вписывается прекрасно.

"Project Hail Mary" - никакая не "твердая научная фантастика" и почти вовсе не научная. Твердости в фильме не больше, чем в прочих голливудских фантастиках, где из научного - одно слово "квантовый", которое лепят на любую магическую штуку, чтобы придать ей весомости. "Убедительность" и "правдоподобность", которую приписывают фильму, разлетается на мелкие кусочки, если, вопреки массовым тенденциям, ненадолго включать критическое мышление. Фильм в равных пропорциях наполнен роялями в кустах, штампами и чушью, - триадой, направленной на среднего зрителя, жрущего, что дают. Для зрителя искушенного и начитанного "Проект Аве Мария" - сведение интеллектуальной научной фантастики к попкорновому продукту, к антуражу и нескольким голливудским штампам в духе "Дня Независимости". "Проект" не более достоверен, чем розовые единороги у вас во дворе. Фильм вообще не про научность, а про "отношалки". Если не сказать - "сношалки". С мозгом зрителя. "Project Hail Mary" мимикрирует под научную фантастику, но не является ею. Почему-то все разом забыли свои претензии к пятому измерению внутри черной дыры в "Интерстелларе". Некоторые даже умудряются сравнивать эти два фильма, хотя весовые категории разнятся на пару порядков. "Проект" и близко не шедевр. Масс-продукт от фантастики. Как и книги Вейра. Почему же популярен? "На безрыбье и рак рыба". На зачищенную поляну выпущено что-то авторское, рисковое, хоть и глубоко вторичное. Другой фактор - это инфлюенсеры, которые с радостью подняли фильм на щит и намеренно завысили ему оценки, поскольку в нем нет надоевшей всем "повесточки". В этом смысле дело благое, но истину искажать все же не стоит. А истина в том, что "Project Hail Mary" - это метамодерн, первая массовая ласточка в гниющем болоте постмодерна. И в этом главная причина, почему фильм популярен. Люди еще не осознают, но они хотят смены эпох. При всей среднячковости (на 7 из 10), фильм вскрыл это тайное желание. За ним, надо надеяться, последуют и другие, в которых чуши, надо надеяться, будет поменьше.

Пишу я программу - движок текстовых игр, клон TGE из "Космических Рейнджеров". Мне во всем помогает мой верный товарищ агент Смит. Я ему говорю: "У меня здесь есть парсер на моей прекрасной библиотеке монадических парсеров Free-Parsec. Парсер сейчас умеет так: ((2 * 4) + 5) >= 10, но не умеет так: 2 * 4 + 5 >= 10. Можешь ли ты посмотреть, как добавить поддержку приоритета операций и сделать скобки опциональными?" "Да не вопрос, дружище! - отвечает он. - Подправлю слегка там и немножко здесь, все отлично будет! Только библиотеку я твою выбрасываю к чертям, а парсер будет - кустарный, доморощеный. И даже тесты проходят!" Посмотрел я на кучу нового кода грустно... И смирился. Код-то хороший он написал. Ну а библиотека... Работала она хорошо. Надо будет - верну.

Встречайте: Free-Parsec 2.0! Полноценные монадические парсеры на С++, аналог хаскельного Parsec. https://github.com/graninas/cpp_parsec_free И даже два движка! Потренировавшись на кошках на "нормальной" Free-монаде, я добавил Church-encoded Free monad. Два движка - потому что дилемма: "нормальная" фри монада медленнее и проще, а закодированная по Черчу (GPT почему-то называет ее "церковной") - сложнее и быстрее. По сути, то же самое я когда-то провернул и с монадической STM для С++. Тоже два движка, тоже полноценная реализация хаскельной STM. https://github.com/graninas/cpp_stm_free Моя архитектура и мои подходы универсальны, работоспособны, продуктивны и прагматичны. Я создал десяток-другой проектов в доказательство, а также написал три книги. Functional Design and Architecture: Examples in Haskell Проектирование на уровне типов (Pragmatic Type-Level Design) И это все доступно уже лет десять как.

Я говорил, что программированием не занимаюсь уже? Забудьте. Я внезапно вернулся к своей библиотеке монадических парсеров на C++, которую сделал для конференции 8 лет назад. Фри монады, функциональщина, мои личные паттерны, уникальные подходы, вот это вот все. И переделал. Было: много проблем с дизайном ядра; неполные возможности парсеров; несколько неверных решений, и вот: не один слой free монад, а два, и оба - калеки, и комбинаторы в странных местах странно глючат. Стало: красота. Гораздо меньше кода, только один слой фри, и совсем без хаков. Возможностей - больше, проблем - нет. Библиотека ведет себя именно так, как должна. Мне очень помог ИИ - с ним я наконец понял, как этих чОртовы плюсовые рекурсивные много раз параметрические шаблоны заставить работать без хаков. И случился прорыв. Полирую библиотеку, добавляю в нее удобства и функциональность. Она мне нужна для другого проекта, тоже из старых. Ибо все остальные плюсовые парсеры - это адища для особо грешащих плюсовиков. А я натура тонкая, мне после Haskell ваш каменный век и даром не нужен. На подходе - удобный синтаксис без всяких там три раза вложенных лямбд. Этот синтаксис на вариадиках мне полностью проресечил ИИ. Я бы вряд ли справился, тем более что на плюсах не писал с тех самых пор. Не пишется литература - прогай на плюсах. И поймешь, что твои затыки с художественным текстом - мелочь. Покажу картинки в комментариях.

Мы готовы!) Вышли наконец-то :) https://t.me/podlodkanews/1737

Коллеги из подкаста "Подлодка" запустили новый проект: глубокое погружение в какую-нибудь тему. Очень глубокое, глубочайшее из всех возможных. Вашему вниманию - С++! И Антон Полухин, ведущий знаток языка в русскоязычном коммьюнити. В самом подкасте я тоже участвовал, аж трижды! Так что очень рад, что они продолжают производить смыслы для нас.

Трагедия нашего времени, что young adult вытеснил научную фантастику. Видимо, кто-то начал печатать: "НФ", но раскладку переключить забыл, и получилось "YA". И подумал: зачем, действительно, нужна НФ, заставляющая читателя думать, когда можно его катать на эмоциях с помощью YA.

Да, кстати. Подписывайтесь на канал @haskell_and_curry, который ведет Юра Сыровецкий, хорошо известный хаскеллист с огромным стажем. Канал про Хаскель. А на моем канале, вероятно, программирования почти не будет уже. Я сосредоточился на литературе сейчас и за айтишечкой почти не слежу. Подумываю над блогом/видеоблогом/колонкой о научной фантастике и фэнтези, где у меня тоже есть определенная экспертиза - как читателя, так и писателя. Поднимите руку 🤚, если вам тоже интересно. Продолжаю писать научно-фантастический роман под рабочим названием "Сопряжение Грампуса Грисеуса". Закончена вчерновую седьмая глава. Замысел немного расширился, так что это - середина произведения. Нужно еще около года. Уже сейчас понятно - это нечто особенное. Продолжаю работать.