CoreInfra
427 subscribers
86 photos
1 video
6 files
67 links
AI × Verification → Future. https://coreinfra.ru
Download Telegram
Мы обнаружили, что многие регистрируются на хабе из под 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
Нечасто появляется новая модель программирования, и тем более редко она появляется и становится успешной. Нужно зафиксировать – тайлы за короткое время победили как модель программирования ядер:

Triton (OpenAI)
Pallas (Google, вероятно Anthropic тоже)
TileLang (в т.ч. DeepSeek v4)
• И даже NVIDIA уже в игре, включая новый IR

CUDA – слишком низкий уровень; тензоры – слишком высокий, а тайлы (прямоугольнички с данными) – самое то: можно достаточно хорошо контролировать локальность данных, параллелизм, memory traffic и отображение на железо, при этом работая в рамках аккуратной абстракции.

@pgregory
🔥3👨‍💻1
Продолжаем добрую традицию пятничных анонсов.

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

Теперь можно:
— создавать api-токены
— отзывать их
— давать им понятные имена.

К примеру, я разделил codex и claude по разным ключам. По крайней мере это красиво.

Создать аккаунт в один клик и начать использовать топовые кодинг-агенты можно по ссылке: https://hub.coreinfra.ai/register

@razmser
👍6🔥4🤩2
Когда пять минут не говорил про гоблинов:
😁5
Базовая инструкция гпт

Never talk about goblins, gremlins, raccoons, trolls, ogres, pigeons, or other animals or creatures unless it is absolutely and unambiguously relevant to the user's query.


https://github.com/openai/codex/blob/66b0781502be5de3b1909525c987643b9e5e407d/codex-rs/models-manager/models.json#L55
😁21🔥1💯1
Утро начинается не с кофе, утро начинается с кефира.

На фото CSO компании CoreInfra за утренним ритуалом.
10🌚2🤗2
В процессе эксплуатации новой GPT-5.5 наткнулись на то, что де-факто цена ее использования выросла более чем в 2 раза. Если посчитать стоимость 1М входных токенов с учетом кэширования, то получается рост в 4.5 раза.

Корень этой проблемы до конца не ясен. С одной стороны начиная с GPT-5.5 отказались от in-memory кэша. С другой стороны некоторые утверждают, что с другими harness подобных проблем нет.

@razmser
🤔3🤨21😁1🤯1😱1😭1
This media is not supported in your browser
VIEW IN TELEGRAM
Логин по паролю должен умереть. Серьезно, у этой технологии такой багаж проблем, что починить это просто невозможно. Нужно придумать хороший пароль, запомнить/сохранить его, быть внимательным, чтобы не ввести на неправильном сайте.

Мы не хотим использовать то, что уже сломано. Есть ли альтернативы? Да – passkey.

Под капотом passkey обычная схема с public/private ключами. При этом, как правило, private ключ хранится прямо в специализированной железке компьютера. Выглядит так, что вы прикладываете палец к TouchID, а сайт с помощью WebAuthn может определить, что вы обладаете private частью ключа. Все просто и безопасно.

Уже сейчас можно добавить passkey на странице аккаунта и начать пользоваться.

@nik_myxo
🔥10👍4💯42👎2😁1🆒1
В прошлый раз я писал об особенностях кэширования разными моделями.
Сегодня мы запустили страницу статистики. И теперь вы сами сможете посчитать что-нибудь интересное, прямо в хабе.

Для максимальной гибкости, мы используем WASM DuckDB со всей его мощью.
А для простоты сделали небольшой конструктор запросов, чтобы всё это можно было собрать без знания SQL.

На скриншоте пример топа моделей по токенам.

@razmser
🔥93👍3👀1
Горелкин и Хашимото уходят с GitHub.

Интересно, а какой номер аккаунта у Антона.

@tthread
😁3🤯3🤬2
Из-за одновременного выхода нескольких регионов Selectel из строя испытываем проблемы с доступностью. Решаем, скоро проблема будет устранена.

UPD, 12:48: все восстановили.

@pgregory
🔥4😱41
Вчера DuckDB выкатили Quack – клиент-серверный протокол для DuckDB.

Забавный тайминг: мы только запустили страницу статистики на WASM DuckDB в браузере =)

Мы на это переезжать не собираемся. Для нас важное свойство текущего подхода – локальность, данные считаются прямо в браузере пользователя, без отдельного OLAP сервера, без лишней инфраструктуры и очень изолированно. Пользователь получает физически только к своему кусочку данных без возможности сделать неправильный селект на бекенде. Чем меньше обязательных движущихся частей, тем лучше.

Но это не отменяет того, что фича топ. Ребята пишут про small-write workload, возможность remote-access и другие фичи. В общем DuckDB становится распределенной системой без дополнительных обвязок в виде DuckLake.

Исторически DuckDB был максимально embedded: положил рядом с приложением, читаешь parquet/csv/json, считаешь локально. Теперь появляется режим, где DuckDB-инстансы собираются в полноценную распределенную базу данных.

Больше можно прочитать у них в анонсе:
https://duckdb.org/2026/05/12/quack-remote-protocol

@tthread
4👍2🔥2
Хроника прекрасного.

1. Anthropic покупает Bun.
Bun – альтернативный JS runtime/testrunner/bundler/package manager, на котором вероятно работает Сlaude Сode.

https://www.anthropic.com/news/anthropic-acquires-bun-as-claude-code-reaches-usd1b-milestone

2. 5 мая замечена ветка в публичном репозитории claude/phase-a-port.

Внутри – порт Bun с Zig на Rust и подробный porting guide.

HN взрывается:

https://news.ycombinator.com/item?id=48016880

Автор Bun приходит в комментарии и говорит: спокойно, это эксперимент, код не работает, cargo check показывает 16 тысяч ошибок, есть большой шанс, что всё это выкинут.

3. Через несколько дней появляется апдейт: экспериментальный Rust-порт уже проходит 99.8% тестов на Linux x64.

https://news.ycombinator.com/item?id=48073680

4. 14 мая PR Rewrite Bun in Rust мержится в main.

6755 коммитов.

В описании все колосится: тесты проходят на всех платформах, бинарь стал меньше на 3-8 MB, бенчмарки от нейтральных до более быстрых, а главное memory bugs не пройдут.

https://news.ycombinator.com/item?id=48132488

5. Следующий PR удаляет старые .zig файлы, а GitHub Actions редактирует PR, меняяя ему заголовок на ai slop и добавляет дисклеймер:

этот PR был помечен как AI slop, описание обновлено, чтобы не вводить ревьюеров в заблуждение.

https://github.com/oven-sh/bun/pull/30680

Занавес.

– материал @pgregory, редакция @tthread
😁105😭1