Я достаточно давно перестал пользоваться 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

Коллеги пишут про новые фичи Claude Code. Кстати классный канал, рекомендую.

- @tthread

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

https://hub.coreinfra.ai/register

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

Google опубликовал TurboQuant, новый способ квантизации векторов. 6x экономия памяти, 8x экономия CPU при практически полном сохранении качества.

• Блог (плохой)
• Статья
• Интерактивная анимация
• Ноутбук (хороший)

– @pgregory

Весело делай =)

1 апреля — отличный повод для того, чтобы показать наш новый лендинг хаба.

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

Страница полностью интерактивна и реальна: на ней можно командами создать хаб, посмотреть баланс, перейти в основной кабинет или на страницу оплаты. Также спрятали пару пасхалок.

Пишите в комментах впечатления — мы старались успеть выложить всё сегодня ☺️

https://hub.coreinfra.ai/for-programmers

— Илья