Rust

Rust и QUIC уже делают то, к чему ИИ только подбирается Пока все спорят про агентов и автокодинг, в системной разработке quietly происходит очень важная вещь. Люди начинают нормально проверять сложные системы, а не надеяться на тесты. Команда Адольфо Очагавии взяла QUIC-симулятор на базе quinn и попыталась убедиться, что он вообще работает корректно. Не на простых кейсах, а на произвольных сетях, включая сценарии уровня Земля–Марс. Обычные тесты быстро закончились. Покрыть такие сценарии руками невозможно. Они пошли другим путём. Сначала зафиксировали на бумаге, что считается корректным поведением. Затем встроили audit-лог прямо в симуляцию. После этого написали отдельный verifier, который прогоняет каждую симуляцию и проверяет её автоматически. Ключевой момент в том, как это реализовано. Основную логику вообще не трогали. Проверка вынесена в отдельный слой. Сам verifier достаточно простой, его можно прочитать и понять без погружения в систему. Поверх этого появились golden-тесты, которые ловят регрессии. Это выглядит как практическая версия того, о чём сейчас много говорят в контексте ИИ. Не просто генерировать код или тесты, а формализовать поведение системы и проверять его на уровне свойств. Если переносить на AI-системы, то это ровно та же проблема. У нас есть агенты, пайплайны, куча состояний и внешних эффектов. И почти нет нормальной верификации. Всё держится на эвристиках и наблюдении. Этот кейс хорошо показывает, куда двигаться дальше. Не усложнять архитектуру, а добавлять слой проверяемости поверх неё. Разбор здесь https://ochagavia.nl/blog/a-real-world-case-of-property-based-verification/

🦀 Rust: заметки о написании WASM Rust - один из лучших языков для разработки WebAssembly, но у него есть немало «острых углов». В своей статье Brooklyn Zelenka делится практическими уроками из реальной разработки Rust-WASM и объясняет, какие проблемы чаще всего встречаются и как их обходить. • Rust отлично подходит для компиляции в WebAssembly - безопасная память, хорошая интеграция с LLVM и высокая производительность. • Однако связка Rust + wasm-bindgen может быть неудобной, и многие разработчики сталкиваются с неожиданными ограничениями и странностями API. • В реальных проектах важно выработать собственные паттерны архитектуры и взаимодействия с хост-средой (обычно JavaScript). • Многие проблемы WASM связаны не с Rust, а с самим экосистемным слоем: биндинги, сборка, взаимодействие с браузером и tooling. Автор делится конкретными практическими приёмами, которые позволяют значительно упростить работу с Rust-WASM и избежать типичных ошибок. Если вы работаете с WebAssembly или только планируете использовать Rust для WASM — статья обязательна к прочтению. https://notes.brooklynzelenka.com/Blog/Notes-on-Writing-Wasm

Выиграй деньги, став чемпионом ИТ-соревнования от МТС Остались считанные дни до окончания регистрации — призовой фонд 1 500 000 рублей. True Tech Hack — это три уникальные задачи для инженеров данных, разработчиков и системных аналитиков. За лучшие решения дают деньги и зовут на стажировку. Для всех финалистов — закрытая вечеринка с диджеем в Москве на видовой площадке. Регистрация закроется вечером 10 апреля — торопись!

🦀 Rust совет На прошлой неделе мы показывали, как встраивать статические данные в код с помощью include_str!. Сегодня - маленький, но очень полезный трюк. ⚙️ Запуск Cargo с конкретной версией toolchain Иногда нужно проверить, будет ли ваш проект работать на следующей версии Rust (которая скоро станет stable). Для этого не нужно менять глобальную версию Rust. Достаточно просто указать toolchain прямо в команде:

cargo +beta test

Можно использовать и другие версии:

cargo +nightly build
cargo +stable check

💡 Это удобно для: • тестирования совместимости с будущими релизами Rust • проверки nightly-фич • CI-пайплайнов • отлова будущих breaking changes Маленький трюк, но экономит часы дебага. #rust #rustlang

