< 返回版块

Yuan YQ 发表于 2025-05-09 12:20

19 个 Rust 项目入选 GSoC

Rust 项目今年再次参与 Google 编程之夏(GSoC)。3 月发布项目构想清单后收到 64 份提案,经导师团队多轮讨论筛选,5 月 8 日谷歌公布结果,19 个 Rust 项目提案入选。

项目名称 作者 导师
ABI/Layout handling for the automatic differentiation feature Marcelo Domínguez Manuel Drehwald、Oli Scherer
Add safety contracts Dawid Lachowicz Michael Tautschnig
Bootstrap of rustc with rustc_codegen_gcc Michał Kostrubiec antoyo
Cargo: Build script delegation Naman Garg Ed Page
Distributed and resource-efficient verification Zhou Jiping Michael Tautschnig
Enable Witness Generation in cargo-semver-checks Talyn Veugelers Predrag Gruevski
Extend behavioural testing of std::arch intrinsics Madhav Madhusoodanan Amanieu d'Antras
Implement merge functionality in bors Sakibul Islam Jakub Beránek
Improve bootstrap Shourya Sharma Jakub Beránek、Jieyou Xu、Onur Özkan
Improve Wild linker test suites Kei Akiyama David Lattimore
Improving the Rustc Parallel Frontend: Parallel Macro Expansion Lorrens Sparrow Li
Make cargo-semver-checks faster JosephC Predrag Gruevski
Make Rustup Concurrent Francisco Gouveia rami3l
Mapping the Maze of Rust's UI Test Suite with Established Continuous Integration Practices Julien Robert Jieyou Xu
Modernising the libc Crate Abdul Muiz Trevor Gross
New proc-macro Server API for Rust-Analyzer Neil Wang Lukas Wirth
Prepare stable_mir crate for publishing Makai Celina Val
Prototype an alternative architecture for cargo fix using cargo check Glen Thalakottur Ed Page
Prototype Cargo Plumbing Commands Vito Secona Cassaundra

原文:https://blog.rust-lang.org/2025/05/08/gsoc-2025-selected-projects/

ParvaOS v0.0.3 发布

ParvaOS 是由 Francesco Giannice 用 Rust 语言从头开始编写的操作系统。它能够在所有配备 BIOS 的 64 位 x86 架构计算机上运行,并且已证实可在 QEMU 虚拟机模拟器上运行。

功能特性

  • x86 CPU 支持(64 位)
  • VGA 文本模式
  • 串行输出
  • CPU 异常管理
  • 分页
  • 堆分配
  • 基本 Shell
  • 图形用户界面(GUI)

Github 仓库:https://github.com/gianndev/parvaos

Swiftide v0.26.0 发布

Swiftide v0.26.0 发布。自上次更新(1 月的 0.16 版本!)以来,取得了不少进展。以下是一些主要更新内容:

  • 流式输出代理响应
  • 支持 MCP(可能是某个特定的技术或协议,需根据上下文确定具体含义)
  • 支持从先前状态恢复智能代理

Swiftide 是一个用于构建大语言模型(LLM)应用程序的 Rust 库,它能够实现快速的数据摄取、转换和索引,以进行高效的查询和提示注入,这一过程也被称为检索增强生成(RAG)。它为创建各种智能代理提供了灵活的构建模块,让开发者能够用最少的代码,快速地将应用从概念转化为产品。

主要特性

  • 构建快速的流式索引和查询管道
  • 轻松构建智能代理,并能与之前构建的管道进行组合搭配
  • 拥有模块化且可扩展的 API,抽象层级低
  • 可与流行的大语言模型和存储供应商集成
  • 提供可直接使用的管道转换功能

Github 仓库:https://github.com/bosun-ai/swiftide

--

From 日报小组 Yuan YQ

社区学习交流平台订阅:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页