Rust
6.61K subscribers
248 photos
28 videos
3 files
814 links
Rust programming language

По всем вопросам- @haarrp

@ai_machinelearning_big_data - машинное обучение

@programming_books_it - бесплатные it книги

@pythonl - 🐍

@ArtificialIntelligencedl - AI

@datascienceiot - ml 📚
Download Telegram
📞 delta — командная утилита для улучшенного отображения разницы между версиями кода!

⭐️ Delta позволяет более удобно визуализировать результаты команд git diff, git blame, и grep, делая их более понятными и визуально приятными. Основные функции включают в себя нумерацию строк, подсветку синтаксиса, поддержку бокового отображения (side-by-side), улучшенную обработку конфликтов при слиянии и поддержку гиперссылок для ссылок на изменения.

⭐️ Delta легко интегрируется в привычный рабочий процесс Git, и его можно настроить, добавив соответствующие параметры в файл ~/.gitconfig.

🔐 Лицензия: MIT

🖥 GitHub

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍18🥰54🤨1
🦀 Гайд по созданию своего собственного SQLite на Rust

💠 Часть 1: Список таблиц

https://blog.sylver.dev/build-your-own-sqlite-part-1-listing-tables

💠Часть 2: Сканирование больших таблиц
https://blog.sylver.dev/build-your-own-sqlite-part-2-scanning-large-tables

💠 Часть 3: Синтаксический анализ SQL 101

https://blog.sylver.dev/build-your-own-sqlite-part-3-sql-parsing-101

❤️‍🔥 Лайк, если интересны такие посты

@rust_code
👍5615❤‍🔥13🔥4🥰1🙏1🖕1
👣Сравнения Rust и C#, Minimal API и Controllers, Problem и Details: 103-й выпуск подкаста RadioDotNet

[00:01:50] — Provide opt-in to experimental APIs
[00:11:50] — Comparison of Rust's borrow checker to C#
[00:36:35] — Problem Details for ASP.NET Core APIs
[00:54:30] — Comparing performance between Minimal API and classic Controllers
[01:05:30] — API Error Messages for a Good Developer Experience
[01:19:15] — Книга «ASP.NET Core в действии 3» в правильном переводе
[01:22:55] — Кратко о разном

⏯️ YouTube | Другие площадки

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
🤨64👍4🔥31
🖥 SurrealDB — это современная многомодельная база данных, предназначенная для универсального управления данными!

💡 Она объединяет возможности SQL, NoSQL и графовых баз данных в едином решении, позволяя использовать реляционные, документные, графовые, временные и ключ-значение модели данных без необходимости переключаться между разными системами.

🌟 SurrealDB также поддерживает запросы через SQL, GraphQL, REST и SDK для различных языков программирования, таких как Rust, JavaScript, Python, PHP, Java и другие. Кроме того, она включает функции реального времени, масштабируемости, встроенной поддержки AI и машинного обучения, а также обладает мощной системой управления схемами и разрешениями.

🔐 Лицензия: Apache-2.0

🖥 Github

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
26👍6🔥6🥰2
👣 Компания Amazon совместно с Rust Foundation запустили проект, направленный на улучшение безопасности стандартной библиотеки языка Rust.

Основная цель инициативы заключается в проверке надежности и безопасности функций, использующих ключевое слово unsafe, которое позволяет выполнять потенциально опасные операции с памятью, такие как работа с указателями, модификация глобальных переменных и взаимодействие с внешними библиотеками на C/C++.

В настоящий момент в стандартной библиотеке Rust насчитывается около 35 тысяч функций, среди которых примерно 7,5 тысячи содержат код, работающий в режиме unsafe. За последние три года в библиотеке было обнаружено 57 ошибок, связанных с безопасностью, из них 20 признаны уязвимостями.

Проект организован в формате конкурса, где участники получают задания, связанные с проверкой безопасности использования памяти в библиотеках Rust или созданием инструментов для автоматизации таких проверок.

За успешное предоставление формального доказательства безопасности работы с памятью предусмотрены награды. Для выполнения задач и публикации результатов был создан специальный репозиторий, являющийся форком основного репозитория Rust.

На данный момент доступно 13 различных заданий. Одно из них предполагает проверку безопасности работы с сырыми указателями (raw pointers) в модуле core::ptr и предоставление доказательств корректности этих операций. Для этого можно воспользоваться существующими инструментами вроде Aeneas, Kani, Gillian, Verus или Creusot либо разработать собственные.

❤️Поделитесь это новостью с коллегами

Github
Задания
Примеры
Новость

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍41🔥1481
Forwarded from Machinelearning
🌟 RLtools: самая быстрая библиотека глубокого обучения с подкреплением для задач непрерывного управления.

RLtools - библиотека глубокого обучения с подкреплением (Deep Reinforcement Learning, DRL) с высокой скоростью работы для разработки и исследования алгоритмов DL.

RLtools написана на C++ и позволяет проводить обучение и вывод моделей DRL на РС, мобильных устройствах и embedded-системах. В экспериментальном тестировании, библиотека обучила алгоритм RL непосредственно на микроконтроллере.

Библиотека поддерживает алгоритмы DRL: TD3, PPO, Multi-Agent PPO и SAC и предлагает набор примеров, демонстрирующих использование этих алгоритмов для решения задач управления на примерах управления маятником, гоночным автомобилем и роботом-муравьем MuJoCo.

