Rust

🎯 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

👣 В GCC-фронтэнде с компилятором Rust реализован Borrow checker Для включения в состав ветки 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

🎉🎉🎉 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, достаточно запустить команду: rustup update stable https://blog.rust-lang.org/2025/03/18/Rust-1.85.1.html @rust_code

🖥 PgDog — это инструмент для горизонтального масштабирования PostgreSQL, объединяющий функции шардирования, пула соединений и балансировщика нагрузки. Разработанный на языке Rust, он обеспечивает высокую производительность и надёжность, позволяя масштабировать базы данных без необходимости изменения кода приложений. Основные особенности PgDog: Шардирование: PgDog способен автоматически распределять данные между несколькими шардами, обеспечивая эффективное управление большими объёмами информации. Пул соединений: Поддерживает транзакционное и сессионное пуллинг, позволяя тысячам клиентов использовать ограниченное количество соединений с сервером PostgreSQL, что оптимизирует использование ресурсов. Балансировка нагрузки: Распределяет запросы между основными и реплицированными базами данных, обеспечивая равномерную загрузку и повышая отказоустойчивость системы. Благодаря этим возможностям, PgDog может управлять сотнями баз данных и обрабатывать сотни тысяч соединений, что делает его мощным инструментом для масштабирования и оптимизации производительности PostgreSQL-систем. 🖥 GitHub @rust_code

🥷 RustPotato — реализация на языке Rust утилиты GodPotato, используемой для повышения привилегий на Windows-системах! 🌟 Она использует уязвимость SeImpersonatePrivilege для получения доступа от имени NT AUTHORITY\SYSTEM. RustPotato включает обратную TCP-оболочку, косвенные вызовы NTAPI для обработки токенов, манипуляции RPC и создания именованных каналов. 🔐 Лицензия: MIT 🖥 Github @rust_code

