🖥 SurrealDB — это современная многомодельная база данных, предназначенная для универсального управления данными!

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

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

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

🖥 Github

@rust_code

👣 Компания 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

📞 eza — современный и улучшенный аналог команды ls в Unix-системах. Он создан как форк проекта exa и предоставляет цветное форматирование, иконки для файлов и каталогов, а также дополнительные функции, такие как сортировка, отображение содержимого директорий и более удобный вывод информации.

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

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

🖥 Github

@rust_code

⚡️ Больше языков - больше информации!

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

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

@rust_code

👣 Rustfinity — это интерактивная платформа для изучения языка программирования Rust.

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

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

@rust_code

🖥 SurrealDB — это современная многомодельная база данных, предназначенная для универсального управления данными!

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

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

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

🖥 Github

@rust_code

👣 Выпуск Rust 1.83. Развитие инструментария Xen и табличного процессора на Rust

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

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

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

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

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

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

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

@rust_code

👣 eythaann / Seelen-Пользовательский интерфейс: Полностью настраиваемая среда рабочего стола для Windows

🖥 Github

@rust_code

👣 Полнофункциональный и быстрый анализатор аргументов командной строки для Rust

🖥 Github

@rust_code

🖥 TypeDB — это база данных, предназначенная для работы со сложными связями и большими наборами данных!

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

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

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

🖥 Github

@rust_code

👣 SheetsUI: приложение для работы с электронными таблицами в терминале.

🚀 Поддерживает редактирование / сохранение записей с помощью привязок клавиш Vim!

🦀 Написано на Rust и создано с
помощью ratatui_rs

nix profile install github:zaphar/sheetsui

⭐ GitHub

@rust_code

👣 Вышла версия Rust 1.83.0! 🦀✨

В этом выпуске представлены изменяемые ссылки (mutable references) и указатели в const, ссылки на статику в const, новые типы ошибок и множество новых методов const для pointers, slice, floats!

Установка:
$ rustup update stable

Анонс: https://blog.rust-lang.org/2024/11/28/Rust-1.83.0.html

@rust_code