Explore >> Select a destination


You are here

www.ralfj.de
| | argp.github.io
5.4 parsecs away

Travel
| | [AI summary] The paper explores a type system for a complete assembly language (TAL) to enable verification and reasoning about machine-checked proofs, with an implementation in OCaml for x86.
| | poignardazur.github.io
2.5 parsecs away

Travel
| | Last month, RustWeek 2025 took place, during which we celebrated the 10th anniversary of the Rust programming language.
| | this-week-in-rust.org
5.0 parsecs away

Travel
| |
| | blog.lohr.dev
24.9 parsecs away

Travel
| A review by a Rust enthusiast