👣 В Ubuntu 25.10 решено заменить GNU Coreutils на uutils, написанные на Rust Джон Сигер (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

🖥 Pumpfun-Smart-Contract-SOL — это реализация смарт-контракта для блокчейна Solana, размещённая на GitHub. Он может быть полезен разработчикам по следующим направлениям: ⚫ Обучение и практика: Проект демонстрирует, как писать, тестировать и разворачивать смарт-контракты в экосистеме Solana. ⚫ Пример архитектуры: Разработчики могут изучить структуру кода, способы взаимодействия с блокчейном и методы обеспечения безопасности смарт-контрактов. ⚫ Инструменты и библиотеки: В репозитории могут быть использованы современные инструменты разработки, что помогает быстрее освоить лучшие практики создания децентрализованных приложений. ⚫ Расширяемость: Исходный код можно адаптировать под конкретные задачи, что делает его отличным шаблоном для создания собственных проектов на Solana. 📌 GitHub @rust_code

👣 Training a Rust 1.5B Coder LM with Reinforcement Learning (GRPO) Источник: Oxen.ai Blog Ссылка: Oxen.ai Статья подробно рассказывает о процессе обучения специализированной языковой модели для генерации кода на Rust, обладающей 1.5 млрд параметров. Авторы применяют метод обучения с подкреплением (GRPO) с использованием обратной связи от инструментов Rust (компилятор и система сборки cargo). Это позволяет модели учиться генерировать код, который успешно компилируется, проходит линтер (cargo clippy) и unit-тесты. Подход к данным и метрикам: Описаны этапы подготовки датасета, в том числе адаптация существующих Python-подобных задач под синтаксис Rust, а также разработка специальных reward-функций, проверяющих качество сгенерированного кода. Материал показывает, как можно использовать инструменты Rust для автоматизированной проверки качества кода, что может служить основой для создания интеллектуальных помощников и средств автоматизации. 🔗 Читать @rust_code

Вышел Rustup 1.28.0 с множеством улучшений. ✨ Для тех, кто использует rustup в CI: обратите внимание, что rustup больше не будет автоматически устанавливать toolchain из rust-toolchain.toml. Обязательно запуститемножеством улучшений. ✨ Для если необходимо. Запись в блоге: https://blog.rust-lang.org/2025/03/02/Rustup-1.28.0.html @rust_code

👣 Punktf Punktf - кроссплатформенный менеджер dotfiles, написанный на Rust, который упрощает управление и синхронизацию конфигурационных файлов на разных системах. Для Rust-разработчика проект полезен своей производительностью, безопасностью и удобством автоматизации настройки среды, что облегчает перенос конфигураций между устройствами. brew install michidk/tools/punktf ▪ Github @rust_code

✔️ Scooter – это интерактивное приложение для поиска и замены текста непосредственно в терминале. Разработанный на Rust и лицензированный по MIT, Scooter предлагает удобный и быстрый способ редактирования файлов, что особенно полезно для разработчиков и системных администраторов. Основные особенности и интересные аспекты проекта: Интерактивный терминальный интерфейс: Пользователи могут искать строки по фиксированному тексту или регулярному выражению, вводить строку для замены и выбирать, какие именно вхождения изменять. Это значительно упрощает массовое редактирование кода или текстовых данных непосредственно из терминала. Поддержка регулярных выражений: Помимо поиска по фиксированным строкам, Scooter поддерживает использование регулярных выражений с возможностью задействования capture-групп. Это позволяет создавать сложные шаблоны для замены, адаптированные под конкретные задачи. Интеграция с системными файлами: Scooter учитывает файлы, указанные в .gitignore и .ignore, что позволяет исключать ненужные каталоги из поиска и сосредоточиться на актуальных данных. Гибкость использования: Приложение можно запускать как для поиска и замены в текущей директории, так и в указанных каталогах, что делает его универсальным инструментом для различных сценариев разработки. Интеграция с редакторами: Существуют конфигурации для интеграции с популярными редакторами, такими как Neovim и Helix, что позволяет запускать Scooter в виде плавающего окна, не покидая среды разработки. Scooter представляет интерес благодаря своей простоте и эффективности, а также тому, что он решает реальную проблему – быстрое и точное редактирование большого объема текстовой информации в командной строке. Это делает его полезным инструментом для разработчиков, системных администраторов и всех, кто работает с текстовыми файлами в терминале. https://github.com/thomasschafer/scooter

✔ Rust-libp2p – это библиотека, реализующая стек протоколов libp2p на языке Rust. Она предназначена для создания peer-to-peer (P2P) сетевых приложений и децентрализованных систем. Основные особенности и предназначение инструмента: Модульность и масштабируемость: Предоставляет набор компонентов для построения сетевого взаимодействия, таких как обнаружение узлов, мультиплексирование соединений, маршрутизация и шифрование. Безопасность и производительность: Использование Rust обеспечивает высокую безопасность памяти и производительность, что особенно важно в распределённых системах. Применение в децентрализованных проектах: Инструмент используется в таких проектах, как IPFS, блокчейн-сети и другие распределённые приложения, где необходим надёжный обмен данными между участниками сети. https://github.com/libp2p/rust-libp2p

🖥 Maelstrom — это инструмент для запуска тестов, который обеспечивает изоляцию каждого теста в отдельном контейнере! 🔎 Основные особенности Maelstrom: 🌟 Изоляция тестов: Каждый тест запускается в своем собственном легковесном контейнере, что предотвращает взаимное влияние тестов друг на друга и обеспечивает чистоту окружения. 🌟 Поддержка нескольких языков: Maelstrom предоставляет инструменты для работы с тестами на Rust (cargo-maelstrom), Go (maelstrom-go-test) и Python (maelstrom-pytest), предлагая простую интеграцию с существующими проектами. 🌟 Масштабируемость: Возможность настройки кластера для распределенного выполнения тестов, что позволяет увеличивать пропускную способность тестирования путем добавления новых рабочих узлов. 🌟 Высокая производительность: Собственная реализация контейнеров на Rust обеспечивает низкие накладные расходы и быструю инициализацию, что ускоряет процесс тестирования по сравнению с традиционными методами. 🔐 Лицензия: Apache-2.0 🖥 Github @devopsitsec

⚡️Легкий способ получать свежие обновления и следить за трендами в разработке на вашем языке. Находите свой стек и подписывайтесь: МАШИННОЕ ОБУЧЕНИЕ: t.me/ai_machinelearning_big_data C++ t.me/cpluspluc Python: t.me/pythonl Linux: t.me/linuxacademiya Хакинг: t.me/linuxkalii Devops: t.me/DevOPSitsec Data Science: t.me/data_analysis_ml Javascript: t.me/javascriptv C#: t.me/csharp_ci Java: t.me/javatg Базы данных: t.me/sqlhub Python собеседования: t.me/python_job_interview Мобильная разработка: t.me/mobdevelop Docker: t.me/DevopsDocker Golang: t.me/Golang_google React: t.me/react_tg Rust: t.me/rust_code ИИ: t.me/vistehno PHP: t.me/phpshka Android: t.me/android_its Frontend: t.me/front Big Data: t.me/bigdatai Собеседования МЛ: t.me/machinelearning_interview МАТЕМАТИКА: t.me/data_math Kubernets: t.me/kubernetc Разработка игр: https://t.me/gamedev Haskell: t.me/haskell_tg 💼 Папка с вакансиями: t.me/addlist/_zyy_jQ_QUsyM2Vi Папка Go разработчика: t.me/addlist/MUtJEeJSxeY2YTFi Папка Python разработчика: t.me/addlist/eEPya-HF6mkxMGIy Папка ML: https://t.me/addlist/2Ls-snqEeytkMDgy Папка FRONTEND: https://t.me/addlist/mzMMG3RPZhY2M2Iy 😆ИТ-Мемы: t.me/memes_prog 🇬🇧Английский: t.me/english_forprogrammers 🧠ИИ: t.me/vistehno 🎓954ГБ ОПЕНСОРС КУРСОВ: @courses 📕Ит-книги бесплатно: https://t.me/addlist/BkskQciUW_FhNjEy

Линус Торвальдс пояснил свою позицию в отношении приёма изменений на Rust https://opennet.ru/62764/

👣 Вышел Rust 1.85.0! 🦀✨ В этом выпуске не только добавлены асинхронные замыкания, но и полностью новая версия Rust Edition, Rust 2024! 🎆🚀 Обзор всех изменений и дополнений можно найти в блоге: https://blog.rust-lang.org/2025/02/20/Rust-1.85.0.html @rust_code

💻 Kubesess — это плагин для kubectl на языке Rust, который позволяет устанавливать отдельный контекст Kubernetes для каждой сессии терминала! 🌟 Обычно изменение контекста в kubectl влияет на все открытые терминалы, так как изменения сохраняются в файле $HOME/.kube/config. Kubesess решает эту проблему, создавая изолированные контексты для каждой сессии, предотвращая случайное выполнение команд в неправильном кластере. 🔐 Лицензия: MIT 🖥 Github @rust_code

mail-server: Безопасный и современный почтовый сервер «все в одном» (IMAP, JMAP, POP3, SMTP) ★6236 🖥 Github @rust_code

🖥 NocoDB — это база данных без кода (no-code database) с открытым исходным кодом, превращающая любую реляционную базу данных (MySQL, PostgreSQL, SQLite, MSSQL и др.) в гибкую таблицу, аналогичную Airtable! 🌟 Она позволяет пользователям управлять данными с помощью удобного веб-интерфейса, создавать REST API, настраивать представления (таблицы, календари, канбан-доски) и интегрироваться с внешними сервисами. 🔐 Лицензия: AGPL-3.0 🖥 Github @sqlhub

Евгений Разинков – преподаватель ML в Казанском университете с многолетним стажем, руководитель собственной команды ML-инженеров и автор популярного канала по машинному обучению на YouTube приглашает вас в свою AI-школу. Особенности: • теория и практика • акцент на самостоятельную реализацию архитектур с нуля • полное понимание того, что происходит внутри нейронной сети • архитектуры от сверточных нейронных сетей до трансформеров и языковых моделей. Регулярные живые QA-сессии, дружное комьюнити, а также компетишены, где можно будет посоревноваться (в командах и поодиночке) в решении ML задач. От вас: владение Python и знание основ классического ML (регрессия, классификация, градиентный спуск). Если классический ML не знаете - есть базовые курсы по ML. 7 месяцев, 4 курса: • AI: от основ до языковых моделей • Math for AI - необходимый математический бэкграунд • MLOps - всё про жизненный цикл модели, логирование, версионирование, docker • Decision making in AI - управление AI-проектом и стратегия В рамках Capstone Project вы с нуля реализуете и обучите небольшую языковую модель для генерации простых историй, а также выведете ее в продакшн. Полная стоимость за 7 месяцев (все 4 курса): • 112 000 рублей (единоразово) или • 17 000 рублей в месяц Если материалы вам не понравятся, мы вернем деньги за текущий оплаченный месяц (и последующие при единоразовой оплате)! Старт уже 17 февраля, скорее регистрируйтесь здесь! Еще больше подробностей о курсе ищите в видео и на странице с отзывами участников. Кстати, теоретические видео курса AI: от основ до трансформеров находятся в открытом доступе на канале Евгения! ООО «Лаборатория Евгения Разинкова», ИНН: 5043088023, erid: 2VtzqxKcuC1