Drawbridge – наш первый open source релиз

У любой компании есть внутренние сервисы – управление проектами, работа с исходным кодом, дашборды и бесконечные админки. Их много, они критичны с точки зрения безопасности, и есть околонулевая уверенность в безопасности каждого из них в любой момент времени.

Как предоставить сотрудникам безопасный доступ к этим сервисам? Стандартный (не-)ответ – VPN. Какой именно протокол выбрать, что установить на сервере, что устанавливать сотрудникам на всем зоопарке их устройств, каким образом заводить и синхронизировать учетные записи, что отвечать поддержке на "у меня отвалился VPN"? Что делать, если хостинг или интернет-провайдер начал блокировать ваш VPN?

Drawbridge – это минималистичный HTTPS реверс-прокси, обеспечивающий безопасный доступ ко внутренним сервисам без VPN. Drawbridge гарантирует транспортную безопасность (TLS), аутентификацию пользователей (WebAuthn) и авторизацию доступа к каждому сервису (user whitelist).

Главное отличие Drawbridge от всех остальных проектов с похожими целями – фокус на безопасности. Минимальный набор фич, минимальная конфигурация – и главное, минимальный объем кода (1 файл в ~1200 строк на текущий момент) с минимумом зависимостей. Цель такого минимализма – возможность полного аудита проекта перед внедрением и отсутствие необходимости обновлять версии (и доверять новому коду и его авторам).

Статус – на текущий момент, альфа, релиз для энтузиастов. Учитывая минимализм, думаю что стабильный релиз не за горами.

https://github.com/CoreInfraAI/drawbridge

– @pgregory

Привет! Нас в этом канале уже чуть больше 100 человек.

Самое время представиться и рассказать, кто мы такие, тем, кто оказался здесь помимо наших друзей и знакомых =)

Мы — глубоко техническая R&D и инженерная команда. В прошлом, приходилось решать сложные задачи и делать масштабные запуски ВКонтакте, в Яндексе и Транзасе, на различных ролях — как в разработке, так и в менеджменте.

С 2024 года мы строим свою продуктовую и технологическую компанию в Санкт-Петербурге.

Наш главный фокус — синтез программ и механизмы верификации. Программирование будет меняться, нужен большой скачок вперед, который позволит создавать более качественные и корректные системы меньшими ресурсами, не быть заложниками legacy и быстро менять большие системы. Мы строим Продукт, который объединяет AI и верификацию и предлагает новый способ создания программ.

По пути к большой цели мы релизим продукты и сервисы, которыми сами пользуемся и которыми считаем полезным поделиться.

В канале мы рассказываем свою историю, анонсируем запуски, комментируем интересные статьи, рассуждаем о будущем программирования — и не только.

Авторы этого канала, они же основатели компании:
— мой друг и коллега Григорий Петросян, CTO CoreInfra
— я, Илья Щербак, CEO CoreInfra.

Илья и Гриша.

Недавно ребята из Anthropic выложили свое старое тестовое задание – «оптимизировать вычислительное ядро под специализированную архитектуру, имея на руках симулятор». Интересный проект сразу с нескольких точек зрения.

Во-первых, это просто классное тестовое задание. Инфровое, к тому же.

Во-вторых, это хороший пример герметичной системы и четко специфицированной цели с измеряемой метрикой – «минимизировать количество аппаратных циклов». Baseline: 147734 цикла.

И, наконец, это демонстрация реальных возможностей агентов сегодня. Квалифицированный программист, потратив время и погрузившись в задачу – 2262 цикла, плюс понимание куда можно копать дальше. Запущенный им агент, за вечер – 1333 цикла. Лучший на сегодня результат, полученный в публичном соревновании – 1001 цикл.

– @pgregory

Кто не знал – это памятник CTO, настраивающим фронтенд-инфру своих дип-тех стартапов.

Учитесь, сынки, а то так и будете всю жизнь ключи подавать.

– @pgregory

Друзья, микро-анонс – в пятницу в 14:30 буду рассказывать про software defined fuzzing на ТБ Форуме. Детали доклада спойлерить не буду – но должно получиться интересно и с упором на практику.

https://www.tbforum.ru/2026/program/rbpo-mk

– @pgregory

Сегодня технический запуск CoreInfra AI Hub.

На круг друзей мы анонсируем наш сервис для доступа к фронтирным моделям и кодинг-агентам.

Механика супер простая:
создание кабинета в один клик, токен доступа уже готов, осталось пополнить баланс и начинать работать.

На текущий момент мы ограничились поддержкой Codex. Claude Code coming soon.

Разобраться супер просто, мы подготовили персонифицированную инструкцию.

Заходите познакомиться с сервисом и оставляйте фидбек.

https://hub.coreinfra.ai

Команда CoreInfra.

Я достаточно давно перестал пользоваться ChatGPT в интерфейсе веб-чата. Нет минусов использовать Codex и Claude Code для всего, а не только для программирования.

С использованием агента флоу получается очень простым: у меня есть директория, где я веду различные ресерчи в отдельных подпапках, делаю markdown документы, туда я могу накидать скриншотов, скинуть PDF-документ со счетом и т.д. В общем, пользуюсь всеми преимуществами локального окружения.

Это позволяет получить лучший результат по сравнению с веб-чатом, но и накладывает необходимость думать над harness. Какие есть инструменты у агента, как он ими может управлять, правильно ли все структурировано. Агенты хорошо справляются при one-shot, а чтобы повысить шанс на это, нужно подготовленное окружение с настроенными тулами и проработанный AGENTS.md который задает фрейм.

