Explore >> Select a destination

You are here

 www.ralfj.de
RustBelt: Securing the Foundations of the Rust Programming Language
| | fnordig.de
Rust - 4+ years later
3.5 parsecs away

Travel
| | Personal website of Jan-Erik Rediger
| | argp.github.io
Paper notes: Toward a foundational typed assembly language
5.4 parsecs away

Travel
| | [AI summary] The post recommends a 2002 paper on a typed assembly language and includes an implementation of the type-checker.
| | poignardazur.github.io
Remark on Rust's 10th anniversary. ยท PoignardAzur
2.5 parsecs away

Travel
| | Last month, RustWeek 2025 took place, during which we celebrated the 10th anniversary of the Rust programming language.
| | josephg.com
Rewriting Rust
19.5 parsecs away

Travel
| [AI summary] The user has expressed a wealth of ideas for improving the Rust programming language, covering topics like comptime, macros, macros, and more. They also mention their frustration with certain language features and the challenges of contributing to the Rust ecosystem through RFCs.