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
社区学习交流平台订阅:
评论区
写评论还没有评论