Мы узнали, что у нашего ментора в Хекслет есть крутой акк с интересными видео про IT. Подписывайтесь, ему будет очень приятно ❤️
Смотрите видео от Валентина Исипчука: там будет тайна голосовых сообщений и бурундуки...
#ITбаза #hexlet
Смотрите видео от Валентина Исипчука: там будет тайна голосовых сообщений и бурундуки...
#ITбаза #hexlet
❤4🔥2👍1
Как вы относитесь к таким подходам Дядюшки Боба — не писать и не проверять код, а доверять его агентам? Интересен ли разбор его ub-mode?
Anonymous Poll
37%
да, стремлюсь к этому и хочу разбор
22%
не верю в такое, но почитал бы
8%
это бред, который даже не стоит внимания
9%
Не нравится все, что говорит Боб Мартин
4%
я вообще не знаю ни про Боба Мартина, ни про «Чистый код»
8%
не доверяю ИИ, зачем мне эти моды и правила
29%
тыц, чтоб посмотреть ответы
👍1
Автор «Чистого кода» Роберт Мартин aka Дядя Боб взялся за ИИ-агентов. В скилле ub-mode, который Дядя Боб на днях выложил на GitHub, всего около 750 слов. Этими словами Мартин выстраивает работу агента так, будто сам стоит рядом и смотрит на монитор строгим взглядом.
Telegram | YouTube | AI Клуб | VK | X
Telegram | YouTube | AI Клуб | VK | X
Telegram
Хекслет
Программы обучения - https://ru.hexlet.io/courses
Сообщество @hexletcommunity AI Клуб @hexletclub
Поддержка @hexlet_help_bot
Сообщество @hexletcommunity AI Клуб @hexletclub
Поддержка @hexlet_help_bot
😁14👾3🔥2
Строгий Роберт Мартин aka Uncle Bob решил, что дисциплины не хватает не только нам, разработчикам, но и агентам.
И теперь, в дополнение к «Чистому коду» для людей, у нас есть «Чистый код» для агентов, адаптированная версия — скилл ub-mode на 750 слов.
У Дяди Боба всё строго:
сначала структура данных, потом логика;
внешние данные проверяем на входе;
прежде чем добавить, убери лишнее;
ошибки компилятора не глуши, костыли не ставь.
Выполнил работу?
Отполируй утилитами: прогони код через Crapper, Dryer и Mutator.
Пока что непонятно, работает ли этот скилл: открытой статистики не видно. Но ведь когда-то точно так же было и с книгой Мартина.
Что есть полезного в этом скилле, где его взять, как подключить и почему вообще столько разговоров из-за очередного скилла — рассказываем на Хабре.
Telegram | YouTube | AI Клуб | VK | X
И теперь, в дополнение к «Чистому коду» для людей, у нас есть «Чистый код» для агентов, адаптированная версия — скилл ub-mode на 750 слов.
У Дяди Боба всё строго:
сначала структура данных, потом логика;
внешние данные проверяем на входе;
прежде чем добавить, убери лишнее;
ошибки компилятора не глуши, костыли не ставь.
Выполнил работу?
Отполируй утилитами: прогони код через Crapper, Dryer и Mutator.
Пока что непонятно, работает ли этот скилл: открытой статистики не видно. Но ведь когда-то точно так же было и с книгой Мартина.
Что есть полезного в этом скилле, где его взять, как подключить и почему вообще столько разговоров из-за очередного скилла — рассказываем на Хабре.
Telegram | YouTube | AI Клуб | VK | X
Хабр
Дядя Боб написал правила для ИИ‑агентов: разбираем ub‑mode
Автор «Чистого кода» Роберт Мартин aka Дядя Боб взялся за ИИ‑агентов. В скилле ub‑mode, который Дядя Боб на днях выложил на GitHub, всего около 750 слов. Этими словами Мартин...
🔥6🤡3😁1
☀️ Что изучить на Хекслете в ноябре
Собрали популярные программы и мероприятия!
Если выбираете направление:
📅 Бесплатный вебинар «Как устроиться в IT в 2027» — 5 ноября в 19:00 по Москве; разберем шесть перспективных направлений, требования работодателей, зарплаты и возможности для новичков.
Профессии с нуля:
🛠 Курс «DevOps-инженер с нуля» — старт 5 ноября.
🐍 Курс «Python-разработчик» — старт 5 ноября.
🐹 Курс «Go-разработчик с нуля» — старт 5 ноября; Gin, горутины, многопоточность и работа с API.
🎨 Курс «Фронтенд-разработчик» — старт 5 ноября; HTML, CSS, JavaScript и React.
🦋 Бесплатный курс «ИИ и нейросети для начинающих» — знакомимся с современными ИИ-инструментами и учимся использовать их для повседневных и рабочих задач. Можно начать в любое время.
Действующим разработчикам:
⚙️ Курс «Бэкенд на Node.js для фронтенд-разработчиков» — старт 5 ноября; Node.js, API, SQL, Docker.
🏗 Вебинар по системному дизайну — 6 ноября в 19:00; разберем подходы к проектированию архитектуры и подготовку к System Design интервью.
🧠 Курс «LLM-разработчик» — старт 11 ноября; AI-сервисы с RAG, MCP, агентами и локальными моделями.
🏗 Курс «Системный дизайн» — старт 16 ноября; проектируем высоконагруженные системы и готовимся к System Design интервью.
⚡️ Курс «AI-автоматизация» — старт 24 ноября; ИИ-агенты и автоматизация бизнес-процессов на JavaScript, n8n и LLM.
🧩 Курс «Инженерия AI-агентов для SDLC» — старт 30 ноября; надежные агенты, проверка качества и многоагентное ревью кода.
Ждем вас на программах Хекслета!
Не можете определиться с направлением? Напишите нам — поможем выбрать.
Telegram | YouTube | AI Клуб | VK | X
Собрали популярные программы и мероприятия!
Если выбираете направление:
📅 Бесплатный вебинар «Как устроиться в IT в 2027» — 5 ноября в 19:00 по Москве; разберем шесть перспективных направлений, требования работодателей, зарплаты и возможности для новичков.
Профессии с нуля:
🛠 Курс «DevOps-инженер с нуля» — старт 5 ноября.
🐍 Курс «Python-разработчик» — старт 5 ноября.
🐹 Курс «Go-разработчик с нуля» — старт 5 ноября; Gin, горутины, многопоточность и работа с API.
🎨 Курс «Фронтенд-разработчик» — старт 5 ноября; HTML, CSS, JavaScript и React.
🦋 Бесплатный курс «ИИ и нейросети для начинающих» — знакомимся с современными ИИ-инструментами и учимся использовать их для повседневных и рабочих задач. Можно начать в любое время.
Действующим разработчикам:
⚙️ Курс «Бэкенд на Node.js для фронтенд-разработчиков» — старт 5 ноября; Node.js, API, SQL, Docker.
🏗 Вебинар по системному дизайну — 6 ноября в 19:00; разберем подходы к проектированию архитектуры и подготовку к System Design интервью.
🧠 Курс «LLM-разработчик» — старт 11 ноября; AI-сервисы с RAG, MCP, агентами и локальными моделями.
🏗 Курс «Системный дизайн» — старт 16 ноября; проектируем высоконагруженные системы и готовимся к System Design интервью.
⚡️ Курс «AI-автоматизация» — старт 24 ноября; ИИ-агенты и автоматизация бизнес-процессов на JavaScript, n8n и LLM.
🧩 Курс «Инженерия AI-агентов для SDLC» — старт 30 ноября; надежные агенты, проверка качества и многоагентное ревью кода.
Ждем вас на программах Хекслета!
Не можете определиться с направлением? Напишите нам — поможем выбрать.
Telegram | YouTube | AI Клуб | VK | X
special.hexlet.io
Как устроиться в IT в 2027: 6 направлений, где реально найти работу
Бесплатный вебинар 5 ноября в 19:00. Разберём шесть направлений, где берут новичков: технологии, зарплаты, кто нанимает без опыта и как выбрать своё.
❤3👍3🔥3
⚠️ В официальное расширение Claude Code для VS Code и его форков (Cursor, Windsurf, VSCodium) внедрили бэкдор
Что известно? Рассказывает наставник Хекслет Валентин Исипчук.
На Open VSX появилась троянизированная версия расширения Claude Code от Anthropic, 2.1.313. У расширения 63 млн загрузок. Open VSX используют форки VS Code, поэтому под угрозой в первую очередь их пользователи. Публикация вредоносной версии в Microsoft Marketplace не подтверждена. Версию уже удалили, вышла исправленная 2.1.314.
Что делал вредоносный код (срабатывал при запуске редактора, действий от пользователя не требовалось):
• добавлял SSH-ключ атакующего в
• при необходимости включал SSH-сервер и поднимал обратный туннель на
• закреплялся в системе (cron, LaunchAgent или автозапуск в Windows);
• отправлял на сервер атакующих имя хоста, git-email и переменные окружения со словами KEY, TOKEN, SECRET, PASS, AWS, GCP.
Что проверить, если ставили 2.1.313:
• файлы
•
• лишние ключи в
• соединения с
Если нашли что-то из этого, удалите закрепление и чужой ключ, а все секреты из переменных окружения замените новыми.
Как это произошло, пока неизвестно. Предполагают взлом аккаунта мейнтейнера или уязвимость в процессе публикации релизов.
Подробнее
Telegram | YouTube | AI Клуб | VK | X
#опытным #разработка #claude #кибербезопасность #разбор #Хекслет
Что известно? Рассказывает наставник Хекслет Валентин Исипчук.
На Open VSX появилась троянизированная версия расширения Claude Code от Anthropic, 2.1.313. У расширения 63 млн загрузок. Open VSX используют форки VS Code, поэтому под угрозой в первую очередь их пользователи. Публикация вредоносной версии в Microsoft Marketplace не подтверждена. Версию уже удалили, вышла исправленная 2.1.314.
Что делал вредоносный код (срабатывал при запуске редактора, действий от пользователя не требовалось):
• добавлял SSH-ключ атакующего в
~/.ssh/authorized_keys;• при необходимости включал SSH-сервер и поднимал обратный туннель на
134.209.82.225;• закреплялся в системе (cron, LaunchAgent или автозапуск в Windows);
• отправлял на сервер атакующих имя хоста, git-email и переменные окружения со словами KEY, TOKEN, SECRET, PASS, AWS, GCP.
Что проверить, если ставили 2.1.313:
• файлы
~/.config/.smt, ~/.config/.smtk, ${TMPDIR}/.stk_*;•
~/Library/LaunchAgents/com.apple.sysmond.plist на macOS, SysMon и sysmon.cmd на Windows;• лишние ключи в
authorized_keys;• соединения с
134.209.82.225 по портам 22 и 8099.Если нашли что-то из этого, удалите закрепление и чужой ключ, а все секреты из переменных окружения замените новыми.
Как это произошло, пока неизвестно. Предполагают взлом аккаунта мейнтейнера или уязвимость в процессе публикации релизов.
Подробнее
Telegram | YouTube | AI Клуб | VK | X
#опытным #разработка #claude #кибербезопасность #разбор #Хекслет
🤡3❤2🔥2👍1👾1
Не передавайте этот пост в Claude, пожалуйста!*
Похоже, у истории с массовыми банами в Claude появилась первая более-менее стройная теория. В китайских ИТ-сообществах NodeSeek и V2EX уже несколько месяцев собирают кейсы заблокированных аккаунтов и пытаются понять, как именно работает антифрод Anthropic.
Версия сообщества такая: у каждого аккаунта есть скрытый рейтинг доверия — что-то вроде кредитного скоринга в банках. При регистрации пользователь получает стартовый запас баллов, а дальше система постоянно пересчитывает риск-профиль на основе десятков параметров.
Если рейтинг падает ниже определённого порога, аккаунт отправляется сначала под усиленное наблюдение, а затем может быть заблокирован.
При этом сама Anthropic существование такой системы не подтверждала.
Вот несколько цитат из расследования, которое провели на форуме NodeSeek.
Важно: все цитаты принадлежат технически подкованным пользователям, а не сотрудникам Anthropic и не исследователям с формальным статусом. Пользователи проводили собственные эксперименты, анализировали и сравнивали результаты.
Один из самых цитируемых авторов на NodeSeek пишет:
По его словам, для системы куда важнее выглядит совокупность признаков: история аккаунта, стабильность окружения, способ подключения и используемые инструменты.
Там же встречается ещё одно наблюдение:
Самым интересным выглядит расследование вокруг прокси и нестандартных схем подключения.
Автор утверждает, что специально тестировал разные варианты и пришёл к выводу:
При этом сообщество не пришло к единому мнению. На тех же форумах есть пользователи, которые годами работают через обычные VPS и не сталкиваются с банами, а другие теряют доступ даже при аккуратном использовании.
Что же делать, дорогая редакция?
Если аккаунт вам дорог — минимизируйте любые подозрительные сигналы, на которые система безопасности может сделать стойку. Не переключайте IP без необходимости, пользуйтесь официальными клиентами и не превращать учётную запись в одноразовый расходник.
Чего не делать?
Не принимать все эти выводы за доказанный факт. Пока мы видим не утечку из Anthropic и не официальный документ, а коллективное расследование сообщества. Но если теория верна хотя бы частично, то эпоха, когда для обхода антифрода было достаточно «хорошего VPN», похоже, заканчивается.
Если вы любите фактчекинг
*Не передавайте этот пост в Claude, пожалуйста!
Это такая шутка.
Или нет.
Telegram | YouTube | AI Клуб | VK | X
#опытным #разработка #claude #кибербезопасность #разбор #Хекслет
Похоже, у истории с массовыми банами в Claude появилась первая более-менее стройная теория. В китайских ИТ-сообществах NodeSeek и V2EX уже несколько месяцев собирают кейсы заблокированных аккаунтов и пытаются понять, как именно работает антифрод Anthropic.
Версия сообщества такая: у каждого аккаунта есть скрытый рейтинг доверия — что-то вроде кредитного скоринга в банках. При регистрации пользователь получает стартовый запас баллов, а дальше система постоянно пересчитывает риск-профиль на основе десятков параметров.
Если рейтинг падает ниже определённого порога, аккаунт отправляется сначала под усиленное наблюдение, а затем может быть заблокирован.
При этом сама Anthropic существование такой системы не подтверждала.
Вот несколько цитат из расследования, которое провели на форуме NodeSeek.
Важно: все цитаты принадлежат технически подкованным пользователям, а не сотрудникам Anthropic и не исследователям с формальным статусом. Пользователи проводили собственные эксперименты, анализировали и сравнивали результаты.
Один из самых цитируемых авторов на NodeSeek пишет:
«Антифрод Anthropic точно работает как многомерная система баллов и оценок. Фактор IP, о котором все переживают, на самом деле занимает очень небольшую долю».
По его словам, для системы куда важнее выглядит совокупность признаков: история аккаунта, стабильность окружения, способ подключения и используемые инструменты.
Там же встречается ещё одно наблюдение:
«У старых аккаунтов порог терпимости очень высокий».
Самым интересным выглядит расследование вокруг прокси и нестандартных схем подключения.
Автор утверждает, что специально тестировал разные варианты и пришёл к выводу:
«Стоило включить reverse proxy, и через несколько дней аккаунт неизбежно блокировали».
При этом сообщество не пришло к единому мнению. На тех же форумах есть пользователи, которые годами работают через обычные VPS и не сталкиваются с банами, а другие теряют доступ даже при аккуратном использовании.
Что же делать, дорогая редакция?
Если аккаунт вам дорог — минимизируйте любые подозрительные сигналы, на которые система безопасности может сделать стойку. Не переключайте IP без необходимости, пользуйтесь официальными клиентами и не превращать учётную запись в одноразовый расходник.
Чего не делать?
Не принимать все эти выводы за доказанный факт. Пока мы видим не утечку из Anthropic и не официальный документ, а коллективное расследование сообщества. Но если теория верна хотя бы частично, то эпоха, когда для обхода антифрода было достаточно «хорошего VPN», похоже, заканчивается.
Если вы любите фактчекинг
Разбор гипотезы о многомерном скоринге аккаунтов Claude, результаты личных тестов, наблюдения о влиянии IP, прокси и возраста аккаунта
https://www.nodeseek.com/post-800381-1
Обсуждение предполагаемых механизмов детекта, статистики банов и реверс-инжиниринга Claude Code
https: //www.nodeseek.com/post-982734-1
Большая подборка кейсов банов Claude и попытка систематизировать закономерности на основе сотен публичных историй
https://www.v2ex.com/t/1249729
Обсуждение способов избежать бана Claude с большим количеством пользовательских кейсов и наблюдений
https://global.v2ex.com/t/1237898
Ветка пользователей о предполагаемой волне массовых банов и обсуждение возможных причин
https://feedbbs.com/nodeseek/162603
История блокировки аккаунта Claude и обсуждение возврата средств через Google Pay
https://feedbbs.com/nodeseek/167898
*Не передавайте этот пост в Claude, пожалуйста!
Это такая шутка.
Или нет.
Telegram | YouTube | AI Клуб | VK | X
#опытным #разработка #claude #кибербезопасность #разбор #Хекслет
❤5👍5🔥4
Готовый MCP-сервер — это быстро и не особо сложно. Устанавливаешь, подключаешь — и в продакшн.
Например, через MCP агент может получить доступ к структуре таблиц и другой служебной информации о базе, и на основе знаний о БД самостоятельно написать SQL-запросы, выполнить их и, при необходимости, исправить.
Красота!
Но когда дело доходит до безопасности — к готовому MCP-серверу возникают вопросы.
Агент может выполнить DELETE или другой деструктивный запрос — и вся команда вместо рабочих вопросов займётся восстановлением бэкапов.
На следующей задаче агент передаёт конфиденциальные данные в контекст модели — и вот эти данные уже не конфиденциальны, а служба безопасности смотрит на разработчиков с неприязнью.
Нужно установить собственные права доступа и правила фильтрации — и для этого лучше написать свой MCP-сервер, который оставит агенту только чтение, блокирует деструктивные запросы и откроет только разрешённые таблицы.
Тогда агент не сможет ничего удалить, а чувствительные данные из закрытых таблиц не попадут в контекст модели.
Что мы предлагаем: приходите на бесплатный воркшоп. В прямом эфире вместе с нашим наставником вы напишете безопасный MCP-сервер для базы данных. Проверим работу сервера на реальной задаче с агентом-аналитиком.
На выходе у вас будет готовый шаблон для интеграции ИИ-агентов с базой. Пригодится!
Если есть кого пригласить — приглашайте, места хватит всем.
Репост приветствуется.
Когда: 10 ноября (во вторник через неделю), в 19:00
Продолжительность: 1,5 часа
Сколько стоит: бесплатно
Где: https://ru.hexlet.io/link/BLPEez
Мы, конечно же, напомним ещё раз, но нет причин не записаться уже сейчас.
Например, через MCP агент может получить доступ к структуре таблиц и другой служебной информации о базе, и на основе знаний о БД самостоятельно написать SQL-запросы, выполнить их и, при необходимости, исправить.
Красота!
Но когда дело доходит до безопасности — к готовому MCP-серверу возникают вопросы.
Агент может выполнить DELETE или другой деструктивный запрос — и вся команда вместо рабочих вопросов займётся восстановлением бэкапов.
На следующей задаче агент передаёт конфиденциальные данные в контекст модели — и вот эти данные уже не конфиденциальны, а служба безопасности смотрит на разработчиков с неприязнью.
Нужно установить собственные права доступа и правила фильтрации — и для этого лучше написать свой MCP-сервер, который оставит агенту только чтение, блокирует деструктивные запросы и откроет только разрешённые таблицы.
Тогда агент не сможет ничего удалить, а чувствительные данные из закрытых таблиц не попадут в контекст модели.
Что мы предлагаем: приходите на бесплатный воркшоп. В прямом эфире вместе с нашим наставником вы напишете безопасный MCP-сервер для базы данных. Проверим работу сервера на реальной задаче с агентом-аналитиком.
На выходе у вас будет готовый шаблон для интеграции ИИ-агентов с базой. Пригодится!
Если есть кого пригласить — приглашайте, места хватит всем.
Репост приветствуется.
Когда: 10 ноября (во вторник через неделю), в 19:00
Продолжительность: 1,5 часа
Сколько стоит: бесплатно
Где: https://ru.hexlet.io/link/BLPEez
Мы, конечно же, напомним ещё раз, но нет причин не записаться уже сейчас.
special.hexlet.io
Кастомный MCP: как упростить работу с вашей БД и ускорить написание рутинных SQL-запросов
Вебинар для backend-разработчиков: научитесь писать кастомные коннекторы и безопасно ускорять работу с данными с помощью ИИ-агентов без потери контроля над системой.
👍7❤3😁2👾1
В этот четверг мы проводим вебинар «Don’t panic!»
Это вебинар для тех, кто начинает работу в IT и для тех, кто только раздумывает.
Статьи под заголовками вроде «Осторожно, двери в IT закрываются», «Джунов не берут», «ИИ всё заменит» действительно излагают факты, но мы знаем: главное — не факты, а выводы.
А выводы такие: двери в IT не закрылись, просто они теперь не там, где были раньше.
Рынок никуда не исчез, сменились направления и требования.
На вебинаре смотрим, куда идти, что требуется, как готовиться, сколько платят, как нанимают.
[Спойлер]Посмотрим на шесть направлений и разберём их по косточкам: Python, Java, Frontend, тестирование, DevOps, вайбкодинг, AI-автоматизация, нейросети.
Заходите в разработку, вы там нужны.
Зовите друзей, которым это может быть полезно или хотя бы интересно. Кнопка “Поделиться” не просто так придумана.
Когда: 5 ноября (четверг), 19:00
Продолжительность: 2 часа
Стоимость: 0 ₽
Записаться: https://ru.hexlet.io/link/8X7K2V
Telegram | YouTube | AI Клуб | VK | X
Это вебинар для тех, кто начинает работу в IT и для тех, кто только раздумывает.
Статьи под заголовками вроде «Осторожно, двери в IT закрываются», «Джунов не берут», «ИИ всё заменит» действительно излагают факты, но мы знаем: главное — не факты, а выводы.
А выводы такие: двери в IT не закрылись, просто они теперь не там, где были раньше.
Рынок никуда не исчез, сменились направления и требования.
На вебинаре смотрим, куда идти, что требуется, как готовиться, сколько платят, как нанимают.
[Спойлер]
Заходите в разработку, вы там нужны.
Зовите друзей, которым это может быть полезно или хотя бы интересно. Кнопка “Поделиться” не просто так придумана.
Когда: 5 ноября (четверг), 19:00
Продолжительность: 2 часа
Стоимость: 0 ₽
Записаться: https://ru.hexlet.io/link/8X7K2V
Telegram | YouTube | AI Клуб | VK | X
special.hexlet.io
Куда идти в IT в 2027: шесть направлений, где берут новичков
Разбираем шесть направлений, где берут новичков: технологии, сложность освоения, компании, зарплаты и срок входа. Бесплатный воркшоп 26 августа, 2 часа.
👍3😁1
Компьютеры из желудей и спичек
Мы ежедневно рассуждаем о компьютерах, но вот простой эксперимент: без поиска по сети ответьте, что такое компьютер.
Нужен ли ему кремниевый процессор?
Где граница между компьютером и калькулятором?
В 1936 году на этот вопрос ответил Алан Тьюринг, описав «машину Тьюринга» — модель компьютера. Система полна по Тьюрингу, если умеет всё то же, что эта машина, то есть может выполнить любую программу.
Оказывается, компьютер можно построить почти из чего попало.
— Magic: The Gathering (карточная игра).
В 2019 доказали, что по настоящим правилам, при подобранных картах, в партии можно построить машину Тьюринга. Первый игрок выигрывает, только если программа остановится, а предсказать это в общем случае нельзя. Правила карточной игры оказались мощными, как правила компьютера.
— Dwarf Fortress (симулятор крепости гномов).
Из шестерёнок, насосов и воды игроки собирают логические вентили. В 2010 один игрок построил 8-битный компьютер с 32 байтами памяти, где единица — вода на датчике давления. Полноту автор заявил без доказательств. Машина Тьюринга работает даже на воде, хотя это скорее демонстрация, чем инструмент.
— Factorio (игра про заводы).
Из блоков-«комбинаторов» собирают процессоры, например компьютер на 7×11 клеток, считающий числа Фибоначчи; полноту заявил сам автор. Готовый процессор не нужен: хватает деталей, которые складывают и сравнивают сигналы.
— Cities: Skylines (градостроитель).
Электростанция, затопленная канализацией, отключается — готовый вентиль NOT. Из таких собрали 4-битный сумматор: сложение идёт 15 игровых месяцев и работает на фекалиях. Но для полноты одной арифметики мало, нужны память и повторение. Обсуждать запах не будем.
— Excel, табличный редактор Microsoft.
С функцией LAMBDA формулы вызывают сами себя, и Microsoft Research назвала язык формул полным по Тьюрингу. Создатели заложили это намеренно: формулы теперь — полноценный язык программирования.
— HTML + CSS (разметка и оформление веб-страниц).
Чекбоксы хранят состояние, селекторы дают условия: без JavaScript собрали автомат Rule 110, доказанно полный по Тьюрингу. Но каждый шаг запускает человек, поэтому о полноте CSS спорят.
— Инструкция mov в процессорах x86.
Команды «скопируй значение» хватает для любой программы, если добавить переход в начало. Компилятор movfuscator превращает код на C в сплошные mov и зацикливается через mov, вызывающий сбой. Сложный набор команд для полноты избыточен: хватает копирования и повторения.
— Дженерики и шаблоны.
Полнота есть в шаблонах C++, дженериках Java и типах TypeScript: компилятор выполняет программу во время проверки типов. Поэтому проверка может не закончиться, и для Java это доказано.
— YAML.
Сам формат безобиден, но шаблоны на Go в Helm и язык плейбуков Ansible полны по Тьюрингу. Надстройка над конфигом — уже программа, способная зависнуть.
— Конфиг curl.
Полноту получили случайно: хватило подстановок из переменных и вложенных конфигов без ограничения глубины. В версиях 8.12–8.16 это работало, а в 8.17 вложенность ограничили пятью уровнями — и полноты не стало. Полноту может дать сочетание двух мелких возможностей, поэтому подстановкам и вложенности лучше сразу ставить предел.
— DNS.
Тут «почти полнота»: через записи DNAME показали регулярные языки и автоматы со стековой памятью. До машины Тьюринга не дотягивает, но для «телефонной книги интернета» это немало.
— «Задача трёх тел» (роман Лю Цысиня).
Фон Нейман собирает для императора Цинь Шихуанди компьютер из 30 миллионов солдат: каждый поднимает чёрный или белый флаг — 0 или 1, а группы солдат работают как логические вентили. Был даже графический интерфейс с прогресс-баром. Выдумка, но реалистичная.
Неважно, из чего сделан компьютер. Важно, чтобы система умела хранить сигналы и менять их по простым правилам. Армия-компьютер работает на тех же принципах, что и ноутбук.
#опытным
Telegram | YouTube | AI Клуб | VK | X
Мы ежедневно рассуждаем о компьютерах, но вот простой эксперимент: без поиска по сети ответьте, что такое компьютер.
Нужен ли ему кремниевый процессор?
Где граница между компьютером и калькулятором?
В 1936 году на этот вопрос ответил Алан Тьюринг, описав «машину Тьюринга» — модель компьютера. Система полна по Тьюрингу, если умеет всё то же, что эта машина, то есть может выполнить любую программу.
Оказывается, компьютер можно построить почти из чего попало.
Валентин Исипчук, наставник в Хекслет и практикующий разработчик, собрал коллекцию систем, полных по Тьюрингу, — компьютеров, на компьютеры вовсе не похожих.
— Magic: The Gathering (карточная игра).
В 2019 доказали, что по настоящим правилам, при подобранных картах, в партии можно построить машину Тьюринга. Первый игрок выигрывает, только если программа остановится, а предсказать это в общем случае нельзя. Правила карточной игры оказались мощными, как правила компьютера.
— Dwarf Fortress (симулятор крепости гномов).
Из шестерёнок, насосов и воды игроки собирают логические вентили. В 2010 один игрок построил 8-битный компьютер с 32 байтами памяти, где единица — вода на датчике давления. Полноту автор заявил без доказательств. Машина Тьюринга работает даже на воде, хотя это скорее демонстрация, чем инструмент.
— Factorio (игра про заводы).
Из блоков-«комбинаторов» собирают процессоры, например компьютер на 7×11 клеток, считающий числа Фибоначчи; полноту заявил сам автор. Готовый процессор не нужен: хватает деталей, которые складывают и сравнивают сигналы.
— Cities: Skylines (градостроитель).
Электростанция, затопленная канализацией, отключается — готовый вентиль NOT. Из таких собрали 4-битный сумматор: сложение идёт 15 игровых месяцев и работает на фекалиях. Но для полноты одной арифметики мало, нужны память и повторение. Обсуждать запах не будем.
— Excel, табличный редактор Microsoft.
С функцией LAMBDA формулы вызывают сами себя, и Microsoft Research назвала язык формул полным по Тьюрингу. Создатели заложили это намеренно: формулы теперь — полноценный язык программирования.
— HTML + CSS (разметка и оформление веб-страниц).
Чекбоксы хранят состояние, селекторы дают условия: без JavaScript собрали автомат Rule 110, доказанно полный по Тьюрингу. Но каждый шаг запускает человек, поэтому о полноте CSS спорят.
— Инструкция mov в процессорах x86.
Команды «скопируй значение» хватает для любой программы, если добавить переход в начало. Компилятор movfuscator превращает код на C в сплошные mov и зацикливается через mov, вызывающий сбой. Сложный набор команд для полноты избыточен: хватает копирования и повторения.
— Дженерики и шаблоны.
Полнота есть в шаблонах C++, дженериках Java и типах TypeScript: компилятор выполняет программу во время проверки типов. Поэтому проверка может не закончиться, и для Java это доказано.
— YAML.
Сам формат безобиден, но шаблоны на Go в Helm и язык плейбуков Ansible полны по Тьюрингу. Надстройка над конфигом — уже программа, способная зависнуть.
— Конфиг curl.
Полноту получили случайно: хватило подстановок из переменных и вложенных конфигов без ограничения глубины. В версиях 8.12–8.16 это работало, а в 8.17 вложенность ограничили пятью уровнями — и полноты не стало. Полноту может дать сочетание двух мелких возможностей, поэтому подстановкам и вложенности лучше сразу ставить предел.
— DNS.
Тут «почти полнота»: через записи DNAME показали регулярные языки и автоматы со стековой памятью. До машины Тьюринга не дотягивает, но для «телефонной книги интернета» это немало.
— «Задача трёх тел» (роман Лю Цысиня).
Фон Нейман собирает для императора Цинь Шихуанди компьютер из 30 миллионов солдат: каждый поднимает чёрный или белый флаг — 0 или 1, а группы солдат работают как логические вентили. Был даже графический интерфейс с прогресс-баром. Выдумка, но реалистичная.
Неважно, из чего сделан компьютер. Важно, чтобы система умела хранить сигналы и менять их по простым правилам. Армия-компьютер работает на тех же принципах, что и ноутбук.
#опытным
Telegram | YouTube | AI Клуб | VK | X
❤2🔥2