🚀 Gemma 4 - новое семейство открытых моделей Google, которые можно запускать прямо на своём железе. Модели заточены для сложного reasoning и агентных задач. 🔵 Доступны в четырёх вариантах: • 31B Dense и 26B MoE Топовый уровень производительности для сложных локальных задач: кастомные код-ассистенты, анализ научных данных и не только. • E4B и E2B (Edge) Оптимизированы для мобильных устройств — работают в реальном времени с текстом, изображениями и аудио. 🤖 Что можно делать: • строить автономных ИИ-агентов • планировать и выполнять многошаговые задачи • взаимодействовать с приложениями • искать данные и вызывать API 👉 Встроенная работа с инструментами (tool use) из коробки. 🧠 Контекст до 256K токенов: • анализ целых кодовых баз • длинные цепочки действий без потери контекста • стабильная работа в сложных сценариях ⚡️ Начать можно уже сейчас через Google AI Studio Также веса моделей доступны на Hugging Face, Kaggle и Ollama. Лицензия: Apache 2.0. Blog: https://blog.google/innovation-and-ai/technology/developers-tools/gemma-4/ GGUFs: https://huggingface.co/collections/unsloth/gemma-4 Guide: https://unsloth.ai/docs/models/gemma-4 @ai_machinelearning_big_data #Gemma

🦀 Rust: Traits, Generics и Coherence Система traits в Rust очень мощная, но правила coherence и orphan rules иногда делают разработку довольно болезненной. Часто кажется, что язык просто не даёт реализовать trait там, где это логично. В статье разбирают, как перестать бороться с этими ограничениями и вместо этого использовать более гибкий подход — context-generic реализации traits. Это позволяет: - писать более модульный код - избегать конфликтов impl - лучше работать с generics - обходить ограничения orphan rules без хака Хороший разбор для тех, кто уже пишет на Rust и хочет глубже понять архитектуру trait-системы. https://contextgeneric.dev/blog/rustlab-2025-coherence/ #rust #rustlang

Парень переписал Claude Code на Python за ночь - и взорвал GitHub Anthropic случайно засветили исходники своего ИИ-редактора Claude Code и они мгновенно разлетелись по сети. Разработчик из Южной Кореи, Sigrid Jin, увидел это в 4 утра и не стал ждать. За одну ночь он переписал ключевые части проекта на Python и выложил форк под названием Claw Code. Результат: - 50 000 звёзд всего за 2 часа - вирусное распространение по всему GitHub - полноценный агентный стек, сохранённый в новой реализации Сейчас он уже работает над версией на Rust. История про то, как скорость и скилл иногда решают больше, чем команды и бюджеты https://github.com/instructkr/claw-code 🐍 полезные ресурсы 🚀Max @machinelearning_interview

🦀 Хотите расти как Rust-разработчик ? Перестаньте читать только статьи с абстракциями. Начните разбирать реальный код под нагрузкой. Настоящий уровень приходит, когда вы работаете с системными проблемами: - анализируете memory pressure - находите lock contention - оптимизируете структуры данных - переходите к data-oriented design - профилируете поведение в production-сценариях Отличный пример такого подхода: разбор того, как диагностировать утечки памяти, снижать давление на аллокатор и устранять узкие места синхронизации. Почему это важно: В Rust рост происходит не через синтаксис или паттерны. Рост происходит, когда вы начинаете думать в терминах: - кэш-локальность - аллокации - layout данных - contention - пропускная способность Главный переход в карьере Rust-разработчика: От “как написать правильно” → к “как это работает под нагрузкой”. Именно там начинается настоящая системная инженерия. https://mnt.io/articles/about-memory-pressure-lock-contention-and-data-oriented-design/

🌟 Лучшие репозитории на GitHub для Claude Code, которые могут ускорить ваш следующий проект Claude Mem https://github.com/thedotmack/claude-mem Память для Claude с сохранением контекста между задачами UI UX Pro Max https://github.com/nextlevelbuilder/ui-ux-pro-max-skill Набор навыков для генерации продакшен-уровня интерфейсов n8n-MCP https://github.com/czlonkowski/n8n-mcp Интеграция Claude с n8n через MCP для автоматизации workflow Obsidian Skills https://github.com/kepano/obsidian-skills Навыки для работы с Obsidian и структурированием знаний LightRAG https://github.com/HKUDS/LightRAG Лёгкая RAG-система для быстрого поиска и генерации Everything Claude Code https://github.com/affaan-m/everything-claude-code Большая база знаний, паттернов и практик по Claude Code Superpowers https://github.com/obra/superpowers Расширение возможностей Claude Code для сложных задач Awesome Claude Code https://github.com/hesreallyhim/awesome-claude-code Кураторская подборка инструментов и ресурсов GSD (Get Shit Done) https://github.com/gsd-build/get-shit-done Полезный набор инструментов для максимальной продуктивности и быстрого выполнения задач.