Код реализации алгоритмов:

🟢TD3 - Pendulum, Racing Car, MuJoCo Ant-v4, Acrobot;
🟢PPO - Pendulum, Racing Car, MuJoCo Ant-v4 (CPU), MuJoCo Ant-v4 (CUDA);
🟢Multi-Agent PPO - Bottleneck;
🟢SAC - Pendulum (CPU), Pendulum (CUDA), Acrobot.

Благодаря оптимизации и использования аппаратного ускорения RLtools в 76 раз быстрее других библиотек. Например, на MacBook Pro с M1 RLtools может обучить модель SAC (управление маятником) за 4 секунды.

Библиотеку можно использовать на Linux, macOS, Windows, iOS, Teensy, Crazyflie, ESP32 и PX4.

RLtools предоставляет Python API, с которым можно использовать библиотеку из Python-кода. API RLtools совместим с библиотекой симуляции сред Gym.

Проекты, использующие RLtools:

🟠Научиться летать за секунды (Youtube, IEEE Spectrum);

🟠Идентификация системы на основе данных для квадрокоптеров с задержкой двигателя (Youtube, Project Page).

▶️Запуск на примере обучения политике с помощью PPO:

# Clone and checkout
git clone https://github.com/rl-tools/example
cd example
git submodule update --init external/rl_tools

# Build and run
mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
cmake --build .
./my_pendulum


📌Лицензирование: MIT License.


🟡Документация
🟡Arxiv
🟡RLTools Design Studio
🟡Demo
🟡Zoo Experiment Tracking
🟡Google Collab (Python Interface)
🟡Сообщество в Discord
🖥GitHub


@ai_machinelearning_big_data

#AI #ML #DL #RTools #Github
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
👍85🥰3😨3
📞 eza — современный и улучшенный аналог команды ls в Unix-системах. Он создан как форк проекта exa и предоставляет цветное форматирование, иконки для файлов и каталогов, а также дополнительные функции, такие как сортировка, отображение содержимого директорий и более удобный вывод информации.

🌟 Проект активно развивается и нацелен на повышение удобства работы с файловыми системами в терминале. Среди ключевых улучшений — интеграция с современными шрифтами, улучшенная настройка цвета, а также исправления и оптимизация производительности.

🔐 Лицензия: EUPL-1.2

🖥 Github

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍117🔥4🥰1
This media is not supported in your browser
VIEW IN TELEGRAM
⚡️ Больше языков - больше информации!

Несколько интересных выводов:

* Java и Kotlin работают быстро! Возможное объяснение: Google вкладывает значительные средства в повышение производительности.
* Js действительно быстр в том, что касается интерпретируемых языков / jit.
* Python работает довольно медленно без PyPy.

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍296🔥4🥰3😁2
👣 Rustfinity — это интерактивная платформа для изучения языка программирования Rust.

Она сочетает теоретические материалы с практическими заданиями, которые помогают закрепить полученные знания. Задания распределены по уровням сложности и темам.

Вы можете начать обучение совершенно бесплатно, перейдя по ссылке: https://www.rustfinity.com/

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👏2114👍5🔥42🥰1🏆1
🖥 SurrealDB — это современная многомодельная база данных, предназначенная для универсального управления данными!

💡 Она объединяет возможности SQL, NoSQL и графовых баз данных в едином решении, позволяя использовать реляционные, документные, графовые, временные и ключ-значение модели данных без необходимости переключаться между разными системами.

🌟 SurrealDB также поддерживает запросы через SQL, GraphQL, REST и SDK для различных языков программирования, таких как Rust, JavaScript, Python, PHP, Java и другие. Кроме того, она включает функции реального времени, масштабируемости, встроенной поддержки AI и машинного обучения, а также обладает мощной системой управления схемами и разрешениями.

🔐 Лицензия: Apache-2.0

🖥 Github

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍9😁54🔥2🥰1
👣 Выпуск Rust 1.83. Развитие инструментария Xen и табличного процессора на Rust

Опубликован релиз языка программирования общего назначения Rust 1.83, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation.

Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки).

Методы работы с памятью в Rust избавляют разработчика от ошибок при манипулировании указателями и защищают от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п.

Для распространения библиотек, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo. Для размещения библиотек поддерживается репозиторий crates.io.

Безопасная работа с памятью обеспечивается в Rust во время компиляции через проверку ссылок, отслеживание владения объектами, учёт времени жизни объектов (области видимости) и оценку корректности доступа к памяти во время выполнения кода.

Rust также предоставляет средства для защиты от целочисленных переполнений, требует обязательной инициализации значений переменных перед использованием, лучше обрабатывает ошибки в стандартной библиотеке, применяет концепцию неизменяемости (immutable) ссылок и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических ошибок.

🚀 Полный список обновлений

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
👍239🔥7🖕3🥰1
👣 eythaann / Seelen-Пользовательский интерфейс: Полностью настраиваемая среда рабочего стола для Windows

🖥 Github

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥13👍73🥴2🥰1
👣 Полнофункциональный и быстрый анализатор аргументов командной строки для Rust

🖥 Github

@rust_code
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥17👍94🥰1