Пятница – лучшее время для анонса классного проекта, с которым можно поиграться на выходных.
Скромно считаю, что уже сейчас это лучшая библиотека для property-based тестирования на Rust.
https://github.com/flyingmutant/chaos_theory
– @pgregory
chaos_theory – это библиотека одновременно и для классического property-based тестирования, и для структурного фаззинга. А также open-source ядро нашего программируемого полносистемного фаззера CoreInfra AT1, который мы уже несколько раз упоминали в постах и выступлениях.Скромно считаю, что уже сейчас это лучшая библиотека для property-based тестирования на Rust.
https://github.com/flyingmutant/chaos_theory
– @pgregory
GitHub
GitHub - flyingmutant/chaos_theory: chaos_theory is a modern Rust property-based testing and structure-aware fuzzing library
chaos_theory is a modern Rust property-based testing and structure-aware fuzzing library - flyingmutant/chaos_theory
🔥10🎄4☃3🤔3🎅3
Forwarded from Обучаем Камни
У Claude Code новая фича. Умный инит. Claude.md, hooks, skills и что-то еще генерит.
https://x.com/trq212/status/2035799806640115806
https://youtu.be/llwTBpPqo9A
https://x.com/trq212/status/2035799806640115806
https://youtu.be/llwTBpPqo9A
🔥5☃1👀1🎅1🎄1
Обучаем Камни
У Claude Code новая фича. Умный инит. Claude.md, hooks, skills и что-то еще генерит. https://x.com/trq212/status/2035799806640115806 https://youtu.be/llwTBpPqo9A
Ну а если хотите пробовать последние фичи агентов, быстро и просто переключаться между топовыми агентами — регистрация в один клик на нашем хабе с оплатой по СБП.
https://hub.coreinfra.ai/register
https://hub.coreinfra.ai/register
🔥3☃1👀1🎅1🎄1
This media is not supported in your browser
VIEW IN TELEGRAM
Редкий случай – открытая публикация прорывного результата крупным игроком.
Google опубликовал TurboQuant, новый способ квантизации векторов. 6x экономия памяти, 8x экономия CPU при практически полном сохранении качества.
• Блог (плохой)
• Статья
• Интерактивная анимация
• Ноутбук (хороший)
– @pgregory
Google опубликовал TurboQuant, новый способ квантизации векторов. 6x экономия памяти, 8x экономия CPU при практически полном сохранении качества.
• Блог (плохой)
• Статья
• Интерактивная анимация
• Ноутбук (хороший)
– @pgregory
🔥5⚡4👍2☃1👀1🎅1🎄1
Весело делай =)
1 апреля — отличный повод для того, чтобы показать наш новый лендинг хаба.
Мы заморочились, чтобы не делать скучный слоп, а постарались в первую очередь сделать что-то прикольное, с чем будет интересно самим поиграть.
Страница полностью интерактивна и реальна: на ней можно командами создать хаб, посмотреть баланс, перейти в основной кабинет или на страницу оплаты. Также спрятали пару пасхалок.
Пишите в комментах впечатления — мы старались успеть выложить всё сегодня ☺️
https://hub.coreinfra.ai/for-programmers
— Илья
1 апреля — отличный повод для того, чтобы показать наш новый лендинг хаба.
Мы заморочились, чтобы не делать скучный слоп, а постарались в первую очередь сделать что-то прикольное, с чем будет интересно самим поиграть.
Страница полностью интерактивна и реальна: на ней можно командами создать хаб, посмотреть баланс, перейти в основной кабинет или на страницу оплаты. Также спрятали пару пасхалок.
Пишите в комментах впечатления — мы старались успеть выложить всё сегодня ☺️
https://hub.coreinfra.ai/for-programmers
— Илья
🔥13🎄3👍1🤩1🐳1🎃1
Forwarded from Обучаем Камни
Claude тем временем деградирует и дорожает.
Вот фидбек от Стеллы Лаурензо (одна из моих кумиров, культовый инженер за LLVM/MLIR и IREE)
https://github.com/anthropics/claude-code/issues/42796
Вот фидбек от Стеллы Лаурензо (одна из моих кумиров, культовый инженер за LLVM/MLIR и IREE)
https://github.com/anthropics/claude-code/issues/42796
GitHub
[MODEL] Claude Code is unusable for complex engineering tasks with the Feb updates · Issue #42796 · anthropics/claude-code
Preflight Checklist I have searched existing issues for similar behavior reports This report does NOT contain sensitive information (API keys, passwords, etc.) Type of Behavior Issue Other unexpect...
👀1
Для этого мы и сделали хаб, чтобы было удобно переключаться между агентами, а не
Я использую Codex в основном для написания сложного кода на rust/go и code review, а Claude — когда нужно сделать дизайн в Figma или побрейнштормить с лендингом.
А какие ваши наблюдения с чем лучше справляется клод, а с чем кодекс?
PS: чуть позже напишу, как использую агента для написания текстовых документов и дизайна.
PPS: наш лендинг получил полноценную мобильную версию и vim-like команды, теперь вы можете создать хаб через команду
:create-hub.
- @tthreadPlease open Telegram to view this post
VIEW IN TELEGRAM
🔥5🤔3👀1
Отказоустойчивость хаба прошла боевое крещение: Selectel прилег в результате инцидента, а мы узнали об этом из новостей – потому что сам хаб продолжал отлично работать.
Не буду скрывать, увидеть, как в реальности отрабатывают системы, которые мы дизайнили и реализовывали – очень приятно!
– @pgregory
Не буду скрывать, увидеть, как в реальности отрабатывают системы, которые мы дизайнили и реализовывали – очень приятно!
– @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
установка плагина:
авторизация, достаточно вставить ключ хаба:
– @razmser
Некоторые даже делают целые воркфлоу, которые используют разные модели, например вот этот плагин для 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
🔥7❤3🤩2😁1
Anthropic зарелизила новый Opus 4.7
https://www.anthropic.com/news/claude-opus-4-7
Как всегда все фронтирные модели уже на нашем хабе.
https://www.anthropic.com/news/claude-opus-4-7
Как всегда все фронтирные модели уже на нашем хабе.
Anthropic
Introducing Claude Opus 4.7
Our latest model, Claude Opus 4.7, is now generally available. Opus 4.7 is a notable improvement on Opus 4.6 in advanced software engineering, with particular gains on the most difficult tasks.
🔥10😁1
Конференции мертвы, а индустрия в глубоком кризисе.
Впервые за относительно долгое время поучаствовал в популярной конференции – и хочу поделиться своим диссонансом от увиденного и услышанного.
Мысль что "конференции мертвы" в нашем медиа-пространстве звучит периодически, но обычно с подтекстом "у бигтехов стало меньше свободных денег, поэтому не так все шикарно и посещаемо как раньше". Это верно – но проблема, на самом деле, вообще в другом.
Конференции – это зеркало индустрии, значительной ее части. Доклады ни о чем, посещения ради тусовки и мерча – это то, как кризис индустрии виден в зеркале конференций. А кризис – не денежный, а идейный: комбинация слишком большого количества денег в недавнем прошлом и крайне низких ожиданий и требований привела к тому, что появилась каста "айтишников" – обеспеченных людей, делающих ничего.
(Тут уместно заметить, что массовое сознание вообще никак не ассоциирует "айтишников" с инженерами – айтишники это про смузи и макбуки, инженеры это про матчасть, расчеты и ответственность; инженеров уважают, а айтишников – нет).
Возможен ли карго-культ у инженеров? Нет, практически по определению. В айти? Он повсюду, как Матрица. Сколько нужно человек, чтобы сделать электронный каталог товаров и услуг плюс мессенджер – 5? Ок, пусть 5 – это ядро, вместе со всей обвязкой – 50? Ответ нашего айти – что-то в диапазоне 500-5000. "Индустрия", не замечающая собственной неэффективности, не на проценты, а на порядки – это больной в около-терминальной стадии. Давать таким людям в руки ИИ – это как обезьяне гранату.
В унынии ли я? Вообще нет. Есть настоящие инженеры, есть настоящие инженерные команды, и есть молодежь – умные, самоуверенные, и у многих есть драйв стать инженером, а не айтишником.
Просто столкновение с индустрией вызывает... диссонанс вызывает.
– @pgregory
Впервые за относительно долгое время поучаствовал в популярной конференции – и хочу поделиться своим диссонансом от увиденного и услышанного.
Мысль что "конференции мертвы" в нашем медиа-пространстве звучит периодически, но обычно с подтекстом "у бигтехов стало меньше свободных денег, поэтому не так все шикарно и посещаемо как раньше". Это верно – но проблема, на самом деле, вообще в другом.
Конференции – это зеркало индустрии, значительной ее части. Доклады ни о чем, посещения ради тусовки и мерча – это то, как кризис индустрии виден в зеркале конференций. А кризис – не денежный, а идейный: комбинация слишком большого количества денег в недавнем прошлом и крайне низких ожиданий и требований привела к тому, что появилась каста "айтишников" – обеспеченных людей, делающих ничего.
(Тут уместно заметить, что массовое сознание вообще никак не ассоциирует "айтишников" с инженерами – айтишники это про смузи и макбуки, инженеры это про матчасть, расчеты и ответственность; инженеров уважают, а айтишников – нет).
Возможен ли карго-культ у инженеров? Нет, практически по определению. В айти? Он повсюду, как Матрица. Сколько нужно человек, чтобы сделать электронный каталог товаров и услуг плюс мессенджер – 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
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
https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/resolve/main/DeepSeek_V4.pdf
Извини, GPT-5.5.
– @pgregory
❤6🤩2🔥1