🦀 Вышел Rust 1.94.1 Команда Rust выпустила новый патч-релиз - 1.94.1. - это не новый функциональный релиз - исправляет 3 ошибки, появившиеся в 1.94.0 Обновиться можно одной командой: rustup update stable Rust 1.94.0 (предыдущий релиз) принёс реальные изменения: - новые API и улучшения стандартной библиотеки - улучшения Cargo и конфигов - расширение поддержки платформ (включая RISC-V) - обновления Unicode и lint’ов 👉 А вот 1.94.1 - это чисто «починка после релиза»: фиксит баги, которые всплыли сразу после выхода 1.94.0 Вывод: - если ты уже на 1.94.0- обновляться обязательно - если нет, просто ставь 1.94.1 и не думай Классический Rust-подход: сначала выкатывают фичи → потом быстро стабилизируют продакшен https://blog.rust-lang.org/2026/03/26/1.94.1-release/

📘 На Stepik вышел курс — «Rust для профессионалов» Уже уверенно пишете на Rust и готовы к новым вызовам? Этот курс — именно то, что нужно, чтобы вывести свои навыки на экспертный уровень. 🔍 Что вы получите: • Глубокое понимание ключевых тем: generics, lifetimes, async, управление памятью • Решение реальных инженерных задач: параллелизм, системное программирование, архитектура • 150 интерактивных заданий с автопроверкой — всё в браузере, без установки, в удобное для вас время 🎓 Сертификат по завершении — добавьте его в резюме или профиль LinkedIn 🚀 Прокачайте Rust с пользой и удовольствием. Начните уже сегодня и получите скидку 25%, которая действительна в течение 48 часов 👉 Пройти курс на Stepik

🤖 Spacebot: AI для команд и сообществ Spacebot — это мощный AI-агент, созданный для работы в многопользовательских средах, таких как Discord и Slack. Он обрабатывает множество запросов одновременно, не блокируя пользователей и не теряя контекст. Идеально подходит для активных сообществ и команд, обеспечивая эффективное взаимодействие и выполнение задач. 🚀 Основные моменты: - Поддержка одновременных разговоров и задач. - Интеграция с Discord, Slack и Telegram. - Специализированные процессы для выполнения различных задач. - Возможность развертывания через один клик или самостийно. - Многофункциональные инструменты для работы с файлами и кодом. 📌 GitHub: https://github.com/spacedriveapp/spacebot #rust

📘 На Stepik вышел курс — «DevOps-инженер: От основ до продакшена» Хотите автоматизировать деплой и выстраивать надёжные CI/CD процессы? Этот курс — полный путь DevOps-инженера: от первого сервера до продакшена. • CI/CD: Jenkins, GitLab CI/CD, GitHub Actions, Blue-Green, Canary, rollback • Контейнеризация: Docker (образы, Compose, networking), безопасность контейнеров • Kubernetes: Pods, Services, Deployments, Helm, RBAC • Infrastructure as Code: Terraform, Ansible, ArgoCD и Flux для GitOps • Мониторинг: Prometheus, Grafana, ELK Stack, OpenTelemetry, SLI/SLO/SLA • Безопасность: SAST/DAST, Vault, Zero Trust, Policy as Code, incident response • Продакшен практики: High Availability, Disaster Recovery, Chaos Engineering • В стоимость включено: поддержка на протяжении курса, разбор задач и вопросов, рецензирование итогового проекта и помощь в составлении резюме 🎓 Сертификат — добавьте в резюме или LinkedIn 🔥 Цена со скидкой: 9 990 ₽ → 5 990 ₽, действует ограниченное время 👉 Пройти курс на Stepik Erid: 2VtzquuDzvy

📌 Google разработала алгоритм квантования KV-кэша без потери точности. Подразделение Research анонсировало TurboQuant, алгоритм векторного квантования, объединяющий 2 других метода - QJL и PolarQuant, который решает проблему увеличения KV-кэша при работе с длинным контекстом. TurboQuant будет представлен на ICLR 2026, PolarQuant - на AISTATS 2026.

KV-кэш хранит промежуточные представления токенов, чтобы модель не пересчитывала их на каждом шаге генерации. С ростом контекста он превращается в узкое место по памяти. Обычное векторное квантование сжимает эти данные, но вносит накладные расходы: для каждого блока нужно хранить константы квантования в полной точности, а это плюс 1–2 бита на элемент, что частично обесценивает само сжатие.

🟡TurboQuant - двухэтапный пайплайн. Сначала PolarQuant: случайный поворот выравнивает геометрию векторов, после чего они переводятся из декартовых координат в полярные (радиус и угол). Распределение углов оказывается предсказуемым и сконцентрированным, поэтому нормализация и хранение дополнительных констант становятся больше не нужны. На втором этапе подключается QJL, метод на основе преобразования Джонсона-Линденштраусса, который кодирует остаточную ошибку первого этапа всего одним знаковым битом и через встроенную оценочную функцию сочетает высокоточный запрос с низкоточными сжатыми данными, корректно вычисляя attention score. Ни один из методов не требует обучения или дообучения и работает в режиме "без предварительного анализа набора данных". Алгоритмы тестили на бенчмарках для длинного контекста: LongBench, Needle In A Haystack, ZeroSCROLLS, RULER и L-Eval с моделями Gemma и Mistral.

