CoreInfra
427 subscribers
86 photos
1 video
6 files
67 links
AI × Verification → Future. https://coreinfra.ru
Download Telegram
Дон Кнут – наш слон.

AI × Верификация → Будущее
5🎅5🎄2😁1🌚1
Хотите быть как Кнут, и использовать Claude Code + Opus 4.6?

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

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

https://hub.coreinfra.ai
🔥14🎅4🎄3😎21😁1🎉1
CoreInfra pinned a photo
Доброе утро! Сегодня в Поляне снегопад, а вчера OpenAI выпустил модели GPT-5.4 и GPT-5.4 pro.

Новые модели уже в нашем хабе и доступны по одному ключу вместе с моделями Anthropic.
9🔥61🤔1🤩1🤣1🎅1🎄1
“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
💯4🎄211😁1🤣1🎅1
Пятница – лучшее время для анонса классного проекта, с которым можно поиграться на выходных.

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

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

https://github.com/flyingmutant/chaos_theory

@pgregory
🔥10🎄43🤔3🎅3
CoreInfra pinned «Пятница – лучшее время для анонса классного проекта, с которым можно поиграться на выходных. chaos_theory – это библиотека одновременно и для классического property-based тестирования, и для структурного фаззинга. А также open-source ядро нашего программируемого…»
Коллеги пишут про новые фичи Claude Code. Кстати классный канал, рекомендую.

- @tthread
1🎅1🎄1
У Claude Code новая фича. Умный инит. Claude.md, hooks, skills и что-то еще генерит.

https://x.com/trq212/status/2035799806640115806

https://youtu.be/llwTBpPqo9A
🔥51👀1🎅1🎄1
Обучаем Камни
У Claude Code новая фича. Умный инит. Claude.md, hooks, skills и что-то еще генерит. https://x.com/trq212/status/2035799806640115806 https://youtu.be/llwTBpPqo9A
Ну а если хотите пробовать последние фичи агентов, быстро и просто переключаться между топовыми агентами — регистрация в один клик на нашем хабе с оплатой по СБП.

https://hub.coreinfra.ai/register
🔥31👀1🎅1🎄1
This media is not supported in your browser
VIEW IN TELEGRAM
Редкий случай – открытая публикация прорывного результата крупным игроком.

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

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

@pgregory
🔥54👍21👀1🎅1🎄1
Весело делай =)

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

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

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

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

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

— Илья
🔥13🎄3👍1🤩1🐳1🎃1
CoreInfra pinned a photo
⬆️ ⬆️

Для этого мы и сделали хаб, чтобы было удобно переключаться между агентами, а не думать какую подписку купить.

Я использую Codex в основном для написания сложного кода на rust/go и code review, а Claude — когда нужно сделать дизайн в Figma или побрейнштормить с лендингом.

А какие ваши наблюдения с чем лучше справляется клод, а с чем кодекс?

PS: чуть позже напишу, как использую агента для написания текстовых документов и дизайна.

PPS: наш лендинг получил полноценную мобильную версию и vim-like команды, теперь вы можете создать хаб через команду :create-hub.

- @tthread
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥5🤔3👀1
Мы обнаружили, что многие регистрируются на хабе из под Windows.

Поэтому сейчас делаем этот раздел мануала, чтобы кикстарт на винде был также приятен, как на Linux и Mac.

@tthread
🆒5🤯2🦄2🤩1🕊1
Отказоустойчивость хаба прошла боевое крещение: Selectel прилег в результате инцидента, а мы узнали об этом из новостей – потому что сам хаб продолжал отлично работать.

Не буду скрывать, увидеть, как в реальности отрабатывают системы, которые мы дизайнили и реализовывали – очень приятно!

@pgregory
🆒5👨‍💻4🔥2🐳2🎅2🤩1