CoreInfra
430 subscribers
86 photos
1 video
6 files
67 links
AI × Verification → Future. https://coreinfra.ru
Download Telegram
Пятница – лучшее время для анонса классного проекта, с которым можно поиграться на выходных.

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
OpenAI модели очень хороши для ревью, а Anthropic модели, на мой вкус, пишут более приятный код.
Некоторые даже делают целые воркфлоу, которые используют разные модели, например вот этот плагин для OpenCode:
https://github.com/code-yeongyu/oh-my-openagent

А теперь вы можете и сами это попробовать, потому что мы завезли поддержку OpenCode к себе, достаточно установить один плагин и у вас есть все фронтир модели OpenAI и Anthropic в одном агенте:
https://hub.coreinfra.ai/quickstart/opencode

Quick start
установка плагина:

opencode plugin -g 'coreinfra-opencode-plugin@github:CoreInfraAI/opencode-plugin'

авторизация, достаточно вставить ключ хаба:

opencode providers login --provider coreinfra


@razmser
🔥73🤩2😁1
Конференции мертвы, а индустрия в глубоком кризисе.

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

Мысль что "конференции мертвы" в нашем медиа-пространстве звучит периодически, но обычно с подтекстом "у бигтехов стало меньше свободных денег, поэтому не так все шикарно и посещаемо как раньше". Это верно – но проблема, на самом деле, вообще в другом.
Конференции – это зеркало индустрии, значительной ее части. Доклады ни о чем, посещения ради тусовки и мерча – это то, как кризис индустрии виден в зеркале конференций. А кризис – не денежный, а идейный: комбинация слишком большого количества денег в недавнем прошлом и крайне низких ожиданий и требований привела к тому, что появилась каста "айтишников" – обеспеченных людей, делающих ничего.

(Тут уместно заметить, что массовое сознание вообще никак не ассоциирует "айтишников" с инженерами – айтишники это про смузи и макбуки, инженеры это про матчасть, расчеты и ответственность; инженеров уважают, а айтишников – нет).

Возможен ли карго-культ у инженеров? Нет, практически по определению. В айти? Он повсюду, как Матрица. Сколько нужно человек, чтобы сделать электронный каталог товаров и услуг плюс мессенджер – 5? Ок, пусть 5 – это ядро, вместе со всей обвязкой – 50? Ответ нашего айти – что-то в диапазоне 500-5000. "Индустрия", не замечающая собственной неэффективности, не на проценты, а на порядки – это больной в около-терминальной стадии. Давать таким людям в руки ИИ – это как обезьяне гранату.

В унынии ли я? Вообще нет. Есть настоящие инженеры, есть настоящие инженерные команды, и есть молодежь – умные, самоуверенные, и у многих есть драйв стать инженером, а не айтишником.

Просто столкновение с индустрией вызывает... диссонанс вызывает.

@pgregory
👍9💯6🏆5🔥3🤔2🤡2😁1
Говорят теперь новая модель для изображений ChatGPT Images 2.0 не делает опечаток при генерации картинок.

https://openai.com/index/introducing-chatgpt-images-2-0/

Верим?

@tthread
😁5💯1
DeepSeek v4 еще официально не анонсирован, но уже доступен – веса + прекрасная детальная статья про модель и инфраструктуру обучения:

https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/resolve/main/DeepSeek_V4.pdf

Извини, GPT-5.5.

@pgregory
6🤩2🔥1