Главное, что я получаю, это постепенное заполнение нужным контекстом и накопительный эффект. Я постепенно улучшаю обвязку, мои ресерчи становятся более структурированы, тулы становятся более удобными для агентов, а время на формулирование вопроса и задание рамок снижается.

Когда это длительный проект, то я работаю над ним, как над кодом, включая версионирование в git.
Если задуматься, то любой ресерч очень похож на работу с кодом. Нужно сформулировать проблему, сделать спецификацию на результат, продумать, как валидировать. Ничего не напоминает?

Everything is code, agent is the new computer.

– @tthread

Как известно, самый эффективный этап подготовки к выступлению — утренний Сапсан в день конференции.

Регистрируйтесь на ТБФорум, будет трансляция.

Гриша расскажет про software defined fuzzer CoreInfra AT1.

Автор за работой.

– @tthread

Мега годный тред в X. Пост от Криса Латтнера (создатель LLVM, Clang, Swift) про Claude C Compiler.

И детальный write-up в статье от автора:

https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software

Сегодня рассказываю про небольшую, но важную часть в CoreInfra AI Hub.

Главный инструмент управления ограниченным ресурсом — не делать вредного и не делать лишнего. Поэтому ко всем фичам мы подходим максимально внимательно, с точки зрения того, что мы даем пользователю и что требуем взамен.

Регистрация и авторизация — мы решили не подключать авторизацию Яндекс или Гугл потому что это не нужно, мы не хотим передавать информацию о наших пользователях третьей стороне, не хотим трекать и следить за пользователем, поэтому нет и трекеров, нет и сторонней авторизации.

Регистрация проходит через proof of work и не требует от пользователя никаких данных, нужно только нажать на кнопку. Для того чтобы авторизоваться на другом устройстве и сохранить доступ к профилю — достаточно пройти по ссылке или QR коду в созданном аккаунте.

Keep it simple.

– @tthread

Модель оплаты, поговорим про деньги и как начать пользоваться AI Hub для программирования.

Подписка и pay as you go отличается для сервиса, кто зарабатывает деньги и для пользователя, который этим сервисом пользуется.

Сложно сказать, что однозначно лучше для обоих сторон, у каждого метода оплаты есть свои преимущества, как для одной, так и для другой стороны.

Для бизнеса подписка означает регулярные гарантированные платежи и позволяет более прогнозируемо считать ARR и другие финансовые метрики. Для пользователя — это способ установить порог трат, психологически для него комфортный и позволяет за счет неравномерности использования между пользователями иметь более выгодную цену.

Pay as you go более прозрачный для обоих сторон, поэтому мы решили с него начать. Этот способ максимально понятен, как для компаний так и для частных пользователей: не нужно платить за тех, кто не использует, не нужно платить когда ты не используешь.

Сейчас наша модель очень простая, пользователь пополняет баланс и деньги списываются по мере использования. Закинул и используешь.

Подписка это оптимизация, у нас будут появляться подписочные и комбинированные тарифы, но сейчас начинаем с простого и понятно для всех способа.

Напомню, что создать аккаунт можно в один клик по ссылке https://hub.coreinfra.ai

PS:
Это принцип, которого мы придерживаемся — даем то, что можем гарантировать.

- @tthread

Давно не скидывали клевых статей, надо это дело исправить. Встречайте: Two-Level Segregated Fit аллокатор.

Гарантирует O(1) аллокации/деаллокации (подходит для RTOS), простой и быстрый код, низкая фрагментация.

Бонус: похожий алгоритм, но для распределения произвольных ресурсов, например GPU буферов – хранит метаданные отдельно: https://github.com/sebbbi/OffsetAllocator

– @pgregory

Дон Кнут – наш слон.

AI × Верификация → Будущее

Хотите быть как Кнут, и использовать Claude Code + Opus 4.6?

Мы можем помочь – но только со второй частью :-) С сегодняшнего дня мы поддерживаем Claude Code в нашем хабе, вместе со всеми моделями Anthropic.

Регистрация в один клик, персональная инструкция для настройки агента, оплата через СБП, работа без VPN – все это теперь и для самого популярного кодинг-агента в мире.

https://hub.coreinfra.ai

Доброе утро! Сегодня в Поляне снегопад, а вчера OpenAI выпустил модели GPT-5.4 и GPT-5.4 pro.

Новые модели уже в нашем хабе и доступны по одному ключу вместе с моделями Anthropic.

“For a pseudo-random forest of identity-preserving reference modules, a pseudo-random stream of semantic items, and a pseudo-random schedule of host input chunking and external readiness events, the native F2 runtime is observationally equivalent to a simple identity model and always reaches quiescence under a bounded poll budget.”

Проектирую тесты вместе с GPT-5.4.

Вайбкодинг бывает разный. Делайте хороший вайбкодинг, плохой не делайте.

– @pgregory

Пятница – лучшее время для анонса классного проекта, с которым можно поиграться на выходных.

chaos_theory – это библиотека одновременно и для классического property-based тестирования, и для структурного фаззинга. А также open-source ядро нашего программируемого полносистемного фаззера CoreInfra AT1, который мы уже несколько раз упоминали в постах и выступлениях.

Скромно считаю, что уже сейчас это лучшая библиотека для property-based тестирования на Rust.

https://github.com/flyingmutant/chaos_theory

– @pgregory