При квантовании KV-кэша до 3 бит TurboQuant показал нулевую деградацию точности на всех задачах: поиск «иголки в стоге сена», QA, генерация кода, суммаризация.

Объем KV-кэша при этом сократился в 6 раз. На H100 четырехбитный TurboQuant ускорил вычисление attention-логитов до 8 раз по сравнению с 32-битными ключами.

Область применения не ограничивается KV-кэшем. В экспериментах с высокоразмерным векторным поиском TurboQuant стабильно превзошел по recall методы PQ и RaBitQ несмотря на то, что те использовали крупные код-буки и подстройку под конкретный датасет. 🟡Статья 🟡Arxiv @ai_machinelearning_big_data 🎯Полезные Мл-ресурсы 🚀 Max #AI #ML #LLM #TurboQuant #Google

👣 Microsoft выкатили RustTraining. Вот лишь часть тем, которые сразу зацепили: - Async в продакшене - Конкурентность и runtime - Почему разработчикам на C/C++ стоит переходить на Rust - no_std — Rust без стандартной библиотеки - Зачем Rust разработчикам на C# - Системное программирование и продакшн - Unsafe Rust - управляемый риск - Phantom types - Машины состояний для протоколов И это только малая часть. Похоже, туда вложили очень много работы, точно стоит выделить время и пройтись. github.com/microsoft/RustTraining/

🦀 Как может выглядеть будущее Rust В новой статье “A Grand Vision for Rust” разработчик Yoshua Wuyts рассуждает о том, в каком направлении может развиваться язык в ближайшие годы. Главная идея - сделать Rust ещё более надежным системным языком, который позволяет писать быстрые программы и при этом максимально снижает вероятность ошибок. Один из возможных шагов - развитие системы эффектов. Смысл в том, чтобы функции могли явно указывать, какие действия они выполняют. Например, делает ли функция ввод-вывод, может ли вызвать panic, использует ли выделение памяти или запускает параллельные задачи. Если такие свойства будут описаны на уровне типов, компилятор сможет проверять гораздо больше вещей ещё до запуска программы. Также обсуждается развитие модели конкурентности и более удобная работа с асинхронным кодом. Идея в том, чтобы управление задачами стало более структурированным и предсказуемым. Отдельное внимание уделяется упрощению сложных частей языка и улучшению инструментов для системного программирования. В целом автор говорит о том, что Rust уже считается одним из самых безопасных языков, но в будущем он может стать платформой, где корректность программ будет ещё сильнее контролироваться самим компилятором.🦀 Как может выглядеть будущее Rust В новой статье “A Grand Vision for Rust” разработчик Yoshua Wuyts рассуждает о том, в каком направлении может развиваться язык в ближайшие годы. Главная идея - сделать Rust ещё более надежным системным языком, который позволяет писать быстрые программы и при этом максимально снижает вероятность ошибок. Один из возможных шагов - развитие системы эффектов. Смысл в том, чтобы функции могли явно указывать, какие действия они выполняют. Например, делает ли функция ввод-вывод, может ли вызвать panic, использует ли выделение памяти или запускает параллельные задачи. Если такие свойства будут описаны на уровне типов, компилятор сможет проверять гораздо больше вещей ещё до запуска программы. Также обсуждается развитие модели конкурентности и более удобная работа с асинхронным кодом. Идея в том, чтобы управление задачами стало более структурированным и предсказуемым. Отдельное внимание уделяется упрощению сложных частей языка и улучшению инструментов для системного программирования. В целом автор говорит о том, что Rust уже считается одним из самых безопасных языков, но в будущем он может стать платформой, где корректность программ будет ещё сильнее контролироваться самим компилятором. blog.yoshuawuyts.com/a-grand-vision-for-rust/ #rust #rustlang

