Сегодня рассказываю про небольшую, но важную часть в 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

— Илья

Claude тем временем деградирует и дорожает.

Вот фидбек от Стеллы Лаурензо (одна из моих кумиров, культовый инженер за LLVM/MLIR и IREE)

https://github.com/anthropics/claude-code/issues/42796