В современном мире код перестал быть просто инструментом инженерии, превратившись в цифровую магию, которая управляет физической реальностью. В глубоком философском диалоге Брайан Китинг и ученый, специалист по сложным системам Сэм Арбесман обсуждают, как программное обеспечение формирует нашу цивилизацию, почему научные факты имеют «период полураспада» и что общего у современного программиста с выпускником Хогвартса.
✨ Код как новая магия и гуманитарная дисциплина 1:51
Название новой книги Сэма Арбесмана «Магия кода» несет в себе двойной смысл. Во-первых, по мнению автора, это попытка возродить чувство чуда и восторга от технологий, которое многие утратили в эпоху постоянных жалоб на «сломанный» цифровой мир. Арбесман вспоминает свои детские впечатления от Commodore VIC-20 и первых Macintosh как время чистого вдохновения.
Во-вторых, гость настаивает на серьезном отношении к метафоре заклинаний:
- На протяжении тысячелетий люди мечтали о способности изменять мир с помощью слов и текстов.
- Последние 80 лет цифровая эра воплощает эту мечту: написание текста на экране реально передвигает деньги, открывает двери и управляет самолетами.
- Код — это не просто ветвь инженерии, а гуманитарная дисциплина, тесно связанная с философией, лингвистикой и биологией.
Арбесман отмечает, что в технологической среде часто процветает «гордое невежество» по отношению к истории. Он считает, что понимание исторического пути технологий и их зависимости от пройденного пути (path dependence) критически важно для понимания нашего настоящего.
📜 От свитков к универсальной машине Тьюринга 5:44
Брайан Китинг проводит параллель между историческим развитием носителей информации и устройством компьютера. Он сравнивает современный компьютер с кодексом (книгой), обеспечивающим случайный доступ к данным, в то время как машина Тьюринга в своей теоретической основе больше напоминает бесконечный пергаментный свиток.
Сэм Арбесман поясняет основы теории вычислений:
- Универсальность Тьюринга: Как только язык программирования или машина способны манипулировать информацией с использованием ветвлений (if-statements) и циклов, они достигают уровня универсальности и могут выполнить любое теоретически возможное вычисление.
- Архитектура фон Неймана: Большинство современных устройств следуют этой традиционной структуре, которая позволяет абстрагироваться от аппаратного обеспечения.
Собеседники обсуждают вопрос: можно ли считать живую клетку или дерево компьютером? Арбесман полагает, что в широком смысле — да, но это «нетрадиционные вычисления». Если клетка и является компьютером, то её архитектура стохастична, вероятностна и фундаментально отличается от детерминированных чипов в наших ноутбуках.
⏳ Мудрость мимолетности: почему софт не вечен 11:22
Одной из центральных тем беседы стала «мудрость вычислений». Сэм Арбесман выдвигает парадоксальный тезис: истинная мудрость в программировании приходит через осознание эфемерности программного обеспечения.
Ключевые аргументы в пользу этой позиции:
- Информационная энтропия: Веб-сайты пятилетней давности умирают, ссылки перестают работать. Например, исследование показало, что большинство веб-адресов, цитируемых в решениях Верховного суда США, больше не существуют.
- Зависимость от контекста: Код опирается на библиотеки и оборудование, которые быстро устаревают. Вы не можете запустить старую программу на новом железе без специальных усилий.
- Микрокосм человеческого состояния: Разработчик в крупной компании знает, что его код, скорее всего, будет переписан через пару лет. Это напоминает нам о краткости человеческого существования на планете.
В отличие от моста, который строится на десятилетия, софт — это текучая субстанция.
🧙♂️ Демократизация заклинаний: от волшебников к «домашней кухне» 15:38
Арбесман продолжает сравнение программирования с магией через призму обучения. Традиционно код требовал «семи лет в Хогвартсе» — долгого и трудного обучения, чтобы понимать внутренние механизмы системы. Программисты использовали своего рода «гримуары» — справочники рецептов и алгоритмов.
Однако сейчас ситуация меняется:
- Vibe Coding и ИИ: По мнению гостя, современные инструменты на базе ИИ позволяют людям «наколдовывать» нужный софт без глубоких технических знаний.
- Концепция «домашней еды»: Ссылаясь на эссе Робина Слоуна, Арбесман утверждает, что приложение не обязательно должно быть масштабируемым продуктом на миллионы пользователей. Оно может быть как домашний ужин — создано только для себя или своей семьи для решения конкретной маленькой задачи.
- Код как часть Liberal Arts: Ведущий и гость сходятся во мнении, что основы программирования должны преподаваться как часть общего гуманитарного образования.
🐛 Обратная сторона сложности: баги как способ познания 25:36
Брайан Китинг поднимает вопрос о темной стороне кода — вирусах и ошибках. Арбесман считает, что баги и сбои — это неизбежный результат создания систем, сложность которых превышает возможности человеческого мозга. Мы не эволюционировали для понимания систем с десятками миллионов строк кода.
Тем не менее, Арбесман предлагает оптимистичный взгляд на неудачи:
- Окно в реальность: Сбой подсвечивает разрыв между тем, как мы представляли работу системы, и тем, как она функционирует на самом деле.
- Физичность цифры: Ошибки напоминают о материальности интернета. Арбесман приводит пример с МРТ-сканером в больнице: утечка гелия вывела из строя только устройства Apple, так как атомы гелия проникали внутрь специфических чипов.
- Инъекции хаоса: В индустрии, например в Netflix, используют систему Chaos Monkey, которая намеренно отключает части системы, чтобы проверить её на устойчивость.
📊 Смиренная мощь электронных таблиц 36:06
Арбесман называет электронные таблицы самым популярным и недооцененным способом программирования в мире. Созданная в 1970-х программа VisiCalc стала первым «киллер-фичей» для персональных компьютеров.
Особенности таблиц по мнению эксперта:
- Они позволяют моделировать мир, хотя любая модель — это упрощение.
- Любой, кто пишет формулу в ячейке, по сути, занимается программированием, даже если не осознает этого.
- Это самый визуально понятный способ увидеть, как данные «текут» через расчеты.
🐧 Феномен Unix: «Гильгамеш» цифрового мира 39:21
Обсуждая долговечность систем, собеседники выделяют Unix. Созданная в Bell Labs (там же, где открыли реликтовое излучение), эта система пережила многие страны и корпорации.
Секрет успеха Unix, по мнению Арбесмана, заключается в:
- Малых примитивах: Наборе простых инструментов, которые можно комбинировать бесконечным числом способов.
- Текстуальной традиции: Сообщества разработчиков открытого ПО напоминают древних сказителей, которые дополняли и полировали мифы на протяжении поколений, пока те не становились совершенными.
- Устойчивости: Unix и Linux сегодня можно найти везде — от холодильников до глубоководных аппаратов.
🤖 Тест Арбесмана для ИИ и гипотеза симуляции 43:55
Что касается ИИ, Арбесман придерживается классического определения: «ИИ — это всё, что компьютеры пока не умеют делать». Он признает, что мы уже прошли низкоуровневую версию теста Тьюринга, но считает, что нам еще далеко до истинной научной креативности.
Критерии Арбесмана для признания AGI (общего искусственного интеллекта):
- Способность совершить по-настоящему новаторский творческий прыжок.
- Открытие новой физической теории или получение Нобелевской премии.
Относительно гипотезы симуляции гость настроен агностически. Для него это не столько вопрос физики, сколько современный «митос» — поиск смысла в технологическом мире. Он предпочитает рассматривать гипотезу симуляции как окно в границы вычислений и возможность найти «пасхалки» в самой реальности, подобно скрытому имени разработчика в игре Adventure на Atari 2600.
🧬 Период полураспада фактов 55:17
В завершение встречи обсуждается первая книга Сэма «Период полураспада фактов». Основной тезис: наши знания не статичны, они меняются с измеримой скоростью.
Примеры «распада» знаний:
- Биология: Долгое время в учебниках писали, что у человека 48 хромосом, хотя на самом деле их 46. Ошибку не замечали десятилетиями из-за несовершенства методов подсчета.
- Палеонтология: Динозавры из неповоротливых чешуйчатых ящеров превратились в быстрых пернатых существ.
- Медицина: Считается, что значительная часть медицинских знаний устаревает в течение нескольких лет после выпуска врача из университета.
Арбесман подчеркивает, что наука — это не свод истин, а «черновик», который постоянно редактируется. Самыми опасными он называет «мезофакты» — знания, которые меняются не слишком быстро и не слишком медленно (например, численность населения планеты). Мы выучиваем их в школе и забываем обновлять в течение жизни.
