RustOwl – это инструмент для визуализации времени жизни переменных в Rust, который помогает быстро обнаруживать ошибки и оптимизировать код. Основное:
Интуитивное отображение:
При наведении на переменную или вызов функции, инструмент подчеркивает:
- Зелёным: фактическое время жизни переменной
- Синим и пурпурным: неизменное и изменяемое заимствование
- Оранжевым: перемещение значения или вызов функции
- Красным: ошибки времени жизни
Широкая поддержка редакторов:
RustOwl доступен как расширение для VSCode, плагин для Neovim и пакет для Emacs. Благодаря встроенному LSP-серверу (cargo owlsp) интеграция с другими редакторами также возможна.
Преимущества:
Инструмент помогает визуально отслеживать сложные аспекты владения и заимствования, что делает отладку и оптимизацию Rust-кода более удобной и эффективной по сравнению с традиционными методами.
✔ Github
@rust_code
Интуитивное отображение:
При наведении на переменную или вызов функции, инструмент подчеркивает:
- Зелёным: фактическое время жизни переменной
- Синим и пурпурным: неизменное и изменяемое заимствование
- Оранжевым: перемещение значения или вызов функции
- Красным: ошибки времени жизни
Широкая поддержка редакторов:
RustOwl доступен как расширение для VSCode, плагин для Neovim и пакет для Emacs. Благодаря встроенному LSP-серверу (cargo owlsp) интеграция с другими редакторами также возможна.
Преимущества:
Инструмент помогает визуально отслеживать сложные аспекты владения и заимствования, что делает отладку и оптимизацию Rust-кода более удобной и эффективной по сравнению с традиционными методами.
✔ Github
@rust_code
This media is not supported in your browser
VIEW IN TELEGRAM
@sqlhub
Please open Telegram to view this post
VIEW IN TELEGRAM
This media is not supported in your browser
VIEW IN TELEGRAM
mail-server: Безопасный и современный почтовый сервер «все в одном» (IMAP, JMAP, POP3, SMTP)
★6236
🖥 Github
@rust_code
★6236
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
This media is not supported in your browser
VIEW IN TELEGRAM
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
В этом выпуске не только добавлены асинхронные замыкания, но и полностью новая версия Rust Edition, Rust 2024! 🎆🚀
Обзор всех изменений и дополнений можно найти в блоге:
https://blog.rust-lang.org/2025/02/20/Rust-1.85.0.html
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
Линус Торвальдс пояснил свою позицию в отношении приёма изменений на Rust https://opennet.ru/62764/
www.opennet.ru
Линус Торвальдс пояснил свою позицию в отношении приёма изменений на Rust
К обсуждению сопротивления мэйнтейнеров внедрению Rust в ядро подключился Линус Торвальдс, который пояснил, что никто не заставляет мэйнтейнеров изучать язык Rust, использовать код на Rust или принимать во внимание наличие в ядре кода на Rust. Мэйнтейнеры…
⚡️Легкий способ получать свежие обновления и следить за трендами в разработке на вашем языке. Находите свой стек и подписывайтесь:
МАШИННОЕ ОБУЧЕНИЕ: www.tgoop.com/ai_machinelearning_big_data
C++ www.tgoop.com/cpluspluc
Python: www.tgoop.com/pythonl
Linux: www.tgoop.com/linuxacademiya
Хакинг: www.tgoop.com/linuxkalii
Devops: www.tgoop.com/DevOPSitsec
Data Science: www.tgoop.com/data_analysis_ml
Javascript: www.tgoop.com/javascriptv
C#: www.tgoop.com/csharp_ci
Java: www.tgoop.com/javatg
Базы данных: www.tgoop.com/sqlhub
Python собеседования: www.tgoop.com/python_job_interview
Мобильная разработка: www.tgoop.com/mobdevelop
Docker: www.tgoop.com/DevopsDocker
Golang: www.tgoop.com/Golang_google
React: www.tgoop.com/react_tg
Rust: www.tgoop.com/rust_code
ИИ: www.tgoop.com/vistehno
PHP: www.tgoop.com/phpshka
Android: www.tgoop.com/android_its
Frontend: www.tgoop.com/front
Big Data: www.tgoop.com/bigdatai
Собеседования МЛ: www.tgoop.com/machinelearning_interview
МАТЕМАТИКА: www.tgoop.com/data_math
Kubernets: www.tgoop.com/kubernetc
Разработка игр: https://www.tgoop.com/gamedev
Haskell: www.tgoop.com/haskell_tg
💼 Папка с вакансиями: www.tgoop.com/addlist/_zyy_jQ_QUsyM2Vi
Папка Go разработчика: www.tgoop.com/addlist/MUtJEeJSxeY2YTFi
Папка Python разработчика: www.tgoop.com/addlist/eEPya-HF6mkxMGIy
Папка ML: https://www.tgoop.com/addlist/2Ls-snqEeytkMDgy
Папка FRONTEND: https://www.tgoop.com/addlist/mzMMG3RPZhY2M2Iy
😆ИТ-Мемы: www.tgoop.com/memes_prog
🇬🇧Английский: www.tgoop.com/english_forprogrammers
🧠ИИ: www.tgoop.com/vistehno
🎓954ГБ ОПЕНСОРС КУРСОВ: @courses
📕Ит-книги бесплатно: https://www.tgoop.com/addlist/BkskQciUW_FhNjEy
МАШИННОЕ ОБУЧЕНИЕ: www.tgoop.com/ai_machinelearning_big_data
C++ www.tgoop.com/cpluspluc
Python: www.tgoop.com/pythonl
Linux: www.tgoop.com/linuxacademiya
Хакинг: www.tgoop.com/linuxkalii
Devops: www.tgoop.com/DevOPSitsec
Data Science: www.tgoop.com/data_analysis_ml
Javascript: www.tgoop.com/javascriptv
C#: www.tgoop.com/csharp_ci
Java: www.tgoop.com/javatg
Базы данных: www.tgoop.com/sqlhub
Python собеседования: www.tgoop.com/python_job_interview
Мобильная разработка: www.tgoop.com/mobdevelop
Docker: www.tgoop.com/DevopsDocker
Golang: www.tgoop.com/Golang_google
React: www.tgoop.com/react_tg
Rust: www.tgoop.com/rust_code
ИИ: www.tgoop.com/vistehno
PHP: www.tgoop.com/phpshka
Android: www.tgoop.com/android_its
Frontend: www.tgoop.com/front
Big Data: www.tgoop.com/bigdatai
Собеседования МЛ: www.tgoop.com/machinelearning_interview
МАТЕМАТИКА: www.tgoop.com/data_math
Kubernets: www.tgoop.com/kubernetc
Разработка игр: https://www.tgoop.com/gamedev
Haskell: www.tgoop.com/haskell_tg
💼 Папка с вакансиями: www.tgoop.com/addlist/_zyy_jQ_QUsyM2Vi
Папка Go разработчика: www.tgoop.com/addlist/MUtJEeJSxeY2YTFi
Папка Python разработчика: www.tgoop.com/addlist/eEPya-HF6mkxMGIy
Папка ML: https://www.tgoop.com/addlist/2Ls-snqEeytkMDgy
Папка FRONTEND: https://www.tgoop.com/addlist/mzMMG3RPZhY2M2Iy
😆ИТ-Мемы: www.tgoop.com/memes_prog
🇬🇧Английский: www.tgoop.com/english_forprogrammers
🧠ИИ: www.tgoop.com/vistehno
🎓954ГБ ОПЕНСОРС КУРСОВ: @courses
📕Ит-книги бесплатно: https://www.tgoop.com/addlist/BkskQciUW_FhNjEy
@devopsitsec
Please open Telegram to view this post
VIEW IN TELEGRAM
✔ Rust-libp2p – это библиотека, реализующая стек протоколов libp2p на языке Rust. Она предназначена для создания peer-to-peer (P2P) сетевых приложений и децентрализованных систем.
Основные особенности и предназначение инструмента:
Модульность и масштабируемость: Предоставляет набор компонентов для построения сетевого взаимодействия, таких как обнаружение узлов, мультиплексирование соединений, маршрутизация и шифрование.
Безопасность и производительность: Использование Rust обеспечивает высокую безопасность памяти и производительность, что особенно важно в распределённых системах.
Применение в децентрализованных проектах: Инструмент используется в таких проектах, как IPFS, блокчейн-сети и другие распределённые приложения, где необходим надёжный обмен данными между участниками сети.
https://github.com/libp2p/rust-libp2p
Основные особенности и предназначение инструмента:
Модульность и масштабируемость: Предоставляет набор компонентов для построения сетевого взаимодействия, таких как обнаружение узлов, мультиплексирование соединений, маршрутизация и шифрование.
Безопасность и производительность: Использование Rust обеспечивает высокую безопасность памяти и производительность, что особенно важно в распределённых системах.
Применение в децентрализованных проектах: Инструмент используется в таких проектах, как IPFS, блокчейн-сети и другие распределённые приложения, где необходим надёжный обмен данными между участниками сети.
https://github.com/libp2p/rust-libp2p
This media is not supported in your browser
VIEW IN TELEGRAM
Основные особенности и интересные аспекты проекта:
Интерактивный терминальный интерфейс: Пользователи могут искать строки по фиксированному тексту или регулярному выражению, вводить строку для замены и выбирать, какие именно вхождения изменять. Это значительно упрощает массовое редактирование кода или текстовых данных непосредственно из терминала.
Поддержка регулярных выражений: Помимо поиска по фиксированным строкам, Scooter поддерживает использование регулярных выражений с возможностью задействования capture-групп. Это позволяет создавать сложные шаблоны для замены, адаптированные под конкретные задачи.
Интеграция с системными файлами: Scooter учитывает файлы, указанные в .gitignore и .ignore, что позволяет исключать ненужные каталоги из поиска и сосредоточиться на актуальных данных.
Гибкость использования: Приложение можно запускать как для поиска и замены в текущей директории, так и в указанных каталогах, что делает его универсальным инструментом для различных сценариев разработки.
Интеграция с редакторами: Существуют конфигурации для интеграции с популярными редакторами, такими как Neovim и Helix, что позволяет запускать Scooter в виде плавающего окна, не покидая среды разработки.
Scooter представляет интерес благодаря своей простоте и эффективности, а также тому, что он решает реальную проблему – быстрое и точное редактирование большого объема текстовой информации в командной строке. Это делает его полезным инструментом для разработчиков, системных администраторов и всех, кто работает с текстовыми файлами в терминале.
https://github.com/thomasschafer/scooter
Please open Telegram to view this post
VIEW IN TELEGRAM
Punktf - кроссплатформенный менеджер dotfiles, написанный на Rust, который упрощает управление и синхронизацию конфигурационных файлов на разных системах.
Для Rust-разработчика проект полезен своей производительностью, безопасностью и удобством автоматизации настройки среды, что облегчает перенос конфигураций между устройствами.
brew install michidk/tools/punktf
▪ Github
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
Вышел Rustup 1.28.0 с множеством улучшений. ✨
Для тех, кто использует rustup в CI: обратите внимание, что rustup больше не будет автоматически устанавливать toolchain из
Для если необходимо.
Запись в блоге: https://blog.rust-lang.org/2025/03/02/Rustup-1.28.0.html
@rust_code
Для тех, кто использует rustup в CI: обратите внимание, что rustup больше не будет автоматически устанавливать toolchain из
rust-toolchain.toml.
Обязательно запуститемножеством улучшений. ✨Для если необходимо.
Запись в блоге: https://blog.rust-lang.org/2025/03/02/Rustup-1.28.0.html
@rust_code
Источник: Oxen.ai Blog
Ссылка: Oxen.ai
Статья подробно рассказывает о процессе обучения специализированной языковой модели для генерации кода на Rust, обладающей 1.5 млрд параметров.
Авторы применяют метод обучения с подкреплением (GRPO) с использованием обратной связи от инструментов Rust (компилятор и система сборки cargo). Это позволяет модели учиться генерировать код, который успешно компилируется, проходит линтер (cargo clippy) и unit-тесты.
Подход к данным и метрикам: Описаны этапы подготовки датасета, в том числе адаптация существующих Python-подобных задач под синтаксис Rust, а также разработка специальных reward-функций, проверяющих качество сгенерированного кода.
Материал показывает, как можно использовать инструменты Rust для автоматизированной проверки качества кода, что может служить основой для создания интеллектуальных помощников и средств автоматизации.
🔗 Читать
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
Он может быть полезен разработчикам по следующим направлениям:
⚫ Обучение и практика: Проект демонстрирует, как писать, тестировать и разворачивать смарт-контракты в экосистеме Solana.
⚫ Пример архитектуры: Разработчики могут изучить структуру кода, способы взаимодействия с блокчейном и методы обеспечения безопасности смарт-контрактов.
⚫ Инструменты и библиотеки: В репозитории могут быть использованы современные инструменты разработки, что помогает быстрее освоить лучшие практики создания децентрализованных приложений.
⚫ Расширяемость: Исходный код можно адаптировать под конкретные задачи, что делает его отличным шаблоном для создания собственных проектов на Solana.
📌 GitHub
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
Джон Сигер (Jon Seager), вице-президент компании Canonical по инжинирингу и технический лидер проекта Ubuntu, представил инициативу по замене в Ubuntu системных утилит на аналоги, написанные на языке Rust. Первой целью инициативы заявлен перевод Ubuntu 25.10 на использование по умолчанию инструментария uutils вместо набора утилит GNU Coreutils. Если эксперимент будет признан удачным, то uutils также будут задействованы по умолчанию в LTS-ветке Ubuntu 26.04.
Замена коснётся более ста утилит, входящих в состав Сoreutils, включая sort, cat, chmod, chown, chroot, cp, date, dd, echo, hostname, id, ln и ls. В настоящее время утилиты uutils уже применяются по умолчанию в дистрибутиве Apertis, основанном на Debian, а также в независимом дистрибутиве AerynOS (SerpentOS). Опубликованный на прошлой неделе выпуск пакета uutils coreutils 0.0.30 успешно проходит 507 тестов (в прошлом выпуске 506, в позапрошлом - 476) из эталонного тестового набора GNU Coreutils. 69 тестов завершилось неудачей, а 41 тест был пропущен. В ближайшие недели также планируется приступить к работе над заменой в Ubuntu утилит su и sudo на пакет sudo-rs. Из рассматриваемых проектов дополнительно упоминаются zlib-rs и ntpd-rs.
В качестве причины миграции называется желание повысить надёжность и безопасность утилит, лежащих в основе дистрибутива. Использование Rust даст возможность снизить риск появления ошибок при работе с памятью, таких как обращение к области памяти после её освобождения и выход за границы буфера. По мнению Джона Сигера, защита от подобных ошибок повысит гарантии безопасности, а с повышением безопасности увеличится и общая надёжность работы системы.
Отмечается, что Canonical рассматривает разные методы повышения качества и один из них - поставка программ, изначально разрабатываемых с оглядкой на безопасность, надёжность и корректность. Для базовых компонентов дистрибутива это особенно важно, так как если в низкоуровневом ПО возникают проблемы, то эти проблемы отражаются на работе и всех вышележащих слоёв, например, если в базовых пакетах имеются проблемы с производительностью, то они сказываются и на производительности других подсистем.
Для тестирования замены в Ubuntu системных компонентов подготовлен проект oxidizr, предлагающий инструментарий командной строки для управления экспериментами с системой, связанными с заменой традиционных утилит на альтернативы, написанные на Rust. В настоящее время в oxidizr доступны эксперименты для перехода по умолчанию на использование пакетов uutils coreutils, uutils findutils, uutils diffutils и sudo-rs. Например, для замены в своей системе coreutils и findutils достаточно выполнить команду "sudo oxidizr enable --experiments coreutils findutils", а для возвращения в исходное состояние можно использовать команду "oxidizr disable".
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
Разработанный на языке Rust, он обеспечивает высокую производительность и надёжность, позволяя масштабировать базы данных без необходимости изменения кода приложений.
Основные особенности PgDog:
Шардирование: PgDog способен автоматически распределять данные между несколькими шардами, обеспечивая эффективное управление большими объёмами информации.
Пул соединений: Поддерживает транзакционное и сессионное пуллинг, позволяя тысячам клиентов использовать ограниченное количество соединений с сервером PostgreSQL, что оптимизирует использование ресурсов.
Балансировка нагрузки: Распределяет запросы между основными и реплицированными базами данных, обеспечивая равномерную загрузку и повышая отказоустойчивость системы.
Благодаря этим возможностям, PgDog может управлять сотнями баз данных и обрабатывать сотни тысяч соединений, что делает его мощным инструментом для масштабирования и оптимизации производительности PostgreSQL-систем.
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
🎉🎉🎉 Rust 1.85.1 – новый релиз
Сегодня вышел новый патч-релиз Rust 1.85.1, который приносит важные исправления и улучшения.
Вот главные изменения:
▪ Исправление компиляции комбинированных doctest'ов:
Ранее в выпуске 2024 Edition из-за ошибки rustdoc автоматически переключался на «unmerged» fallback-метод, что снижало производительность. Теперь эта проблема устранена, и улучшения в скорости работы вступают в силу.
▪ Решение регрессий из версии 1.85.0:
▪ Сняты ограничения target_feature проверок при генерации документации.
▪ Исправлена ошибка в std::fs::rename для Windows 1607.
▪ Понижена версия bootstrap cc для корректной работы с кастомными целями.
▪ Добавлен пропуск обновления submodule'ов при сборке Rust из исходного tarball.
Чтобы обновиться до Rust 1.85.1, достаточно запустить команду:
https://blog.rust-lang.org/2025/03/18/Rust-1.85.1.html
@rust_code
Сегодня вышел новый патч-релиз Rust 1.85.1, который приносит важные исправления и улучшения.
Вот главные изменения:
▪ Исправление компиляции комбинированных doctest'ов:
Ранее в выпуске 2024 Edition из-за ошибки rustdoc автоматически переключался на «unmerged» fallback-метод, что снижало производительность. Теперь эта проблема устранена, и улучшения в скорости работы вступают в силу.
▪ Решение регрессий из версии 1.85.0:
▪ Сняты ограничения target_feature проверок при генерации документации.
▪ Исправлена ошибка в std::fs::rename для Windows 1607.
▪ Понижена версия bootstrap cc для корректной работы с кастомными целями.
▪ Добавлен пропуск обновления submodule'ов при сборке Rust из исходного tarball.
Чтобы обновиться до Rust 1.85.1, достаточно запустить команду:
rustup update stable
https://blog.rust-lang.org/2025/03/18/Rust-1.85.1.html
@rust_code
Для включения в состав ветки GCC 15 предложена серия патчей с улучшением поддержки языка Rust во фронтэнде gccrs. Наиболее заметным изменением стала поддержка проверки заимствования переменных (borrow checker), реализованная на основе компонента Polonius, разрабатываемого основной командой разработчиков Rust в качестве следующего поколения Borrow checker.
Предложенная реализация Borrow checker отличается тем, что написана на языке Rust и предоставляет расширенные возможности верификации кода, позволяющие в ряде случаев считать безопасным (safe) код, который до сих пор требовал пометки ключевым словом Unsafe из-за ограничений применяемой по умолчанию реализации Borrow checker.
Подготовленное для GCC решение имеет ограничения:
Для Polonius известны ситуации, в которых некоторый реально существующий в проектах код приводит к экспоненциальному росту сложности анализа.
В случае GCC для завершения фазы начальной раскрутки (bootstrapping) компилятора gccrs на данный момент требуется компилятор Rust (в будущем данное ограничение будет устранено).
Полная реализация самодостаточной сборки подразумевает 2-стадийную раскрутку, при которой сначала GCC соберёт gccrs без Borrow checker, а затем соберёт упомянутую реализацию Borrow checker, написанную на языке Rust, используя урезанный варианта компилятора и считая код условно-доверяемым (т.е. не выполняя проверку заимствования). После сборки Borrow checker-а будет выполнена ещё одна пересборка компилятора, но уже с выполнением проверок заимствования.
https://opennet.ru/62924/
@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
www.opennet.ru
В GCC-фронтэнде с компилятором Rust реализован Borrow checker
Для включения в состав ветки GCC 15 предложена серия патчей с улучшением поддержки языка Rust во фронтэнде gccrs. Наиболее заметным изменением стала поддержка проверки заимствования переменных (borrow checker), реализованная на основе компонента Polonius…
🎯 Coq-of-Rust — это инструмент для формальной верификации кода на Rust. Он преобразует подмножество Rust в спецификации на языке Coq, позволяя доказывать корректность программ математическими методами.
Проект разработан для повышения надежности критических систем (например, блокчейнов, embedded-решений), где ошибки недопустимы.
🔥 Основные функции
Трансляция Rust → Coq:
Конвертирует структуры, перечисления (enum), трейты (trait), методы и выражения в эквивалентный код на Coq.
Поддержка системы владения:
Учитывает правила заимствования и времени жизни (lifetimes), сохраняя семантику Rust на уровне спецификаций.
Генерация теорем:
Автоматически создает условия для доказательства свойств (например, отсутствие паник, корректность алгоритмов).
Coq-of-Rust — это шаг к математически верифицируемому Rust. Если вы разрабатываете системы, где цена ошибки высока, этот инструмент поможет превратить код в набор теорем, которые можно строго доказать.
Совет: Начните с примеров из репозитория, чтобы понять, как транслируются типичные Rust-конструкции.
https://github.com/formal-land/coq-of-rust
@rust_code
Проект разработан для повышения надежности критических систем (например, блокчейнов, embedded-решений), где ошибки недопустимы.
🔥 Основные функции
Трансляция Rust → Coq:
Конвертирует структуры, перечисления (enum), трейты (trait), методы и выражения в эквивалентный код на Coq.
Поддержка системы владения:
Учитывает правила заимствования и времени жизни (lifetimes), сохраняя семантику Rust на уровне спецификаций.
Генерация теорем:
Автоматически создает условия для доказательства свойств (например, отсутствие паник, корректность алгоритмов).
Coq-of-Rust — это шаг к математически верифицируемому Rust. Если вы разрабатываете системы, где цена ошибки высока, этот инструмент поможет превратить код в набор теорем, которые можно строго доказать.
Совет: Начните с примеров из репозитория, чтобы понять, как транслируются типичные Rust-конструкции.
https://github.com/formal-land/coq-of-rust
@rust_code