👣👣 Discord объяснил, почему часть инфраструктуры переходит с Go на Rust Discord начал переносить отдельные компоненты с Go на Rust, потому что при их масштабе главная цена - это предсказуемость задержек и эффективность памяти. Речь не про "мода на Rust", а про конкретные технические потолки, в которые упираются большие real-time системы. Контекст - почему это вообще стало проблемой Discord - это нагрузка с постоянными пиками и жёсткими требованиями к latency. Когда у тебя миллионы одновременных соединений, сообщения в реальном времени, голосовые сессии и огромные объёмы событий, любая нестабильность по времени ответа превращается в пользовательские лаги и дорогую инфраструктуру. Что в Go стало упираться на масштабе Discord 1) GC и хвостовые задержки Go использует сборщик мусора. Он стал очень хорошим, но у больших сервисов с активными аллокациями и большими heap-объёмами GC всё равно может: - создавать краткие паузы или "подёргивания" - давать спайки по p99 и p999 latency - делать поведение менее предсказуемым именно в моменты пиков На небольших сервисах это часто незаметно. На real-time инфраструктуре, где важны хвостовые перцентили, это начинает быть системной проблемой. 2) Цена аллокаций и давление на память Go удобен, но он поощряет стиль, где аллокации происходят "само собой". На горячих путях это приводит к: - росту heap - большему количеству работы GC - большему потреблению RAM - а значит - к большему числу машин и более высокой стоимости 3) Потребность в более низком уровне контроля В некоторых компонентах Discord понадобился контроль над: - тем, когда и как выделяется память - буферами и их жизненным циклом - layout данных - оптимизациями "вплоть до байта" Go как язык намеренно ограничивает такие вещи ради простоты и скорости разработки. Когда система доросла, Discord понадобилось больше "ручек". Почему именно Rust 1) Нет GC - стабильнее latency Rust не использует сборщик мусора. Память освобождается детерминированно через владение и области видимости. Результат - меньше неожиданных спайков по времени ответа, особенно на больших heap-нагрузках. 2) Контроль над аллокациями и структурой данных Rust позволяет проектировать горячие пути так, чтобы: - уменьшать количество аллокаций - переиспользовать буферы - держать данные в более cache-friendly структурах - снижать overhead на каждом запросе/событии 3) Производительность уровня системного программирования с безопасностью Discord явно не хочет возвращаться в мир "C/C++ и вечных memory bugs". Rust даёт: - системную производительность - защиту от use-after-free, data races и многих классов ошибок памяти на уровне компилятора Главный нюанс - Discord не "выкинул Go" Важная мысль из текста Discord: это не религия, а прагматика. Обычно выглядит так: - Go остаётся отличным для продуктовой логики, быстрых сервисов, разработки и поддержки - Rust применяют там, где есть жёсткий performance budget - горячие пути, сетевые компоненты, обработка больших объёмов событий, инфраструктурные библиотеки То есть это "гибридная стратегия", а не миграция всего подряд. Что это говорит о рынке 1) Go закрепился как язык для скорости разработки Если цель - быстро писать и менять микросервисы, Go остаётся одним из лучших выборов. 2) Rust всё чаще становится языком инфраструктуры Когда компания вырастает и начинает платить миллионы за лишние миллисекунды и гигабайты RAM, Rust становится экономически выгодным. 3) Критерий выбора меняется с "удобно" на "предсказуемо" На больших масштабах выигрывает не тот, кто чуть быстрее в среднем, а тот, у кого меньше хвостовых задержек и меньше сюрпризов под нагрузкой. История Discord - это не про - "Go плохой". Это кейс о том, что на hyperscale появляются другие ограничения. Go - отличный default для backend. Rust - сильный инструмент для performance-critical инфраструктуры, где важны p99/p999, память и контроль над горячими путями. https://discord.com/blog/why-discord-is-switching-from-go-to-rust/

Блокчейн и ИИ: Симбиоз технологий будущего - бесплатный вебинар. О чем расскажем: • Ключевые темы и вопросы • Две проблемы – одно решение. • Блокчейн как инфраструктура для ИИ. • ИИ как двигатель для блокчейна. • Футуристический синтез и вызовы • Заключение и карьерные пути Записаться: https://otus.pw/3QP1/?erid=2W5zFHkLB9b Реклама. ООО "ОТУС ОНЛАЙН-ОБРАЗОВАНИЕ". ИНН 9705100963.

🌐 IRBox: Удобный и безопасный прокси-клиент IRBox предлагает многофункциональную поддержку протоколов и продвинутые инструменты управления для обеспечения безопасного и стабильного интернет-соединения. Идеален для пользователей, заботящихся о конфиденциальности. 🚀 Основные моменты: - Поддержка множества протоколов (VLESS, VMess, Shadowsocks и др.) - Расширенные функции управления (правила маршрутизации, автообновление подписок) - Интуитивно понятный интерфейс с темами и тестированием задержки серверов 📌 GitHub: https://github.com/frank-vpl/IRBox #rust